2021 IEEE Congress on Evolutionary Computation (CEC 2021), Kraków, Poland (virtual) 28 June-01 July, 2021. PC reviewer.

13^th Nasa Formal Methods Symposium NFM 2021, Norfolk, a 27 Nov, p 4 Dec 2020, PC member.

30^th Int. Symp. on Logic-based Program Synthesis and Transformation LOPSTR 2020, Bologna, 7-9 September, 2020. PC member.

15^th Int. Logical and Semantic Frameworks, with Applications LSFA 2020, Salvador, 26-28 August, 2020. Invited Speaker.

34^th Int. Workshop on Unification UNIF 2020, collocated with collocated with FSCD 2020, Paris, France, 29 June - 05 July 2020. PC member.

2020 IEEE Congress on Evolutionary Computation (CEC 2020), Glasgow, Scotland 19-24 July, 2020. PC reviewer.

9^th ACM SIGPLAN Int. Conf. on Certified Programs and Proofs 2020 CPP'20, (a 16 Oct 2019, p 21 Oct 2019) Part of POPL, New Orleans, January 19-25, 2020. PC member.

9^th International Workshop on Confluence IWC 2020, collocated with FSCD 2020, Paris, France, 29 June - 05 July 2020. PC co-chair.

4^th Formal Structures for Computation and Deduction FSCD 2019 - CFP, (8/2a, 11/2p 2019) Darmstadt, Germany, June 24-30, 2019. PC member.

10^th Int. Conf. on Interactive Theorem Proving ITP 2019, Portland, USA, 8-13 September 2019. PC member.

8^th International Workshop on Confluence IWC 2019, Collocated with FSCD 2019, Dortmund, Germany, 24-30 June 2019. PC co-chair.

2019 IEEE Congress on Evolutionary Computation (CEC 2019), (7/1p 2019) Wellington, New Zealand, 10-13 June, 2019. PC reviewer

33^nd Int. Workshop on Unification UNIF 2019, Proposed to be collocated with FSCD 2019, (14/4a, 21/4p) Dortmund, Germany, 24-30 June 2019. PC member.

19^th Brazilian Logic Conference (EBL 2019) , João Pessoa, Brazil, May 6-10, 2019. PC member

X Southern Programable Logic Conference (SPL 2019) , Buenos Aires, 10-12 April 2019. PC Member

8^th ACM SIGPLAN Int. Conf. on Certified Programs and Proofs 2019 CPP'19, (11/10a, 18/10p 2018), Part of POPL, Lisbon, Portugal, January 13-19, 2019. PC member.

International Conference on Interactive Theorem Proving ITP, ex officio member of the Steering Committee (2017-18).

32^nd Int. Workshop on Unification UNIF 2018, Collocated with FSCD 2018 (part of FLOC), Oxford, UK, 7 July 2018. PC co-chair.

10^th NASA Formal Methods Symposium NFM 2018, Newports News VA USA, 17-19 April 2018. PC member.

2018 IEEE Congress on Evolutionary Computation (CEC 2018), Rio de Janeiro, Brasil, 5-8 June, 2018. PC reviewer

XLIV Conferência Latino-americana de Informática SLTC - Simpósio Latino-Americano em Teoria Computacional, São Paulo, Oct. 1-5, 2018. PC member (Apr. 8p)

13CCC: 13^o Congresso Colombiano de Computación Cartagena, 26-28 September 2018. (Apr. 17a/May 1p) PC member.

13^th Logical and Semantic Frameworks, with Applications LSFA 2018, Fortaleza, Dates TBD. PC member.

Logical and Semantic Frameworks with Applications member and co-chair of the Steering Committee (2006-2017)

8^th Int. Conf. on Interactive Theorem Proving ITP 2017, 25-29 September 2017. PC co-chair.

11^th Int. Symp. on Frontiers of Combining Systems FroCos 2017, 25-29 September 2017. PC member.

12^th Logical and Semantic Frameworks, with Applications LSFA 2017 Satellite event of ITP+FroCos+ Tableaux 2017, Brasília, 23-29 September 2017. PC member.

2017 IEEE Congress on Evolutionary Computation (CEC 2017), Dinostia/San Sebastián, Spain, 5-8 June, 2017. PC reviewer

17^th International Conference on Intelligent Systems Design and Applications (ISDA 2017) , Delhi, India, 14-16 Dezember 2017. PC member

18^th Brazilian Logic Conference (EBL 2017), Pirenpólis, Brazil, May 8-12, 2017. PC member

International Schools on Rewriting member and chair (2014-15) 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

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

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

13^th 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

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

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

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

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

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

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

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

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

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

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

26^th 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 - 9^th Logical and Semantic Frameworks with Applications, Brasíilia, Brazil, 8-9 Sep 2014 PC co-chair

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

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

27^th 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

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

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

9CCC - 9^o 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

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

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

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

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

5^th World Congress on Nature and Biologically Inspired Computing (NaBiC 2013), Fargo - North Dakota 12-14 Aug 2013 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 - 7^th Logical and Semantic Frameworks with Applications, Rio de Janeiro, Sep 29^th-30^th 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 - 7^o 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 - 6^th International School on Rewriting, UPV, Valencia, Spain SC member

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

LSFA 2011 - 6^th Logical and Semantic Frameworks with Applications, Belo Horizonte, Aug 27^th 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 - 17^th Workshop on Logic, Language, Information and Computation, Brasília, 6-9/7/2010, OC co-chair

LSFA 2010 - 5^th 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 - 5^o 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 Invited 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 - 22^nd Symposium on Integrated Circuits and System Design PC member

4CCC - 4^o Congreso Colombiano de Computación, Bucaramanga, 23-25/4/9, Invited Speaker

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

LSFA 2008 - 3^rd 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 - 21^st Symposium on Integrated Circuits and System Design PC member

RC Education 2008 - 3^rd Workshop on Reconfigurable Computing Education, Montpellier, 10/4/8, PC member

3CCC - 3^o Congreso Colombiano de Computación, Medellín, 9-11/4/8, PC member

LSFA 2007 PC co-chair

The 2^nd 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 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 Conference chair: WoLLIC2001 - 8^th Workshop on Logic, Language, Information and Computation, Brasília, July 31 to Aug 3, 2001 Final Programme and photos of the meeting

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