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

Logical and Semantic Frameworks with Applications member of the Steering Committee

Reviewer from Mathematical Reviews MathSciNet American Mathematical Society

International Schools on Rewriting member of the Steering Committee (2009-2015)

Rewriting Techniques and Applications (Evolves to FSCD which starts in 2016) member of the Steering Committee (2012-2015)

Colombian Journal of Computation member of the Editorial Board

4o UN Encuentro de Matemáticas UNEMAT 2016 - Universidad Nacional de Colombia, Bogotá 7-10 Jun, 2016. Invited Speaker.

11thLogical and Semantic Frameworks, with Applications LSFA 2016 (Satellite event of FSCD), Porto Portugal, June 2016. PC member.

13th International Colloquium on Theoretical Aspects of Computing ICTAC 2016, Taipei, Taiwan, 24-31 Oct, 2016. PC member.

2016 IEEE Congress on Evolutionary Computation (CEC 2016), Vancouver, Canada, 25-29 July, 2016. Deadline: Jan 15, 2016 PC reviewer

11CCC - 11th Congreso Colombiano de Computación, Popayán, Colombia, Sep 27-30, PC Member

8th World Congress on Nature and Biologically Inspired Computing (NaBIC2016), Marrakech, Marrocos, Nov 21-23, 2016. PC Member

16th International Conference on Intelligent Systems Design and Applications (ISDA 2016) , Porto, Portugal, 14-16 Dezember 2016. PC member


Old links:

7th World Congress on Nature and Biologically Inspired Computing (NaBIC2015), Pietermaritzburg, Dec 01-03, 2015. PC Member

12th International Colloquium on Theoretical Aspects of Computing ICTAC 2015, Cali 29-31 Oct, 2015. PC member.

11th Developments in Computational Models DCM 2015, Cali 28 Oct, 2015. Invited Speaker.

10CCC - 10th Congreso Colombiano de Computación, Bogotá, Sep 21-25 PC Member

28th Symposium on Integrated Circuits and System Design (SBCCI 2015), Bahia Aug 31 - Sep 4, 2015. PC member

10th Workshop on Logical and Semantic Frameworks, with Applications LSFA 2015, Natal Brazil, 31 Aug to 1 Sep 2015. PC member.

8th International School on Rewriting ISR 2015, Leipzig Germany, 10 to 14 Aug 2015. SC and OC member.

11th International Workshop on Confluence IWC 2015, Berlin 2 Aug, 2015. PC member

24th Int. Joint Conf. on Artificial Intelligence (IJCAI 2015), Buenos Aires, July 25-31, 2015. PC member.

26th Int. Conf. on Rewriting Techniques and Applications RTA 2015, Warsaw Jun 29 - Jul 1, 2015. PC member.

2015 IEEE Congress on Evolutionary Computation (CEC 2015), Sendai, Japan, May 25-28, 2015. PC reviewer

LSFA 2014 - 9th Logical and Semantic Frameworks with Applications, Brasíilia, Brazil, 8-9 Sep 2014 PC co-chair

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

23rd Workshop on Functional and (Constraint) Logic Programming, Lutherstadt Wittenberg, Germany, 15-17 Sep, 2014. PC member.

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

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

14th International Conference on Intelligent Systems Design and Applications (ISDA 2014), Okinawa, Japão, 27-30 November 2014 PC member

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

9CCC - 9th Congreso Colombiano de Computación, Pereira 3-5 Sep, 2014 PC Member

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

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

2014 IEEE Congress on Evolutionary Computation (CEC 2014), Beijing, China, July 6-11, 2014 PC reviewer

The Fifth International Symposium on Innovations in Information & Communications Technology (ISIICT 2014), Amman, Jordan, April 22-24, 2014 PC member

17th Brazilian Logic Conference (EBL 2014), Petrópolis, Brazil, April 7-11, 2014 PC member

LSFA 2013 - 8th Logical and Semantic Frameworks with Applications, São Paulo, Sep 2nd-3rd, 2013 PC and OC member

DCM 2013 - 9th Int. Workshop on Develpments in Computational Models, Buenos Aires, Aug 26th,2013 PC co-chair

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

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

8CCC - 8th Congreso Colombiano de Computación, Armenia, 21-35/08/13, 2012 PC member

2013 IEEE Congress on Evolutionary Computation (CEC 2013), Cancún 20-23/06/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, Sep 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, 2012 PC member

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

2012 IEEE Congress on Evolutionary Computation (CEC 2012), Brisbane 10-15/06/2012, 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, Aug 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 Aug 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 Aug 3, 2001 Final Programme and photos of the meeting

2do Encontro de Matemática Aplicada e Computacional em Brasília, Feb 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