Contact

Zulip chat  Facebook  Twitter

Report a problem on the web site

To contribute to the web site, please create a pull request or send a mail to the science communication coordinators.

Core group

• Chair: Frédéric Blanqui

• Vice chair: Sandra Alves

• Science communication
  • coordinator: Ornela Dardha
  • vice coordinator: Dmitriy Traytel
• Grant awarding
  • coordinator: Danijela Simić
  • vice coordinator: Ambrus Kaposi
• Training
  • coordinator: Luigia Petre
  • vice coordinator: Marija Mihova

• Gender-balance coordinator: Anja Petković Komel

• WG1 on interoperability
  • leader: Jesper Cockx
  • vice leader: Catherine Dubois
• WG2 on automated theorem provers
  • leader: Pascal Fontaine
  • vice leader: Alexander Steen
• WG3 on program verification
  • leader: Alicia Villanueva
  • vice leader: Rodica Condurache
• WG4 on libraries
  • leader: Claudio Sacerdoti Coen
  • vice leader: Gilles Dowek
• WG5 on machine learning
  • leader: Cezary Kaliszyk
  • vice leader: Peter Koepke
• WG6 on type theory
  • leader: Benedikt Ahrens
  • vice leader: Roussanka Loukanova

Management Committee/Country representatives

• Austria: Laura Kovács and Cezary Kaliszyk
• Belgium: Christophe Scholliers and Pascal Fontaine
• Bulgaria: Roussanka Loukanova
• Croatia: Zvonko Iljazović and Sandro Skansi
• Czech Republic: Martin Suda and David Cerna
• Denmark: Amin Timany and Dmitriy Traytel
• Estonia: Niccolo Veltri and Denis Firsov
• Finland: Luigia Petre
• France: Frédéric Blanqui and Catherine Dubois
• Germany: Chuangjie Xu and Erika Ábrahám
• Greece: Petros Stefaneas
• Hungary: András Kovács and Ambrus Kaposi
• Iceland: Valentina Castiglioni and Dylan McDermott
• Ireland: Madhusanka Liyanage
• Israel: Liron Cohen and Yakir Vizel
• Italy: Claudio Sacerdoti Coen
• Luxembourg: Matteo Acclavio and Alexander Steen
• Netherlands: Herman Geuvers and Jesper Cockx
• North Macedonia: Natasha Maksimova and Marija Mihova
• Norway: Håkon Robbestad Gylterud and Volker Stolz
• Poland: Adrian Jaszczak and Aleksy Schubert
• Portugal: Maria João Frade and Sandra Alves
• Romania: Rodica Condurache and Mihai Craciun
• Serbia: Silvia Ghilezan and Danijela Simić
• Slovakia: Zuzana Bilanová and Ján Perháč
• Slovenia: Anja Petković Komel and Andrej Bauer
• Spain: Montserrat Hermo and Alicia Villanueva
• Sweden: Anders Mörtberg and Robin Adam
• Turkey: Ümit Ertuğrul
• United Kingdom: Angeliki Koutsoukou-Argyraki and Benedikt Ahrens