Rencontre du 18 décembre 2018
Projet LLipIdO & GDRI Linear Logic
Thème
Preuves de logique linéaire sur machine
preuves automatiques, benchmarks, preuves interactives, formalisation de la méta-théorie de LL, applications, etc.
Infos pratiques
- mardi 18 décembre 2018 (10h30-16h30)
- à l'ENS de Lyon
- salle de réunion M7.315 (3e étage)
Programme
Participants
- Youakim BADR (INSA - LIRIS - Lyon)
- Kaustuv CHAUDHURI (INRIA - Parsifal - LIX - Palaiseau)
- Christian DOCZKAL (CNRS - LIP - ENS Lyon)
- Dominique LARCHEY-WENDLING (CNRS - LORIA - Nancy)
- Olivier LAURENT (CNRS - LIP - ENS Lyon)
- Christophe LUCAS (ENS Lyon)
- Sonia MARIN (IT University Copenhagen)
- Simone MARTINI (DISI - Bologna & Collegium Lyon - LIP - ENS Lyon)
- Micaela MAYERO (Univ. Paris 13 - LIPN - Villetaneuse)
- Dale MILLER (INRIA - Parsifal - LIX - Palaiseau)
- Luc PELLISSIER (Univ. Montevideo - Uruguay)
- Damien POUS (CNRS - LIP - ENS Lyon)
- Pierre PRADIC (LIP - ENS Lyon)
- Jui-Hsuan WU (ENS Paris)