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|2806 Fax +55-61-3273 2737 e-mail: ayala[at]unb.br Publications Courses Offered supervision 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

Sétimo Seminário Informal (+Formal!) do Grupo de Teoria da Computação
Local: Auditório Dept. Matemática, 12-13/11/2009. Programa

Summer course on Formal Methods 26/01-05/02/2010.
contact: Prof. M. Ayala-Rincón

Summer course on Reconfigurable Architectures 26/01-05/02/2010
contact: Prof. Ricardo Jacobi

Conferences and Events organized at the Group of Theory of Computation, Univ. Brasília

Colombian Journal of Computation member of the Editorial Board

WoLLIC 2010 - 17th Workshop on Logic, Language, Information and Computation, Brasília, 6-9/7/2010, Deadline 28/2/2010(abstract), 7/3/2010(paper) OC co-chair

XVII CCM - XVII Congreso Colombiano de Matemáticas, Cali, 3-6/8/9 Speaker

RDP 2009 - Federated Conference on Rewriting and Deduction, Brasília, 28/6-3/7/9 Conference Chair

LSFA 2009 PC co-chair

ISR 2009 OC member

WRS 2009 PC member

International Conference on Field Programmable Logic and Applications - FPL 2009 PC member

SBCCI 2009 - 22nd Symposium on Integrated Circuits and System Design PC member

4CCC - 3rd Congresso Colombiano de Computación, Bucaramanga, 23-25/4/9, Deadline 15/12/8 Invited Speaker

Old links:

WoLLIC 2008 - 15th Workshop on Logic, Language, Information and Computation, Edinburgh, 1-4/7/8, Deadline 24/2/8 OC member

LSFA 2008 - 3rd Workshop on Logical and Semantic Frameworks with Applications, Salvador, 2/9/8, Deadline 18/5/8 PC member

International Conference on Field Programmable Logic and Applications - FPL 2008 PC member

SBCCI 2008 - 21st Symposium on Integrated Circuits and System Design PC member

RC Education 2008 - 3rd Workshop on Reconfigurable Computing Education, Montpellier, 10/4/8, Deadline 15/12/7 PC member

3CCC - 3er Congresso Colombiano de Computación, Medellín, 9-11/4/8, Deadline 28/11/7 PC member

LSFA 2007 PC co-chair

The 2nd International Workshop on Reconfigurable Computing Education, RC Education 2007 PC member

FPL 2007 PC member

SBCCI 2007 PC member

CLEI 2007 PC member

RAW 2007 PC member

2CCC 2007 Invited Speaker and PC member Foils of the talk

PC co-chair: LSFA 2006

PC Member: HPC LIFE 2006, SBCCI 2006, International Workshop on Reconfigurable Computing Education, RC Education 2006, CLEI 2005, WoLLIC2002 - 9^th Workshop on Logic, Language, Information and Computation, Rio de Janeiro, July 30 to August 2, 2002, Thirty Five years of Automath, Edinburgh, April 10-13, 2002, LATIN2002 - The Latin American Theoretical INformatics 2002, Cancún, México, April 3-6 2002

Local chair: WoLLIC2001 - 8^th Workshop on Logic, Language, Information and Computation, Brasília, July 31 to August 3, 2001 Final Programme and photos of the meeting

2^do Encontro de Matemática Aplicada e Computacional em Brasília, February 12 - 16, 2001

V Encontro de Matemática e Estatística UFG, June 6, 2001 Tutorial: Cálculos de Substituições Explícitas e Aplicações Computacionais (Postscript of the slides 320 KB)

Summer School 97 (Preliminary Program)

Page of Undergraduate and Graduate Projects

Home page NODO BRASIL (RED-Caldas COLCIENCIAS)