Date: 8-19 September 2025

Venue: Institut Pascal, 530 Rue André Rivière, 91400 Orsay [access] [hotels] [food] [possible activities around]

Participation: If you want to attend the symposium on site, send a mail to Frédéric Blanqui. It is also possible to attend it remotely on Zoom (links are provided on the EuroProofNet Zulip chat).

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: