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

  • RTA (1983 ... 2015) and TLCA (1993 ... 2015) evolved to Int. Conf. on Formal Structures for Computation and Deduction FSCD (2016 ... 2019), FSCD 2020 (a 6 Fev, p 9 Fev 2020), FSCD 2021 em Buenos Aires em preparaçáo.
  • 9th International Workshop on Confluence IWC 2020, to be proposed as satellite of FSCD, Paris, 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.

  • 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