Ph.D. scholarships
Please, enter in contact ASAP, if you are interested in
Algorítmica e Teoria de Sequenciamento de
Informação Genômica.
RTA (1983 ... 2015) and TLCA (1993 ... 2015) evolved to
Int. Conf. on Formal Structures for Computation and Deduction
FSCD in 2016. FSCD
2022, co-located with FLoC 2022, Haifa, Israel.
16th Int. Logical and Semantic Frameworks, with
Applications LSFA 2022, Belo
Horizonte, Brazil.
International Conference on Interactive Theorem Proving ITP web page. ITP 2022, part of FLoC 2022.
11th International Workshop on Confluence IWC,
affiliated to FSCD 2022.
36th International Workshop on Unification UNIF,
affiliated to IJCAR, part of FLoC 2022.
Current Conferences at
GTC/UnB
|
|
M. Ayala-Rincón & Flávio
L.C. de Moura, Fundamentos
da Programação Lógica e Funcional - O Princípio
de Resolução e a Teoria de Reescrita -, Course
Notes, Ed. UnB, December 2014. In Portuguese.
M. Ayala-Rincón & Flávio
L.C. de Moura, Applied
Logic for Computer Scientists:
Computational Deduction and Formal Proofs, Springer, 2017.
|