Service in Steering Committees

Association for Logic Programming (ALP)
Executive committee member, between July 2014 and July 2020.

INForum
President, between September 2019 and September 2021.
Executive committee member, between September 2014 and September 2019.

Euro-Par
Advisory board member, since August 2014.

COMPUTATION TOOLS
Technical program committee member, since October 2019.
Steering committee member, between October 2016 and September 2019.

Service in Editorial Boards

ALP Newsletter
Area co-editor for the Implementations and Systems track, between May 2010 and March 2016.

Service in Program Committees

ICLP 2024
Program committee member. 40th International Conference on Logic Programming (ICLP 2024). Dallas, Texas, USA, October 2024.

SLATE 2024
Program committee member. 13th Symposium on Languages, Applications and Technologies (SLATE 2024). Águeda, Portugal, July 2024.

ICLP 2023
Program committee member. 39th International Conference on Logic Programming (ICLP 2023). London, UK, July 2023.

SLATE 2023
Program committee member. 12th Symposium on Languages, Applications and Technologies (SLATE 2023). Vila do Conde, Portugal, June 2023.

PPDP 2022
Program committee member. 24th International Symposium on Principles and Practice of Declarative Programming (PPDP 2022). Tbilisi, Georgia, September 2022.

SLATE 2022
Program committee member. 11th Symposium on Languages, Applications and Technologies (SLATE 2022). Covilhã, Portugal, July 2022.

FLOPS 2022
Program committee member. 16th International Symposium on Functional and Logic Programming (FLOPS 2022). Kyoto, Japan, May 2022.

ICLP 2021
General chair. 37th International Conference on Logic Programming (ICLP 2021). Online event, September 2021.

SLATE 2021
Program committee member. 10th Symposium on Languages, Applications and Technologies (SLATE 2021). Vila do Conde, Portugal, July 2021.

COMPUTATION TOOLS 2021
Program committee member. 12th International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking (COMPUTATION TOOLS 2021). Porto, Portugal, April 2021.

ICLP 2020
Program committee member. 36th International Conference on Logic Programming (ICLP 2020). Rende, Italy, September 2020.

SBAC-PAD 2020
Program committee member. 32nd International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2020). Porto, Portugal, September 2020.

HLPP 2020
Program co-chair. 13th International Symposium on High-level Parallel Programming and Applications (HLPP 2020). Porto, Portugal, July 2020.

SLATE 2020
Program committee member. 9th Symposium on Languages, Applications and Technologies (SLATE 2020). Barcelos, Portugal, July 2020.

COMPUTATION TOOLS 2020
Program committee member. 11th International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking (COMPUTATION TOOLS 2020). Nice, France, April 2020.

FLOPS 2020
Program committee member. 15th International Symposium on Functional and Logic Programming (FLOPS 2020). Akita, Japan, April 2020.

ICLP 2019
Program committee member. 35th International Conference on Logic Programming (ICLP 2019). Las Cruces, New Mexico, USA, September 2019.

INAP 2019
Program committee member. 22nd International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2019). Cottbus, Germany, September 2019.

SLATE 2019
Program committee member. 8th Symposium on Languages, Applications and Technologies (SLATE 2019). Coimbra, Portugal, June 2019.

COMPUTATION TOOLS 2019
Program committee member. 10th International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking (COMPUTATION TOOLS 2019). Venice, Italy, May 2019.

PADL 2019
Program committee member. 21st International Symposium on Practical Aspects of Declarative Languages (PADL 2019). Cascais, Portugal, January 2019.

VECPAR 2018
Program committee member. 13th International Meeting on High Performance Computing for Computational Science (VECPAR 2018). São Pedro, São Paulo, Brazil, September 2018.

INForum 2018
Program committee member. 10th INForum - Simpósio de Informática (INForum 2018). Coimbra, Portugal, September 2018.

ICLP 2018
Program committee member. 34th International Conference on Logic Programming (ICLP 2018). Oxford, UK, July 2018.

CICLOPS 2018
Program committee member. 16th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2018). Oxford, UK, July 2018.

SLATE 2018
Program committee member. 7th Symposium on Languages, Applications and Technologies (SLATE 2018). Guimarães, Portugal, June 2018.

COMPUTATION TOOLS 2018
Program committee member. 9th International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking (COMPUTATION TOOLS 2018). Barcelona, Spain, February 2018.

PADL 2018
Program committee member. 20th International Symposium on Practical Aspects of Declarative Languages (PADL 2018). Los Angeles, California, USA, January 2018.

ICLP 2017
Program co-chair. 33rd International Conference on Logic Programming (ICLP 2017). Melbourne, Australia, August/September 2017.

SLATE 2017
Program committee member. 6th Symposium on Languages, Applications and Technologies (SLATE 2017). Vila do Conde, Portugal, June 2017.

COMPUTATION TOOLS 2017
Program committee member. 8th International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking (COMPUTATION TOOLS 2017). Athens, Greece, February 2017.

PADL 2017
Program committee member. 19th International Symposium on Practical Aspects of Declarative Languages (PADL 2017). Paris, France, January 2017.

ICLP 2016
Program committee member. 32nd International Conference on Logic Programming (ICLP 2016). New York City, New York, USA, October 2016.

BDL 2016
Program committee member. Workshop on Big Data & Deep Learning in High Performance Computing (BDL 2016). Porto, Portugal, June 2016.

VECPAR 2016
Program committee member. 12th International Meeting on High Performance Computing for Computational Science (VECPAR 2016). Porto, Portugal, June 2016.

SLATE 2016
Program committee member. 5th Symposium on Languages, Applications and Technologies (SLATE 2016). Maribor, Slovenia, June 2016.

COMPUTATION TOOLS 2016
Program committee member. 7th International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking (COMPUTATION TOOLS 2016). Rome, Italy, March 2016.

PADL 2016
Program committee member. 18th International Symposium on Practical Aspects of Declarative Languages (PADL 2016). St. Petersburg, Florida, USA, January 2016.

SEPS 2015
Program committee member. 2nd Workshop on Software Engineering for Parallel Systems (SEPS 2015). Pittsburgh, Pennsylvania, USA, October 2015.

INForum 2015
Program co-chair. 7th INForum - Simpósio de Informática (INForum 2015). Covilhã, Portugal, September 2015.

PADL 2015
Program committee member. 17th International Symposium on Practical Aspects of Declarative Languages (PADL 2015). Portland, Oregon, USA, June 2015.

SLATE 2015
Program committee member. 4th Symposium on Languages, Applications and Technologies (SLATE 2015). Madrid, Spain, June 2015.

EURO-PAR 2014
Topic chair. 20th International Euro-Par Conference (Euro-Par 2014). Porto, Portugal, August 2014.

SLATE 2014
Program committee member. 3rd Symposium on Languages, Applications and Technologies (SLATE 2014). Bragança, Portugal, June 2014.

INAP 2013
Conference chair. 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013). Kiel, Germany, September 2013.

ICLP 2013
Program committee member. 29th International Conference on Logic Programming (ICLP 2013). Istanbul, Turkey, August 2013.

CICLOPS 2013
Program co-chair. 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2013). Istanbul, Turkey, August 2013.

SLATE 2013
Program co-chair. 2nd Symposium on Languages, Applications and Technologies (SLATE 2013). Porto, Portugal, June 2013.

CICLOPS 2012
Program committee member. 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2012). Budapest, Hungary, September 2012.

PADL 2012
Program committee member. 14th International Symposium on Practical Aspects of Declarative Languages (PADL 2012). Philadelphia, Pennsylvania, USA, January 2012.

PADL 2011
Program co-chair. 13th International Symposium on Practical Aspects of Declarative Languages (PADL 2011). Austin, Texas, USA, January 2011.

DAMP 2010
Program committee member. 5th International Workshop on Declarative Aspects of Multicore Programming (DAMP 2010). Madrid, Spain, January 2010.

ICLP 2009
Program committee member. 25th International Conference on Logic Programming (ICLP 2009). Pasadena, California, USA, July 2009.

CICLOPS 2008
Program committee member. 8th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2008). Udine, Italy, December 2008.

CICLOPS 2007
Program committee member. 7th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2007). Porto, Portugal, September 2007.

CICLOPS 2005
Program co-chair. 5th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2005). Sitges, Spain, October 2005.

EPIA 2003
Program committee member. 11th Portuguese Conference on Artificial Intelligence (EPIA 2003). Beja, Portugal, December 2003.

Organization of Events

HLPP 2020
Local organizer. 13th International Symposium on High-level Parallel Programming and Applications (HLPP 2020). Porto, Portugal, July 2020.

EURO-PAR 2014
Local organizer. 20th International Euro-Par Conference (Euro-Par 2014). Porto, Portugal, August 2014.

ICLP 2009
Publicity chair. 25th International Conference on Logic Programming (ICLP 2009). Pasadena, California, USA, July 2009.

TACC@UP 2009
Co-organizer. Spring School in Advanced Computing TACC @ UP. Porto, Portugal, May 2009.

ICLP 2007
Local chair. 23rd International Conference on Logic Programming (ICLP 2007). Porto, Portugal, September 2007.