Organized events

• 18 July 2026: Tribute to Gilles Dowek, FLoC'26 workshop, Lisbon, Portugal
• 22 June - 3 July 2026: Formal Mathematics and Proof Systems Interoperability, Institut Pascal, Orsay, France
• 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