Membres de PPS : connectez-vous
Laboratoire
Preuves, Programmes et Systèmes
CNRS UMR 7126
Journées PPS à Trouville, septembre 2011
Membres associés
| Bureau | Téléphone 01 57 2+ | ||
|---|---|---|---|
| Chantal BERLINE | Chargée de Recherche, CNRS | 5A43 | 79250 |
| Albert BURRONI | 5A35 | 79248 | |
| Eric GOUBAULT | Ingénieur des Mines, CEA | ||
| Jean-Louis KRIVINE | Professeur émérite, Université Paris Diderot, UFR de mathématique | 5A31 | 79239 |
Site réalisé avec Ocsigen, Eliom, Ocsimore, Ocaml et Ocamlduce.