The meeting will take place in the amphitheater 4C of the Halle aux Farines building of the University of Paris.

The meeting will start at 9:30 with an opening address by Antoine Petit, CNRS chairman and CEO. It will then consist of 5 scientific talks on topics reflecting some of Pierre-Louis's many research interests, followed by a closing address by Pierre-Louis at 17:30.

The meeting will end with a cocktail (served at about 18:00), in front of the Sophie Germain building if possible, or at floors 3 and 4 of this building otherwise, in the premises of the IRIF laboratory.

The invited speakers will be:

• Thierry Coquand
• Marcelo Fiore
• Jean-Yves Girard
• Muriel Livernet
• Jovana Obradović

Here is a tentative program.

• 9:00 Coffee and croissants in room 027C, close to amphitheater 4C
• 9:30 - 10:00 opening address, Antoine Petit
• 10:00 - 11:00 Jean-Yves Girard : Rock around the bunker
• 11:00 - 11:30 Coffee break in room 027C
• 11:30 - 12:30 Muriel Livernet : Model category structures for multicomplexes
• 12:30 - 14:00 Lunch
• 14:00 - 15:00 Marcelo Fiore : Free Algebraic Constructions in Category Theory and Type Theory
• 15:00 - 16:00 Jovana Obradović : Combinatorial homotopy theory for operads
• 16:00 - 16:30 Coffee break in room 027C
• 16:30 - 17:30 Thierry Coquand : Preshaf models of univalence and Quillen model structures
• 17:30 - 18:00 Pierre-Louis Curien
• 18:00 - 20:00 Cocktail, Sophie Germain building

Participation is free, but registration is mandatory, on this form.

A provisional participant list is available here.

The organizing committee: Antonio Bucciarelli, Bérénice Delcroix-Oger and Thomas Ehrhard.