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 Brasilia 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 <<<== Check for remote activities for the first semester 2020
PVS Class 2017 (affiliated to ITP 2020) PVS Tutorial for Mathematicians (affiliated to SW in Math 2020
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

Opportunities

  • RTA (1983 ... 2015) and TLCA (1993 ... 2015) evolved to Int. Conf. on Formal Structures for Computation and Deduction FSCD (2016 ... 2021), FSCD 2020 (a 6 Feb, p 9 Feb 2020), FSCD 2021 in Buenos Aires in preparation.
  • 9th International Workshop on Confluence IWC 2020, satellite of FSCD, Paris, 2020.
  • 30th Int. Symp. on Logic-based Program Synthesis and Transformation LOPSTR 2020, (a 5 Jun, p 12 Jun), Bologna, 7-9 September, 2020.
  • 15th Int. Logical and Semantic Frameworks, with Applications LSFA 2020, (a 30/3, p 6/4), Salvador, 26-28 August, 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.

  • Current Conferences at 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. 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