Enter in contact if you are interested in
Algoritmics, Computational and Mathematical Formalization, Theorem
Proving, Automated Reasoning, Equational
and Rewrite-based Deduction, Ethics in AI, Evolutionary and
Genetic Algorithms, and Genomic Data Processing.
RTA (1983 ... 2015) and TLCA (1993 ... 2015) evolved to
Int. Conf. on Formal Structures for Computation and Deduction
FSCD in 2016. Current edition: FSCD
2026, affiliated to FloC 2026, 20-23 July, Lisbon. FSCD
2027, Nijmegen, The Netherlands.
Certified Programs and Proofs CPP
2027, Mexico City, Mexico, 10-16 January 2027. a:3/9, p:10/9.
19th Conference on Intelligent Computer Mathematics CICM 2026,
Ljubljana,
21-25 Sep 2026. Deadlines: TBD
40th International Workshop on Unification UNIF 2026,
Co-located with FSCD/FloC 2026, Lisbon. Deadlines: p 7 May.
20th Logical and Semantic Frameworks, with Applications LSFA 2026,
Affiliated with FSCD/FloC 2026, Lisbon, 18-19 July 2026. Deadlines:
a 30 Mar, p 4 Apr.
International Conference on Interactive Theorem Proving ITP web page. ITP
2026, part of FloC, 26-29 July, Lisbon. Deadlines: a 12 Feb, p
19 Feb.
15th International Workshop on Confluence IWC 2026, affiliated with
FSCD/FloC, Lisbon, 24 July, 2026. Deadlines: a 1 Mar, p 9 Mar.
Germany.
Recent Talks at
GTC/UnB: Track on Logic and Computation (Preliminary Progam), part of the XVIII SW in Mathematics (UnB) - (2-4 February, 2026)
|
|
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.
|
Publications