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
• Science communication vice coordinator: Dmitriy Traytel
• Grant awarding coordinator: Danijela Simić
• Grant awarding vice coordinator: Ambrus Kaposi
• Training coordinator: Luigia Petre
• Training vice coordinator: Marija Mihova

• Gender-balance coordinator: Anja Petković Komel

• WG1 (interoperability) leader: Jesper Cockx

• WG1 vice leader: Catherine Dubois

• WG2 (automated theorem provers) leader: Pascal Fontaine

• WG2 vice leader: Alexander Steen

• WG3 (program verification) leader: Alicia Villanueva

• WG3 vice leader: Rodica Condurache

• WG4 (libraries) leader: Claudio Sacerdoti Coen

• WG4 vice leader: Gilles Dowek

• WG5 (machine learning) leader: Cezary Kaliszyk

• WG5 vice leader: Peter Koepke

• WG6 (type theory) leader: Benedikt Ahrens
• WG6 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ć
• 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
• 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