==== Scientific Meeting in Honor of Pierre-Louis Curien ==== == 6 September 2019, IRIF Paris == The meeting will take place in the amphitheater 4C of the [[https://universite.univ-paris-diderot.fr/structures/halle-aux-farines|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 [[https://www.irif.fr/informations/contacts|Sophie Germain]] building if possible, or at floors 3 and 4 of this building otherwise, in the premises of the [[https://www.irif.fr|IRIF]] laboratory. The invited speakers will be: * [[http://www.cse.chalmers.se/~coquand/|Thierry Coquand]] * [[https://www.cl.cam.ac.uk/~mpf23/|Marcelo Fiore]] * [[http://girard.perso.math.cnrs.fr/Accueil.html|Jean-Yves Girard]] * [[https://webusers.imj-prg.fr/~muriel.livernet/|Muriel Livernet]] * [[http://www.math.cas.cz/homepage/main_page.php?id_membre=4039|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 [[https://framaforms.org/scientific-meeting-in-honor-of-pierre-louis-curien-registration-form-1559555307|form]]. A provisional participant list is available [[https://oc.irif.fr/index.php/s/qCutmxktEJprcDy|here]]. The organizing committee: Antonio Bucciarelli, Bérénice Delcroix-Oger and Thomas Ehrhard.