Logic and interaction (6 – 10 February)

Participants

  • Vito Michele Abrusci (Roma)
  • Matteo Acclavio (Rome Tre, Italy)
  • Hachemi Ait Hamou (Marseille)
  • Michele Alberti (IML)
  • Clément Aubert (Paris - LIPN - Université Paris 13)
  • Marc Bagnol (IML)
  • Michele Basaldella (Japan)
  • Emmanuel Beffara (IML, Marseille)
  • Valentin Blot (Lyon - LIP ENS)
  • Richard Blute (University of Ottawa)
  • Pierre Clairambault (Computer Laboratory, University of Cambridge)
  • Valerio Cruciani (Roma Tre, Italy)
  • Pierre Dagand (University of Strathclyde)
  • Ugo Dal Lago (Bologne, Italie)
  • Anupam Das (University of Bath)
  • Andrei Dorman (Paris)
  • Etienne Duchesne (LIPN, Paris 13)
  • Peter Dybjer (Chalmers University of Technology, Gothenburg, Sweden)
  • Claudia Faggian (PPS, Paris 7)
  • Francesca Romana Ferrante (RomaTre, Italy)
  • Marie-Renée Fleury (IML)
  • Christophe Fouqueré (Paris)
  • Olle Fredriksson (The University of Birmingham)
  • Dan Ghica (Birmingham)
  • Jean-Yves Girard (IML, Marseille)
  • Alexis Goyet (Paris, PPS)
  • Giulio Guerrieri (PPS Paris7)
  • Stefano Guerrini (Paris)
  • Mauricio Guillermo (Montevideo, Uruguay)
  • Naohiko Hoshino (Japan)
  • Martin Hyland (University of Cambridge)
  • Manuel Gustavo Isaac (HTL, Paris 7)
  • Shin-ya Katsumata (Research Institute for Mathematical Sciences, Kyoto University)
  • Olivier Laurent (LIP, ENS Lyon)
  • Ekaterina Lebedeva (Originally Tver, Russia; Currently Vienna, Austria and Nancy, France)
  • Alain Lecomte (Université Paris 8)
  • Pierre Livet (Université de Provence Aix)
  • Yoann Marquer (Paris)
  • Guy McCusker (Bath)
  • Jean-Baptiste Midez (IML)
  • Virgile Mogbil (LIPN Université Paris 13)
  • Raja Natarajan (Tata Institute of Fundamental Research, Mumbai, India)
  • Pierre-Marie Pédrot (PPS/PiR2, INRIA Paris-Rocquencourt)
  • Giulio Pellitta (Bologna)
  • Matthieu Perrinel (Lyon)
  • Barbara Petit (Bologna)
  • Paolo Pistone (Roma)
  • Myriam Quatrini (IML, Marseille)
  • Revantha Ramanayake (LIX, Ecole Polytechnique, 91128 Palaiseau Cedex, France)
  • Kurt Ranalter (SIAG Bolzano/Bozen)
  • Laurent Regnier (IML, Marseille)
  • Maria Rengo (Roma Tre, Italy)
  • Christian Rétoré
  • Colin Riba (LIP - ENS de Lyon)
  • Lionel Rieg (LIP, ENS de Lyon)
  • Thomas Seiller (LAMA - Université de Savoie)
  • Eugenia Sironi (IML)
  • Marco Solieri (LIPN, Université Paris 13)
  • Thanos Tsouanas (LIP, ENS Lyon)
  • 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))

Total: 63 participants registered.

This icon indicates students who received travel grants.