Contact
To report a problem or contribute to the web site, please open an issue, create a pull request or send a mail to the science communication coordinators.
If you have questions concerning reimbursements, please contact the Grant Holder.
Documents
- COST annotated rules
- Eligibility rules
- Reimbursement rules
- Management Committee meetings
- Deliverables
Core group
- Chair: Frédéric Blanqui
-
Vice chair: Sandra Alves
- Science communication
- coordinator: Natasa Stojkovik
- vice coordinator: Dmitriy Traytel
- Grant awarding
- coordinator: Simona Prokić
- 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: Alexander Steen
- vice leader: Mathias Fleury
- WG3 on program verification
- leader: Mădălina Eraşcu
- vice leader: Alicia Villanueva
- WG4 on libraries
- leader: Angeliki Koutsoukou-Argyraki
- vice leader: Claudio Sacerdoti Coen
- 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
Each COST (cooperating) member country can have one or two representatives. There are currently 34/42 countries represented in EuroProofNet. We are looking for representatives for Armenia, Bosnia and Herzegovina, Cyprus, Latvia, Malta, the Republic of Moldova, Montenegro, Ukraine. If you are interested, please contact the chair.
- Albania: Elda Xhumari
- 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
- Finland: Luigia Petre
- France: Frédéric Blanqui and Catherine Dubois
- Germany: Erika Ábrahám and Chuangjie Xu
- Georgia: Besik Dundua
- 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 and Maria Emilia Maietti
- Lithuania: Linas Laibinis
- Luxembourg: Jun Pang 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: Adam Naumowicz and Aleksy Schubert
- Portugal: Maria João Frade and Sandra Alves
- Romania: Rodica Condurache and Mihai Craciun
- Serbia: Silvia Ghilezan and Danijela Simić
- Slovakia: Ján Perháč
- Slovenia: Anja Petković Komel and Andrej Bauer
- Spain: Montserrat Hermo and Alicia Villanueva
- Sweden: Anders Mörtberg and Robin Adams
- Switzerland: Viktor Kuncak
- Turkey: Ümit Ertuğrul
- Ukraine: Mykola Nikitchenko
- United Kingdom: Angeliki Koutsoukou-Argyraki and Benedikt Ahrens