Contact
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