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

Departamento de Matemática, Universidade de Brasília
Campus Universitário Darcy Ribeiro, Asa Norte
70910-900 Brasilia D. F., Brasil
Tels. +55-61- 3307 2441|2442| +55-61- 3107 6453 | 3676 Fax +55-61-3273 2737
e-mail: ayala[at]
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
Evol. algorithms for sorting permutations

Português Español


  • One-day tutorial PVS for computer Scientists - by César Munoz, Mariano Moscato and Mauricio Ayala-Rincón. 25th September 2017 (Collocated with Tableaux/FroCoS/ITP)
  • The 8th Int. Conf. on Interactive Theorem Proving ITP 2017, the 11th Int. Symp. on Frontiers of Combining Systems FroCos 2017 and the 26th Int. Conf. on Automated Reasoning with Analytic Tableaux and Related Methods Tableaux 2017, will take place in Brasília, from 23 to 29 September, 2017.
  • The 12th Logical and Semantic Frameworks with Applications LSFA 2017, satellite of Tableaux+FroCos+ITP 2017.
  • 32nd International Workshop on Unification UNIF 2018, satellite of FSCD 2018, collocated with FLoC 2018.
  • RTA (1983 ... 2015) and TLCA (1993 ... 2015) evolve to Int. Conf. on Formal Structures for Computation and Deduction FSCD 2016, FSCD 2017, ...
  • Current Conferences at GTC/UnB
    14o Seminário Informal (+Formal) do GTC, will take place in February 2017!

  • 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.