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