Organized events
18 July 2026: Tribute to Gilles Dowek , FLoC'26 workshop, Lisbon, Portugal, with Olivier Hermant and Pablo Arrighi
22 June - 3 July 2026: Formal Mathematics and Proof Systems Interoperability , Institut Pascal, Orsay, France
19 June 2026: Colloque en hommage à Gilles Dowek , Gif-sur-Yvette, France, with Serge Abiteboul, Jean-Pierre Jouannaud, Gérard Huet, Olivier Hermant and Pablo Arrighi
24-26 September 2025: EuroProofNet Inter-WG meeting , Le Val d’Ajol, France
8-19 September 2025: EuroProofNet Symposium , Orsay, France
15-16 September 2025: EuroProofNet Workshop on Proof Libraries , Orsay, France
8-11 September 2025: 1st International School on Logical Frameworks and Proof Systems Interoperability (LFPSI'25), Orsay, France
11-13 February 2025: EuroProofNet meeting on proof systems interoperability , Nogent-sur-Seine, France
26-27 September 2024: EuroProofNet meeting on proof systems interoperability , Fontainebleau, France
13-14 September 2024: 2nd workshop on the development, maintenance, refactoring and mining of large libraries of proofs , Tbilisi, Georgia, in co-location with ITP'24
23-25 April 2024: EuroProofNet Inter-WG developers meeting , Le Val d'Ajol, France
23-25 January 2024: Meeting on Dedukti and proof systems interoperabilty , Gruissan, France
26-27 September 2023: EuroProofNet meeting on proof systems interoperability , Fontainebleau, France
25-27 July 2023: EuroProofNet Inter-WG developers meeting , Le Val d’Ajol, France
13 July 2023: TPTP tea party , ENS Paris-Saclay, France
27-29 January 2023: 2nd Dedukti tools developers meeting , Fréjus, France
16-18 October 2022: 1st Dedukti tools developers meeting , Val d’Ajol, France
23-24 September 2022: EuroProofNet workshop on the development, maintenance, refactoring and search of large libraries of proofs , Tbilisi, Georgia, in co-location with CLAS'22
24-25 Jun 2022: 1st Dedukti school , Nantes, France, in co-location with TYPES'22
1-6 July 2019: 11th International School on Rewriting (ISR'19), Paris, with Olivier Hermant
Come back to main page .
