Loading...
 
[Show/Hide Left Column]

UPSCaLe : Universality of Proofs in SaCLay

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.

UPSCALE presentation

Scientific day

Seminars

Mailing list of the GT

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