IRIF - Équipe
Preuves, Programmes et Systèmes
On the occasion of Pierre-Louis Curien's 60th birthday, we organized an informal scientific and friendly meeting.
This meeting took place in Venice, at the Don Orione Artigianelli Cultural Center.
It began on September 9th 2013 at 2PM and ended on September 11th at around 5PM.
The following friends and colleagues of Pierre-Louis accepted our invitation to take part to this event:
Michele Abrusci, Thorsten Altenkirch, Andrea Asperti, Henk Barendregt, Gérard Boudol, Albert Burroni, Olivier Danvy, Mariangiola Dezani, Matthias Felleisen, Yuxi Fu, Jean-Yves Girard, Georges Gonthier, Eric Goubault, Jean Goubault-Larrecq, Timothy Griffin, Thérèse Hardin, Furio Honsell, Gérard Huet, Martin Hyland, Jean-Pierre Jouannaud, André Joyal, François Lamarche, Marina Lenisa, Jean-Jacques Lévy, Muriel Livernet, Giuseppe Longo, Michel Mauny, Maurice Nivat, Luke Ong, Andrew Pitts, Gordon Plotkin, Emmanuel Polonowski, Jean-Marie Rifflet, Simona Ronchi della Rocca, Thomas Streicher, Lorenzo Tortora de Falco, Tarmo Uustalu, Bruno Vallette, Jean Vuillemin, Glynn Winskel, Jiang Ying, Nobuko Yoshida, Min Zhang.
Many thanks to Didier Ainardi for the photograph; you can find a larger version here.
The programme included scientific talks as well as friendly addresses. The last version of the programme is available here. Last update: September 11th.
Slides of talks
Antonio Bucciarelli, Thomas Ehrhard, Hugo Herbelin, Paul-André Melliès, Antonino Salibra, Alexis Saurin.
A festschrift volume will be edited after the meeting. A call for contributions will be circulated in due time.
The meeting was funded by ANR, CNRS, Université Paris Diderot and INRIA.