RTA (1983 ... 2015) and TLCA (1993 ... 2015) evolved to
Int. Conf. on Formal Structures for Computation and Deduction
FSCD (2016 ... 2019), FSCD
2020 (a 6 Fev, p 9 Fev 2020), FSCD 2021 em Buenos
Aires em preparaçáo.
9th International Workshop on Confluence IWC 2020,
to be proposed as satellite of FSCD, Paris, 2020.
9thACM SIGPLAN Int. Conf. on Certified Programs and Proofs 2020
CPP'20,
(a 16 Oct 2019, p 21 Oct 2019) Part of POPL, New Orleans, January 19-25, 2020.
Conferencias em curso no
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. Em Portugês.
M. Ayala-Rincón & Flávio
L.C. de Moura, Applied
Logic for Computer Scientists:
Computational Deduction and Formal Proofs, Springer, 2017.
|