- LE STUDIUM
- Laboratoire Lorrain de Recherche en Informatique et ses Applications
- Laboratoire Spécification et Vérification [Cachan]
- Laboratoire d'Algorithmique Complexité et Logique
- Laboratoire d'Informatique Fondamentale d'Orléans
- Laboratoire d'Informatique de Grenoble
- Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
- Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon)