INRIA Rennes - Bretagne Atlantique - équipe-projet Celtique

INRIA Paris - Rocquencourt - équipe-projet Gallium

INRIA Grenoble - Rhône-Alpes - équipe-projet Pop Art

École Normale Supérieure - équipe-projet Interprétation Abstraite et Sémantique