Mauricio Ayala Rincón, Dr. rer. nat.
Professor Titular
Teoria da Computação
Departamentos de Ciência da Computação e Matemática
Universidade de Brasília

Endereço:
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
Publicações
Disciplinas
PVS Class 2017
Atividades Profissionais CV Lattes
Grupo de Teoria da Computação

Tópicos de pesquisa:
Propriedades e aplicações dos sistemas de reescrita de termos e suas extensões. Links relacionados
TRS PVS teoria de reescrita
Alg. evolut. para ordenação de permutações

English Español

Oportunidades

The 13th Logical and Semantic Frameworks with Applications LSFA 2018, Fortaleza, Sep. 26-8 (Jun. 10a/25p)
  • 32nd International Workshop on Unification UNIF 2018, Oxford, Jul. 7, afiliado a FSCD 2018, colocado com FLoC 2018. (Apr. 9a/16p)
  • 10th International School on Rewriting ISR 2018, Cali, Jul. 30 - Aug. 3, 2018.
  • RTA (1983 ... 2015) and TLCA (1993 ... 2015) evoluiu para Int. Conf. on Formal Structures for Computation and Deduction FSCD (2016 ... 2018), FSCD 2019 - CFP
  • International Conference on Interactive Theorem Proving ITP, Parte de FLoC 2018.

  • Conferencias em curso no 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. Em Portugê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