mystery logo
Notice: Undefined index: superuser in /afs/lama.univ-savoie.fr/user/httpd/html/sitelama/Membres/pages_web/hyvernat/Realisabilite2009/participants.php on line 6

List of participants (number of participants: 33)

  • Maxime Beauquier (ITU of Copenhagen)
  • Emmanuel Beffara (IML, Université de la Méditerranée)
  • Thierry Coquand (University of Gothenburg)
  • Rene David (Université de Savoie)
  • Jonas Frey (Laboratoire PPS, Université Paris 7)
  • Clement Fumex (CIS - University of Strathclyde)
  • Jaime Gaspar (Technische Universität Darmstadt)
  • Fabien Givors (LIF - Aix Marseille Université - CNRS)
  • Stephane Glondu (Laboratoire PPS, Université Paris Diderot)
  • Florian Hatat (LAMA -- CNRS UMR 5127)
  • Daniel Hirschkoff (ENS Lyon)
  • Tom Hirschowitz (CNRS - UdS)
  • Muhammad Humayoun (LAMA -- CNRS, UMR 5127)
  • Pierre Hyvernat (LAMA -- CNRS UMR 5127)
  • Nour Karim (LAMA - Université de Savoie)
  • Jean-Louis Krivine (Université Paris 7)
  • Gregory Lafitte (LIF - Aix Marseille Université - CNRS)
  • Marc Lasson (ENS Lyon)
  • Stephane Lengrand (CNRS)
  • James McKinna (Radboud Universiteit Nijmegen)
  • Paul-Andre Mellies (Laboratoire PPS)
  • Alexandre Miquel (LIP / ENS Lyon)
  • Guillaume Munch-Maccagnoni (Université Paris 7 (PPS))
  • Paulo Oliva (Queen Mary, University of London)
  • Aurelien Pardon (ENS Lyon)
  • Barbara Petit (LIP - ENS Lyon)
  • Damien Pous (CNRS)
  • Christophe Raffalli (LAMA -- CNRS, UMR 5127)
  • Laurent Regnier (IML - Université de la Méditerranée)
  • Colin Riba (LIP - ENS Lyon)
  • Luigi Santocanale (LIF)
  • Lionel Vaux (LAMA)
  • Stephane Zimmermann (université paris 7)