Participants

Invited Speakers

1. Martin Hofmann (Ludwig-Maximilians-Universität, Munich)
2. Jean-Louis Krivine (Laboratoire Preuves, Programmes et Systèmes)
3. Alexandre Miquel (École normale supérieure, Lyon)
4. Jonas Frey (Laboratoire Preuves, Programmes et Systèmes)

List of participants (34)

• Shahin Amini – Université Paris Diderot, Laboratoire PPS
• Federico Aschieri – PPS-INRIA PIR2, Paris
• Clement Aubert – L.I.P.N.
• Marc Bagnol – IML - Université de la Méditerrannée
• Emmanuel Beffara – IML, Université d'Aix-Marseille
• Noel Bernard – LAMA-Université de Savoie
• Giovanni Birolo – University of Turin
• Valentin Blot – ENS Lyon
• Anthony Bordg – Université Paris VII
• Flavien Breuvart – PPS
• Alejandro Diaz-Caro – LIPN - Université Paris-Nord
• Etienne Duchesne – LIPN
• Dominique Duval – LJK - UJF
• Jonas Frey – Université Paris Diderot, Laboratoire PPS
• Mauricio Guillermo – IMERL/FING/UdelaR
• Arthur Guillon – Université Denis Diderot
• Florian Hatat – LAMA
• Hugo Herbelin – PPS - INRIA
• Tom Hirschowitz – CNRS, Université de Savoie
• Martin Hofmann –
• Pierre Hyvernat – LAMA
• Jean-Louis Krivine – Université Denis Diderot
• Marc Lasson – ENS Lyon
• Paul-Andre Mellies – CNRS - Paris Diderot
• Jean-Baptiste Midez – IML
• Alexandre Miquel – ENS de Lyon
• Antoine Mottet – ENS Lyon
• Guillaume Munch – Laboratoire PPS
• Cyrus F Nourani – Akdmkrd.tripod.com DE and cyrusfn@alum.mit.edu
• Pierre-Marie Pedrot – PPS/Pi.R2
• Christophe Raffalli – LAMA, UMR5127
• Colin Riba – LIP - ENS de Lyon
• Lionel Rieg – ENS de Lyon
• Thomas Seiller – LAMA