SAVE THE DATE
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 :
- Chantal Keller, LRI, UPSud
- Frédéric Blanqui, INRIA, ENS Cachan, LSV.::
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