Preuves, Programmes et Systèmes

CNRS UMR 7126

Groupes de travail

Catégories supérieures, polygraphes et homotopie (responsable : François Métayer)
Concurrence et Programmation Aléatoire, le jeudi à 14h (responsables : Samy Abbes, Roberto Amadio, Pierre-Louis Curien et Daniele Varacca)
Programmation, un jeudi sur deux à 15h45 à l'IRILL (avenue d'Italie) ou au LIP6 (Jussieu) (responsable : Emmanuel Chailloux)
Sémantique, le mardi à 11h (responsable : Paul-André Melliès)
Théorie des types et réalisabilité le mercredi à 14h, avenue d'Italie (responsables : Hugo Herbelin et Paul-André Melliès)
Séminaire des thésards du LIAFA et de PPS (responsable : Alexis Goyet)
Groupe de repos des thésards (responsable : Flavien Breuvart)

Pour plus d'informations, contactez les responsables.