Ph.D. scholarships
Please, enter in contact ASAP, 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.
FSCD
2024, Tallinn, Estonia. Deadlines: a:5 Feb, p:12 Feb 2024.
27th International Conference on Foundations of Software Science and
Computation Structures FoSSaCS 2024.
Luxembourg. Deadline: 12 Oct
2023.
Logical and Semantic Frameworks, with Applications 19th LSFA,
Goiânia, Brazil, 2024.
International Conference on Interactive Theorem Proving ITP web page. ITP
2024, Tbilisi, Georgia.
17th and 18th Conference on Intelligent Computer Mathematics CICM 2024,
2025, Montreal, Brasília.
12th International Workshop on Confluence IWC 2024,
Colocated with FSCD 2024, Tallinn, Estonia.
37th International Workshop on Unification UNIF 2024,
Co-located with IJCAR 2024, Nancy, France.
Recent Talks at
GTC/UnB: Track on Logic and Computation ( Final Progam), part of the XVL SW in
Mathematics (UnB) - (7-9 February, 2024)
Talks by Temur Kutsia (RISC/JKU Linz)
(22 and 25 March, 2024), Mariano Moscato (AMA/NASA LaRC
Formal Methods) (21
April - 5 May, 2024) in the context of CAPES PrInt, and
Maribel
Fernández (King's College London) (13-21 May, 2024).
|
|
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