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 :
Adresse mail :
Laboratoire gestionnaire: SAMOVAR
Page web