Participants

Preuves, Programmes, Systèmes

Pierre Clairambault, doctorant Pierre-Louis Curien, DR Marc de Falco, post-doc Mehdi Dogguy, doctorant Thomas Ehrhard, DR Claudia Faggian, CR Stéphane Gimenez, doctorant Russel Harmer, CR Sylvain Lebresne, doctorant Paul-André Melliès, CR Samuel Mimram, doctorant Michele Pagani, post-doc Nicolas Tabareau, doctorant Christine Tasson, post-doc Paolo Tranquilli, doctorant (Paris - Rome) Daniele Varacca, MdC Stéphane Zimmermann, doctorant

Institut de Mathématiques de Luminy

Emmanuel Beffara, MdC Étienne Duchesne, doctorant Laurent Regnier, professeur Thomas Seiller, doctorant Lionel Vaux, MdC

Laboratoire de Mathématiques de l'Université de Savoie

Florian Hatat, doctorant Tom Hirschowitz, CR Pierre Hyvernat, MdC

Laboratoire d'Informatique Fondamentale de Marseille

Walid Belkhir, doctorant Rémi Morin, professeur Luigi Santocanale, MdC

Laboratoire de l'Informatique du Parallélisme

Patrick Baillot, CR Romain Demangeon, doctorant Daniel Hirschkoff, MdC Olivier Laurent, CR Alexandre Miquel, MdC Aurélien Pardon, doctorant Barbara Petit, doctorante Damien Pous, CR (LIG, Grenoble) Colin Riba, ATER Davide Sangiorgi, professeur (Bologne)

Laboratoire d'Informatique de Paris Nord

Pierre Boudes, MdC Damiano Mazza, CR