Working groups

• Higher-order categories, polygraphs and homotopy (organized by : François Métayer)
• Concurrency and Probabilistic Programming, Thursdays at 2pm (organized by : Samy Abbes, Roberto Amadio, Pierre-Louis Curien et Daniele Varacca)
• Programming,

every other Thursday at 3:45pm at IRILL or LIP6 (organized by : Emmanuel Chailloux)

• Semantics, Tuesdays at 11am (organized by : Paul-André Melliès)
• Typoe Theory and realizability, Wednesdays at 2pm, avenue d'Italie (organized by : Hugo Herbelin et Paul-André Melliès)
• PhD students' seminar for LIAFA and PPS (organized by : Alexis Goyet)
• Resting group for PhD students (organized by : Flavien Breuvart)

Please contact the organizer(s) for further details.

Archives

• Semantics and Realizability
• Semantics
• Classical Realizability
• Homotopic methods in computer science
• Computer-aided theorem proving