Proofs and programs (13 – 17 February)
Participants
- Beniamino Accattoli (LIX - Paris)
- Matteo Acclavio (Rome Tre, Italy)
- Benedikt Ahrens (Université Nice Sophia Antipolis)
- Michele Alberti (IML)
- Guillaume Allais (University of Strathclyde)
- Shahin Amini (Paris (PPS))
- Marc Bagnol (IML)
- Emmanuel Beffara (IML, Marseille)
- Ulrich Berger (Swansea)
- Noël Bernard (Université de Savoie)
- Valentin Blot (Lyon - LIP ENS)
- Richard Blute (University of Ottawa)
- Pierre Boutillier (Inria rocquencourt equipe Pi.r2 - Laboratoire PPS Paris Diderot)
- Nuria Brede (Potsdam, Germany)
- Aloïs Brunel (LIPN, Université Paris 13)
- Alberto Carraro (Venezia)
- Pierre Clairambault (Computer Laboratory, University of Cambridge)
- Pierre Dagand (University of Strathclyde)
- Anupam Das (University of Bath)
- Germán Andrés Delbianco (IMDEA Software Institute, Madrid, Spain)
- Andrei Dorman (Paris)
- Etienne Duchesne (LIPN, Paris 13)
- Peter Dybjer (Chalmers University of Technology, Gothenburg, Sweden)
- Francesca Romana Ferrante (RomaTre, Italy)
- Christophe Fouqueré (Paris)
- Jonas Frey (PPS, Paris)
- Álvaro García (IMDEA Software Institute and Madrid Technical University, Madrid, Spain)
- Lourdes Del Carmen Gonzalez Huesca (PPS, Paris)
- Giulio Guerrieri (PPS Paris7)
- Mauricio Guillermo (Montevideo, Uruguay)
- Masahiro Hamano (Japan Science and Technology Agency)
- Willem Heijltjes (LIX)
- Hugo Herbelin (INRIA Paris Rocquencourt)
- Olivier Hermant (ISEP)
- Daniel Hirschkoff (Lyon)
- Naohiko Hoshino (Japan)
- Pierre Hyvernat (Chambéry)
- Guilhem Jaber (Ecole des Mines de Nantes)
- Shin-ya Katsumata (Research Institute for Mathematical Sciences, Kyoto University)
- Marc Lasson (ENS Lyon)
- Olivier Laurent (LIP, ENS Lyon)
- Ekaterina Lebedeva (Originally Tver, Russia; Currently Vienna, Austria and Nancy, France)
- Paul Levy (University of Birmingham, UK)
- Tadeusz Litak (University of Leicester)
- Giselle Machado N. Reis (Vienna)
- Jean-Marie Madiot (Lyon)
- Giulio Manzonetto (Paris)
- Yoann Marquer (Paris)
- Damiano Mazza (LIPN, Villetaneuse)
- Guy McCusker (Bath)
- Paul-André Melliès (CNRS - Universite Paris Diderot)
- Jean-Baptiste Midez (IML)
- Alexandre Miquel (LIP, ENS Lyon)
- Virgile Mogbil (LIPN Université Paris 13)
- Edward Morehouse (Wesleyan University, USA (visitiing Università di Chieti-Pesca in Italy))
- Raja Natarajan (Tata Institute of Fundamental Research, Mumbai, India)
- Paolo Parisen Toldin (University of Bologna)
- Pierre-Marie Pédrot (PPS/PiR2, INRIA Paris-Rocquencourt)
- Gordon Plotkin (Edinburgh)
- Matthias Puech (INRIA / U. Bologna / U. Paris Diderot)
- Myriam Quatrini (IML, Marseille)
- Laurent Regnier (IML, Marseille)
- Maria Rengo (Roma Tre, Italy)
- Colin Riba (LIP - ENS de Lyon)
- Lionel Rieg (LIP, ENS de Lyon)
- Philip Scott (Dept. of Mathematics, U. Ottawa, Ottawa, Canada)
- Thomas Seiller (LAMA - Université de Savoie)
- Eugenia Sironi (IML)
- Marco Solieri (LIPN, Université Paris 13)
- Wouter Stekelenburg (Utrecht)
- Thomas Streicher (TU Darmstadt)
- Thanos Tsouanas (LIP, ENS Lyon)
- Benno van den Berg (University of Utrecht, the Netherlands)
- Jaap van Oosten (Utrecht)
- Lionel Vaux (IML, Marseille)
- Trevor Wares (Ottawa, Canada)
- Cai Wingfield (University of Bath, UK)
- Bruno Woltzenlogel Paleo (Originally from Piracicaba, Brazil (currently in Vienna, Austria))
- Fabio Zanasi (ILLC, Amsterdam)
Total: 79 participants registered.
This icon indicates students who received travel grants.