Other activities

Governance

• Member of the Governing Board of the Portuguese Logic Society (2025 - 2028).

• Former member of the Council of the Association Computability in Europe (2017 - 2025).

Talks

• Some recent talks (2026):

  • Foundations of Computational Mathematics 2026 - Computational Dynamics (invited speaker - Vienna, Austria)

  • Thermogamas Workshop (invited 3 x 1h tutorial - Nancy, France)

  • National Meeting of the Portuguese Mathematical Society (special session in Logic - Oeiras, Portugal)

  • Days in Logic 2026 (Braga, Portugal)

  • Annual Meeting of the Center for Research & Development in Mathematics and Applications (Aveiro, Portugal) 

Program committees and organization of conferences

• Member of the program committee of (2026):

  • Computability in Europe (CiE 2026) (Trier, Germany)

  • CCC 2026 - Continuity, Computability, Constructivity (Kyoto, Japan)

• Member of the program committee of (2025):

  • WODCA 2025 - Workshop on Optimization, Dynamics and Convex Analysis (Aveiro, Portugal)

• Member of the program commitee of (2024):

  • CCC 2024 - Continuity, Computability, Constructivity (Nice, France)

• Member of the program commitee of (2023):

  • 17th International Conference on Reachability Problems (Nice, France)

  • CCC 2023 - Continuity, Computability, Constructivity (Kyoto, Japan)

  • 20th International Conference on Computability and Complexity in Analysis (Dubrovnik, Croatia)

Outreach

Some general outreach articles published in the Spanish newspaper El país (in Spanish):

• Las matemáticas que nos dicen cómo de difícil es un problema

• Las matemáticas que estudian los límites de los ordenadores