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
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

  • Tutorial de um dia PVS for computer Scientists - por César Munoz, Mariano Moscato and Mauricio Ayala-Rincón. 25 de Setembro de 2017 (Colocado com Tableaux/FroCoS/ITP)
  • A 8th Int. Conf. on Interactive Theorem Proving ITP 2017, a 11th Int. Symp. on Frontiers of Combining Systems FroCos 2017 e a 26th Int. Conf. on Automated Reasoning with Analytic Tableaux and Related Methods Tableaux 2017, acontecerão em Brasília, do 23 ao 29 de Setembro de 2017.
  • A 12th Logical and Semantic Frameworks with Applications LSFA 2017, satélite de Tableaux+FroCos+ITP 2017.
  • 32nd International Workshop on Unification UNIF 2018, satélite de FSCD 2018, colocado com FLoC 2018.
  • RTA (1983 ... 2015) and TLCA (1993 ... 2015) evoluiu para Int. Conf. on Formal Structures for Computation and Deduction FSCD 2016, FSCD 2017, ...
  • Conferencias em curso no GTC/UnB
    14o Seminário Informal (+Formal) do GTC, será em Fevereiro de 2017!


    		• 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