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


Journals and Conferences I'm working on:

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 2014 - 9th Logical and Semantic Frameworks with Applications, Brasíilia, Brazil, 8-9 September 2014, Deadline: 25 May 2014 PC co-chair

ISR 2014 - 7th International School on Rewriting, Valparaiso, Chile, 24-29 August, 2014. SC and OC member

23rd Workshop on Functional and (Constraint) Logic Programming, Lutherstadt Wittenberg, Germany, 15-17 September, 2014. Deadline: 1st July, 2014.

27th Symposium on Integrated Circuits and System Design (SBCCI 2014), Aracaju 1-5 September. Deadline 12 April, 2014 PC member

IX Southern Programable Logic Conference (SPL 2014), Buenos Aires, 5-7 November, Deadline 3 June 2014 PC Member

6th World Congress on Nature and Biologically Inspired Computing (NaBiC 2014), Porto 30 July - 1 August, Deadline 15 May 2014 PC Member

9CCC - 9th Congreso Colombiano de Computación, Pereira 3-5 September. Deadline 18 May 2014 PC Member

IEEE ISVLSI 2014 PhD Forum, Tampa. 9-11 July. Deadline 14 March 2014 PC member

CTD SBC- XXVII Concurso de Teses e Dissertações, Brasília, 28-31 July. Deadline 25 April 2014 PC member

2014 IEEE Congress on Evolutionary Computation (CEC 2014), Beijing, China, July 6-11, 2014. Deadline: 20/12/2013 PC reviewer

The Fifth International Symposium on Innovations in Information & Communications Technology (ISIICT 2014), Amman, Jordan, April 22-24, 2014. Deadline: 6/12/2013 PC member

17th Brazilian Logic Conference (EBL 2014), Petrópolis, Brazil, April 7-11, 2014. Deadline: 22/12/2013 PC member


Old links:

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

8CCC - 8th Congreso Colombiano de Computación, Armenia, 21-35/08/13, Deadline 11/3/2012 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

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 - 9th 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 - 8th Workshop on Logic, Language, Information and Computation, Brasília, July 31 to August 3, 2001 Final Programme and photos of the meeting

2do 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)


ayala[at]unb.br