Events
  • 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 18th 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.