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
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
Português Español

Opportunities

  • RTA (1983 ... 2015) and TLCA (1993 ... 2015) evolve to 1st Int. Conf. on Formal Structures for Computation and Deduction FSCD, Porto, 22-26 June 2016.
  • 11th Logical and Semantic Frameworks with Applications - LSFA 2016 (satellite of FSCD 2016), Porto June 2016.
  • Current Conferences at GTC/UnB
    13o Seminário Informal (+Formal) do GTC, 27-29 Janeiro!
  • 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 -, Notas de Aula, Editora UnB, Dezembro 2014. In Portuguese.


    ayala[at]unb.br