Mauricio Ayala Rincón, Dr. rer. nat.
Full Professor
Theory of Computation
Departments of Computer Science and Mathematics
Brasilia University

Address:
Departamento de Matemática, Universidade de Brasília
Campus Universitário Darcy Ribeiro, Asa Norte
70910-900 Brasília D. F., Brasil
Tels. +55-61- 3307 2441|2442| +55-61- 3107 6453 | 3676 Fax +55-61-3273 2737
e-mail: ayala[at]unb.br
Publications
Courses
PVS Class 2017 (affiliated to ITP 2017) Mechanizing Mathematics (Tutorial UNCOL Manizales, 2023)
Professional Activities CV Lattes
Grupo de Teoria da Computação
Focus of Research:
Properties and applications of term rewriting systems and its extensions - Related links
TRS PVS theory
Nominal PVS theory
Evol. algorithms for sorting permutations

Opportunities

  • 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. Deadlines: a23, p30 Feb.
  • 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.

    ayala[at]unb.br