Organizers :

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