Axe : SciLex
Coordinateur : Chantal Keller
Objectif : Utiliser les preuves comme protocoles de communication entre systèmes de preuves
Financement Labex : 2017
Les réunions du GT sont ouvertes à tous ! Si vous ne faites pas partie du GT UPSCaLe, merci de préciser votre venue à Chantal Keller.
Scientific day
Seminars
- Friday afternoon, November 29, 2019
- Tuesday afternoon, June 4, 2019
- Monday afternoon, June 25, 2018
- Monday afternoon, March 19, 2018
- Monday, December 11, 2017
Related events
Post-Doc Adossé
LFAT – Linking Focusing and Automated Theorem Proving
Axe & tâche scientifique DigiCosme : SciLex
Coordinateurs :Guillaume Burel, SAMOVAR – Kaustuv Chaudhuri, LIX – Dale Miller, LIX
Nom & Prénom du Candidat : Matteo Acclavio
Adresse mail :
Laboratoire gestionnaire: SAMOVAR
Page web
Thèse Adossée
InDepTh – Definitions and proofs by induction in dependent type theory
Axe & tâche scientifique DigiCosme : SciLex
Coordinateurs : Frédéric Blanqui, Inria Saclay – Catherine Dubois, SAMOVAR
Nom & Prénom du Candidat : Amélie Leiden
Adresse mail :
Laboratoire gestionnaire: Inria Saclay
Page web