Events

  • RAMICS 2023, 20th International Conference on Relational and Algebraic Methods in Computer Science, Augsburg, Germany 3-6, April, 2023. Program Committee member.
  • DCFS 2023, 25th International Workshop on Descriptional Complexity of Formal Systems, Potsdam, Germany, 4-6 July, 2023. Program Committee member.
  • CIAA 2023, 26th International Conference on Implementation and Application of Automata, Famagusta, North Cyprus, 19-22 September, 2023. Program Committee member.
  • FCT 2023, 24TH INTERNATIONAL SYMPOSIUM ON FUNDAMENTALS OF COMPUTATION THEORY, 18-21 September, 2023. Program Committee member.
  • NCMA 2023, 13th Non-Classical Models of Automata and Applications, Famagusta, North Cyprus, 18-19 September, 2023. Program Committee member.
  • LICS 2022, 37th Annual ACM/IEEE Symposium onLogic in Computer Science,2–5 August 2022, Haifa Israel. Program Committee member.
  • INFORUM 2022 - SOFT-PT, 13o Simpósio de Informática 8-9/09/2022 Guarda, Portugal. Program Committee member.
  • MOL 2021 , 17th MATHEMATICS OF LANGUAGE 2021, University of Montpellier, 13/12/2021, Program Committee member.
  • DLT 2021, 25th International Conference on Developments in Language Theory, Porto, Portugal 16-20/08/2021. Co-chair of Program Committee and Organising Committee.
  • CIAA 2021 25th International Conference on Implementation and Application of Automata, Bremen, Germany, 19-22/07/ 2021. Program Committee member.
  • SOFSEM 2020 46th International Conference on Current Trends in Theory and Practice of Computer Science, Limassol, Cyprus, January 20-24, 2020. Program Committee member.
  • FM 19 3rd World Congress on Formal Methods, 7-11 October 2019, Porto. Co-chair of Workshops and Tutorials.
  • DCFS 2019 21st International Workshop on Descriptional Complexity of Formal Systems, Kosice, Slovakia, 17–19 July, 2019. Program Committee member.
  • SOFSEM 2019,45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019. Program Committee member.
  • DCFS 2018 20th International Workshop on Descriptional Complexity of Formal Systems, Halifax, NS, Canada, 25–27 July, 2018. Program Committee member.
  • NCMA 2018, 10th Non-Classical Models of Automata and Applications, Kassel, Germany, 21-2208/2016, Kosice, Slovakia. Program Committee member.
  • CIAA 2017, 22th International Conference on Implementation and Application of Automata, Paris, France, 27-30/06 2017. Program Committee member.
  • FSCD 2016, 1st International Conference Formal Structures for Computation and Deduction, 22-26, June, Porto, Portugal. Organizing Committee member.
  • DCFS 2016,18th International Workshop on Descriptional Complexity of Formal Systems, Bucharest, Romania, 6–8 July, 2016. Program Committee member.
  • IJCAR 2016,International Joint Conference on Automated Reasoning, 27 June - 2 July, 2016, University of Coimbra, Portugal. Organizing Committee member.
  • NCMA 2016 8th Non-Classical Models of Automata and Applications, Kassel, Germany, 29-30/08/2016, Debrecen, Hungary. Program Committee member.
  • NCMA 2015 7th Non-Classical Models of Automata and Applications, Porto, Portugal,31/08-01/09/2015. Program Committee and Organizing Committee co-chair
  • DCFS 2015 17th International Workshop on Descriptional Complexity of Formal Systems, Waterloo, ON, Canada, 25-27 June, 2015. Program Committee member.
  • CIAA 2014 19th International Conference on Implementation and Application of Automata, Giessen, Germany 30/07-02/08 2014. Program Committee member.
  • NCMA 2014 6th Non-Classical Models of Automata and Applications, Kassel, Germany, 28-29/07/2014. Program Committee member.
  • ADG 2014 10th International Workshop on Automated Deduction in Geometry, Coimbra, Portugal, 9-11/07/2014. Organizing Committee member.
  • Inforum 2014 6o Simpósio de Informática, Porto, Portugal 4-5 September 2014. Program Committee member - Track Sistemas Embebidos e de Tempo Real.
  • Workshop Voices of Cante , Porto 24-25/01/2014
  • CIAA 2013 - 18th International Conference on Implementation and Application of Automata, Halifax, NS, Canada, 16-19 July, 2013. Program Committee member
  • DCFS 2013 - 15th International Workshop on Descriptional Complexity of Formal Systems, London, ON, Canada, 22-25 July, 2013. Program Committee member.
  • Inforum 2013 - 5o Simpósio de Informática, Évora, Portugal 5-6 September 2013. Program Committee member - Track Sistemas Embebidos e de Tempo Real.
  • DCFS 2012 - 14th International Workshop on Descriptional Complexity of Formal Systems, Braga Portugal 23-25 July. Program Committee and Organization Committee co-chair.
  • CIAA 2012 - 17th International Conference on Implementation and Application of Automata (CIAA), Porto Portugal, 17-20 July. Program Committee and Organization Committee co-chair.
  • Inforum 2012 - 4o Simpósio de Informática, Lisboa, Portugal 6-7 September 2012. Program Committee member - Track Sistemas Embebidos e de Tempo Real.
  • NCMA 2011 - Program Committee member
  • Inforum 2011 - 3o Simpósio de Informática, Coimbra, Portugal 8-9 September 2011. Program Committee member - Track Sistemas Embebidos e de Tempo-Real
  • EPIA 2001 - 10th Portuguese Conference on Artificial Intelligence. 17-20 December, Porto, Portugal. Program Committee member.
  • EPIA 1993 - 6th Portuguese Conference on Artificial Intelligence, October 1993, Porto, Portugal. Organization Committee member.
  • EAIA 1990 Escola Avançada de Inteligência Artificial, October 1990, Guarda, Portugal. Organization Committee member.