Home Page Mauricio Ayala Rincón
Image

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
Image Publications
Image Courses
Image PVS Class 2017 (affiliated to ITP 2017) Image Mechanizing Mathematics (Tutorial UNCOL Manizales, 2023)
Image Professional Activities Image CV Lattes
Image Grupo de Teoria da Computação
Focus of Research:
Properties and applications of term rewriting systems and its extensions - Related links
Image TRS PVS theory
Image Nominal PVS theory
Image 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)
    		• Image

    Image     		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