Mauricio Ayala Rincón, Dr. rer. nat.
Profesor Titular
Teoria de la Computación
Departamentos de Ciencia de La Computación y Matemáticas
Universidad de Brasília

Dirección:
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
Publicaciones
Cursos <<<== Inicio 19 Julio 2021 - actividades remotas 2021-1
PVS Class 2017 (asociado a ITP 2017) PVS Tutorial for Mathematicians (asociado a SW in Math 2020
Actividades profesionais CV Lattes
Grupo de Teoria da Computação

Tópicos de investigación:
Propiedades y aplicaciones de los sistemas de reescritura de terminos y sus extensiones. Links relacionados
TRS PVS teoria de reescrita
Alg. genéticos para ordenar permutaciones

English Português

Oportunidades

Becas para doctorado Entre en contacto, si interesado en Algorítmica e Teoria de Sequenciamento de Informação Genômica.
  • Mathematical Structures in Computer Science, Special Issue on Confluence. Call for papers, Eds. Samuel Mimram, M. Ayala-Rincón.
  • RTA (1983 ... 2015) and TLCA (1993 ... 2015) evolved to Int. Conf. on Formal Structures for Computation and Deduction FSCD (2016 ... 2019, 2020), FSCD 2021 en Buenos Aires (a 12/2/2021, p 15/2/2021) cfp.
  • 13th Nasa Formal Methods Symposium NFM 2021, Norfolk, (a 27/11/2020, p 4/12/2020).
  • 16th Int. Logical and Semantic Frameworks, with Applications LSFA 2021, affiliated to FSCD 2021.
  • International Conference on Interactive Theorem Proving ITP web page. ITP 2021 co-located with LICS 2021, Rome (a 25/1/2021, p 1/2/2021).
  • 10th International Workshop on Confluence IWC, affiliated to FSCD 2021.
  • 35th International Workshop on Unification UNIF, affiliated to FSCD 2021.
  • 14th Conference on Intelligent Computer Mathematics CICM 2021.
  • Conferencias en curso en el 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 -, Notas de Aula, Editora UnB, Diciembre 2014. En portugués.


    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