Séminaire GT UPSCaLe


Monday afternoon, march 19, 2018 

Universality of Proofs in SaCLay

ENS Cachan, 61, Avenue du Président Wilson – 94235 Cachan Cedex – IDA building, amphitheater Chemla

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