Organizers :

Speakers :

  • Florian Rabe, Erlangen University, & LRI
    • Towards a Logic-Independent Proof Language
  • François Thiré, ENS Cachan, LSV
    • Translating an arithmetic library from Matita to HOL with Dedukti,