Organizers :
- Chantal Keller, LRI, UPSud
- Frédéric Blanqui, Inria, LSV, École normale supérieure Paris-Saclay
Speakers :
- Bruno Barras, (LSV, École normale supérieure Paris-Saclay)
- Raphaël Cauderlier, (Institut de Recherche en Informatique Fondamentale, IRIF)
- FoCaLiZe and Dedukti to the Rescue for Proof Interoperability