Journals and Conferences I'm working on:
Conferences and Events organized at the Group of Theory of Computation, Univ. Brasília
Colombian Journal of Computation member of the Editorial Board
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 Reviewer
6CCC - 6th Congresso Colombiano de Computación, Manizales, 4-6/4/11, Deadline 7/2/2011 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
Old links:
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
LSFA 2010 - 5th Logical and Semantic Frameworks with Applications, 31/05/10, Deadline 18/5/8 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 Congresso Colombiano de Computación, Cartagena, 14-16/4/9, Deadline 22/01/8 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 Congresso Colombiano de Computación, Bucaramanga, 23-25/4/9, Deadline 15/12/8 Invited Speaker
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 - 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
Publications