TypiCal

• The PI.R2 team:
  • Hugo Herbelin [PPS - INRIA Rocquencourt]
  • Vincent Silès [ENS]
  • Elie Soubiran [LIX]
  • Danko Ilik [LIX]
• The Proval team :
  • Jean-Christophe Filliâtre [LRI - Paris 11]
  • Claude Marché [INRIA Saclay]
  • Christine Paulin-Mohring [LRI - Paris 11]
  • Julien Signoles [LRI - Paris 11]
  • Evelyne Contejean [LRI - Paris 11]
• Areski Nait Abdallah [University of Western Ontario - CANADA]
• Frédéric Blanqui [INRIA Beijing]
• Samuel Boutin [Renault - FRANCE]
• Jacek Chrzaszcz [Warsaw University - POLAND]
• Pierre Corbineau [LRI]
• Cristina Cornes [Fac. Ingeniería - URUGUAY]
• Judicaël Courant [ENS Lyon]
• Pierre Courtieu [CNAM Paris]
• Denis Cousineau [LIX]
• David Delahaye [CNAM Paris]
• Olivier Desmettre
• Eduardo Giménez [Trusted Logic]
• Benjamin Grégoire [INRIA Sophia Antipolis]
• Jean-Pierre Jouannaud [INRIA Beijing]
• Antoine Kremer [LRI - Paris 11]
• Henri Laulhère [INRIA Rocquencourt]
• Pierre Letouzey [PPS - Paris 7]
• Patrick Loiseleur [BNP Paribas]
• Micaela Mayero [Chalmers University - SWEDEN]
• Valérie Ménissier-Morain [LIP6 - Paris 6]
• Alexandre Miquel [PPS - Paris 7]
• César Muñoz [NIA - USA]
• Frédéric Prost [Leibniz - IMAG]
• Daniel de Rauglaudre [INRIA Rocquencourt]
• Claudio Sacerdoti Coen [University of Bologna]
• Amokrane Saïbi
• Xavier Urbain [LRI - Paris 11]
• Stéphane Vaillant [INRIA Futurs]
• Daria Walukiewicz [Warsaw University - POLAND]
• Weiwen Xu
• Olivier Hermant [Warsaw University - POLAND]
• Mircea-Dan Hernest
• Florent Kirchner
• Julien Narboux [University of Strasbourg]
• Maël Primet
• Clément Renard
• François-Régis Sinot [ENS Cachan]
• Nicolas Oury
• Yevgeniy Makarov
• Geysik Lee [AIST, Japan]
• Sylvain Lebresne [Purdue University]
• Pierre-Yves Strub [Tsinghua University - LIAMA]
• Roland Zumkeller [Pittsburg University]
• Lisa Allali [Région Ile de France]
• Mathieu Boespflug [LIX]

Warning:The mail references of this page have been protected against spam by adding _NS after the alias and before the @ character. Please remove this sequence if you use your browser mailer to contact us.