Participants

Le projet ANR Récré est localisé sur quatre sites: Lyon, Paris, Marseille et Chambéry. Ses membres et sympathisants se recontrent à un rythme mensuel, notamment au sein du séminaire Chocola organisé à l'ENS de Lyon.

Lyon (site coordinateur)

Laboratoire de l'Informatique du Parallélisme (LIP), ENS de Lyon

Paris

Laboratoire: Preuves, Programmes et Systèmes (PPS), Université Paris-Diderot

Equipe Pi.r2, INRIA Paris-Rocquencourt

Marseille

Institut de Mathématiques de Luminy (IML), Université Aix-Marseille II

Chambéry

Laboratoire de Mathématiques (LAMA), Université de Savoie