Partenaires

De CeProMi.

Sommaire 1 Equipe INRIA ProVal, Saclay 2 Equipe DCS, Verimag, Grenoble 3 Equipe INRIA Gallium, Rocquencourt 4 Equipe INRIA Cassis, Besançon et Nancy 5 PPS et Université Paris 7

Equipe INRIA ProVal, Saclay

• Claude Marché
• Jean-Christophe Filliâtre
• Christine Paulin
• Wendi Urribarrí
• Johannes Kanig
• Romain Bardou

Equipe DCS, Verimag, Grenoble

• Sylvain Boulmé
• Marie-Laure Potet
• Pierre Corbineau

Equipe INRIA Gallium, Rocquencourt

• François Pottier
• Arthur Charguéraud

Equipe INRIA Cassis, Besançon et Nancy

• Alain Giorgetti
• Olga Kouchnarenko
• Christophe Ringeissen
• Kalou Cabrera-Castillos

PPS et Université Paris 7

• Yann Régis-Gianas
• Séverine Maingaud