Final EuroProofNet Symposium
Date: 8-19 September 2025
Venue: Institut Pascal, 530 Rue André Rivière, 91400 Orsay [access] [hotels] [food] [possible activities around]
Registration: fill in this form (registration is free but mandatory). Please note that you have to organize yourself for lunches (and dinners), but there are many options around, except on Sunday.
Sponsors:
 |
 |
 |
Programme:
| Mo8 | Tu9 | We10 | Th11 | Fr12 | Sa13 | Su14 |
| LFPSI | LFPSI | LFPSI | LFPSI | |||
| WG2 | WG2 | WG2 | ||||
| WHOOPS | WHOOPS | |||||
| (*) | (*) |
| Mo15 | Tu16 | We17 | Th18 | Fr19 |
| WG4 | WG4 | |||
| MCLP | MCLP | MCLP | MCLP | |
| WG3 | WG3 | WG3 | ||
| MC | ||||
| (*) | (*) |
(*) 17:30-18:30: happy hour
This symposium is dedicated to the memory of Gilles Dowek, who died on 21 July 2025 at 58 years old. Gilles was the founder of Deducteam and of the Dedukti logical framework, which plays a central role in EuroProofNet. He was vice leader of the WG4 on proof libraries from 2021 to 2022. He made important contributions not only in logic (unification, automated theorem proving, type theory) but also in quantum programming languages and philosophy. He received several awards from the French Academy of Sciences. He was a brilliant speaker and teacher, and published several books in computer science, logic and philosophy. He has been very active in promoting the teaching of computer science in high school and contributed to the definition of the corresponding cursus. Finally, he supervised or co-supervised many PhD students.
Steering committee:
- Frédéric Blanqui (INRIA & LMF, chair of EuroProofNet)
- Patrick Massot (LMO, University Paris Saclay)
- Florent Hivert (LISN, University Paris Saclay)
- Angeliki Koutsoukou Argyraki (University of London, UK)
- Benedikt Ahrens (Delft University of Technology, Netherlands)
- Alicia Villanueva (Universitat Politècnica de València, Spain)
- Cezary Kaliszyk (University of Melbourne, Australia)
- Roussanka Loukanova (Institute of Mathematics and Informatics, Bulgarian Academy of Sciences)
- Pascal Fontaine (Université de Liège, Belgium)
- Assia Mahboubi (INRIA)
- Julien Narboux (Université Paris Cité)
