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…
É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…
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,…
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,…
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…
The meeting will take place at LRI, in the PCRI building (650), room 465. Program: 13:30: welcome coffee 14:00: Emilio Gallego (Mines ParisTech), "Data Interchange in the Coq system: experiments…
The meeting will take place at LRI, in the PCRI building (650), room 465. Warning: the room has changed! Program: 13:30: welcome coffee 14:00: Mathias Fleury (Johannes Kepler Universität Linz, Austria),…
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…
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…