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
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

International Conference on Formal Structures for Computation and Deduction FSCD member of the Steering Committe (2018-21).

International Conference on Interactive Theorem Proving ITP member of the Steering Committe (2020-).

International Workshop on Confluence IWC co-chair of the Steering Committe

International Workshop on Unification UNIF member of the Steering Committe (2018-22).

Reviewer from Mathematical Reviews MathSciNet American Mathematical Society

16th Logical and Semantic Frameworks with Applications LSFA 2021, affiliated to FSCD 2021. PC co-chair.

35th International Workshop on Unification UNIF 2021, Buenos Aires, p 16 Apr. PC member.

FSCD 2021 , in Buenos Aires, July 19-25 2021. wp 6 Dec 2020, Workshop co-chair; PC member.

  • 14th Conference on Intelligent Computer Mathematics CICM 2021, Timisoara, a Mar 15, p Mar 26, PC member.

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

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

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

    1o Workshop Brasileiro de Lógica WBL 2020, Salvador 26 August. PC member.

    34th 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.

    9th 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.

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

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

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

    8th 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

    33nd 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.

    19th 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

    8th 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.


    Old links:

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

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

    10th 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: 13o Congresso Colombiano de Computación Cartagena, 26-28 September 2018. (Apr. 17a/May 1p) PC member.

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

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

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

    12th 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

    12CCC - 12o Congreso Colombiano de Computación, Cali, Colombia, Sep 19-22, PC Member

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

    18th 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

    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 - 11o 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

    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 - 10o 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 - 9o 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 - 8o 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 - 7o 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 - 6o 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 - 5o 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 - 4o 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 - 3o 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 Conference 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