Professional Activities Mauricio Ayala Rincón, Dr. rer. nat. Full Professor Theory of Computation Departments of Computer Science and Mathematics Brasilia University Publications Courses Professional Activities CV Lattes Offered supervision Grupo de Teoria da Computação

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

Rewriting Techniques and Applications member of the Steering Committee

Colombian Journal of Computation member of the Editorial Board

LSFA 2013 - 8th Logical and Semantic Frameworks with Applications, São Paulo, September 2nd-3rd. Deadline: 12 May 2013 PC and OC member

DCM 2013 - 9th Int. Workshop on Develpments in Computational Models, Buenos Aires, August 26th. Deadline: 1st June 2013 PC co-chair

3rd World Congress on Information and Communication Technologies (WCIT2013), Hanoi 15-18 Dec 2013, Deadline: 15 Aug 2013 PC member

5th World Congress on Nature and Biologically Inspired Computing (NaBiC 2013), Fargo - North Dakota 12-14 Aug 2013, Deadline: 1 May 2013 PC member

2013 IEEE Congress on Evolutionary Computation (CEC 2013), Cancún 20-23/06/2013, Deadline: 15/02/2013 PC reviewer

IS VLSI 2013 PhD Forum PC member

SBCCI 2013 - 26nd Symposium on Integrated Circuits and System Design PC member

Old links:

LSFA 2012 - 7th Logical and Semantic Frameworks with Applications, Rio de Janeiro, September 29th-30th PC member and OC co-chair

SBCCI 2012 - 25nd Symposium on Integrated Circuits and System Design PC member and Pubication Chair

IS VLSI 2012 PhD Forum PC member

International Symposium on Symbolic Computation in Software Science PC member

LACREST Requirements Engineering & Software Testing Invited Speaker

CTIC - XXXI Concurso de Trabalhos de Iniciação Científica PC member

7CCC - 7th Congreso Colombiano de Computación, Medellín, 1-5/10/12, Deadline 20/3/2012 PC member

VIII Southern Programable Logic Conference SPL 2012, Bento Gonçalves, 20-23/3/12, Deadline 17/10/2011 PC member

2012 IEEE Congress on Evolutionary Computation (CEC 2012), Brisbane 10-15/06/2012, Deadline: 19/12/2011 PC reviewer

ISR 2012 - 6th International School on Rewriting, UPV, Valencia, Spain SC member

6CCC - 6th Congreso Colombiano de Computación, Manizales, 4-6/4/11, Invited Speaker

LSFA 2011 - 6th Logical and Semantic Frameworks with Applications, Belo Horizonte, August 27th PC member

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

SBCCI 2011 - 24nd Symposium on Integrated Circuits and System Design PC member

IS VLSI 2011 PhD Forum PC member

WoLLIC 2010 - 17th Workshop on Logic, Language, Information and Computation, Brasília, 6-9/7/2010, OC co-chair

LSFA 2010 - 5th Logical and Semantic Frameworks with Applications, 31/05/10, PC member

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

SBCCI 2010 - 23nd Symposium on Integrated Circuits and System Design PC member

SEMISH 2010 - Seminário Integrado de Software e Hardware PC member

IS VLSI 2010 PhD Forum PC member

5CCC - 5th Congreso Colombiano de Computación, Cartagena, 14-16/4/9, PC member

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 - 4th Congreso Colombiano de Computación, Bucaramanga, 23-25/4/9, Invited Speaker

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

LSFA 2008 - 3rd Workshop on Logical and Semantic Frameworks with Applications, Salvador, 2/9/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, PC member

3CCC - 3er Congreso Colombiano de Computación, Medellín, 9-11/4/8, 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)