logiciels, sur un sujet transverse à plusieurs équipes, via des moyens mutualisés.
La première instance est ..... d'exercices, le développement du logiciel CHOCO
soutenu par un grant Google et plusieurs fois lauréat ...... Grenoble), de
VERIMAG (Grenoble), du LIP6 (MoVe, Paris Ouest), du LIPN (LCR, Paris Nord),
de l'IRISA. 
