Program of the Logipedia starting meeting

École Normale de Paris-Saclay, 61, avenue du Président Wilson, Cachan Metro station: Bagneux ( line B ) Building: Laplace Room: Salle Renaudeau Monday, January 21st 9h30 Welcome 10h-11h : Presentation…

Continuer la lecture Program of the Logipedia starting meeting

Séminaire GT UPSCale

Lundi 11 décembre 2017 de 13h45 à 16h30Universality of Proofs in SaCLayLRI, Bâtiment 650, Rue Noetzlin, 91190 Gif S/Yvette - Salle 455 Organizer: Chantal Keller, LRI, UPSud. Intervenants : Guillaume Bury, LSVRoberto Blanco, Inria,…

Continuer la lecture Séminaire GT UPSCale

Séminaire GT UPSCaLe

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,…

Continuer la lecture Séminaire GT UPSCaLe

Séminaire GT UPSCaLe

SAVE THE DATE Monday afternoon, june 25, 2018  Universality of Proofs in SaCLay Laboratoire d'Informatique de Polytechnique, Turing building, meeting room Gilles Kahn. An ID is mandatory to access the building Place: Laboratoire…

Continuer la lecture Séminaire GT UPSCaLe

Séminaire GT UPSCaLe

SAVE THE DATE Scientific day - GT UPScale Tuesday, October 9, 2018  Interoperability Of Proof Systems LRI - Paris-Sud University - Shannon auditorium - building 660. This seminar will present various projects around interoperability…

Continuer la lecture Séminaire GT UPSCaLe

2018 | UPSCaLe : Universality of Proofs in SaCLay

Axe : SciLexCoordinateur : Chantal KellerObjectif : Utiliser les preuves comme protocoles de communication entre systèmes de preuvesFinancement Labex : 2017 Les réunions du GT sont ouvertes à tous ! Si vous ne faites…

Continuer la lecture 2018 | UPSCaLe : Universality of Proofs in SaCLay