List of (registered) participants

Prénom Nom Adresse mail
Florian Angeletti Inria
Edwin Ansari NL
Daniel Augot Inria
Bruno Bernardo NL
Yves Bertot Inria
Marc Beunardeau NL
Vincent Botbol NL
Mehdi Bouaziz NL
Benjamin Canou NL
Vincent Cheval Inria
Guillaume Claret NL
Sylvain Conchon Inria & NL
Julien Coolen NL
Zaynah Dargaye NL
Germán Andrés Delbianco NL
Louise Dubois de Prisque Inria
Victor Dumitrescu NL
Afrah Fadili NL
Yannick Forster Inria
Aymeric Fromherz Inria
Benjamin Gregoire Inria
Pierre Giraud Inria
Alain Girault Inria
Stéphane Glondu Inria
Georges Gonthier Inria
Gérard Huet Inria
Hamza Jaafar
Guilhem Jaber Inria
Daniel Jean NL
Jacques-Henri Jourdan CNRS
Chantal Keller UPS
Antonio Locascio NL
Michel Mauny NL
Glen Mével Inria
Benoît Montagu Inria
Guillaume Munch Inria
Charles Nguyen NL
Sathya Peri Autre
Francois Pottier Inria
Raphaël Proust NL
Yann Regis-Gianas NL
Gabriel Radanne Inria
Antonin Reitz Inria
Boubacar Sall NL
Gabriel Scherer Inria
Benjamin Smith Inria
François Thiré NL
Pierre Vial Inria
Théo Zimmermann Inria
Nicolas Tabareau Inria