UMR 7126 – Laboratoire
Preuves, Programmes et Systèmes
Accueil · Présentation · Membres · Publications · Séminaire · Groupes de travail · Projets · πr²
Groupes de travail
- Analyse et Conception de Systèmes. Responsables : Daniele Varacca et Jean Krivine.
- Catégories supérieures, polygraphes et homotopie, le vendredi à 14h. Responsable : François Métayer.
- Programmation, un jeudi sur deux à 15h45 à l'IRILL (avenue d'Italie) ou au LIP6 (Jussieu). Responsable : Emmanuel Chailloux.
- Sémantique, le mardi à 10h30. Responsables : Paul-André Melliès et Michele Pagani.
- Sémantique des calculs classiques. Responsable : Flavien Breuvart.
- Sémantique et Vérification. Responsables : Charles Grellois, Paul-André Melliès et Olivier Serre.
- Séminaire des thésards du LIAFA et de PPS. Responsable : Clément Jacq.
- Théorie des types et réalisabilité le mercredi à 14h. Responsables : Hugo Herbelin et Paul-André Melliès.
