- LS2 Informatik
- Laboratoire Bordelais de Recherche en Informatique
- Laboratoire Lorrain de Recherche en Informatique et ses Applications
- Laboratoire Spécification et Vérification [Cachan]
- Laboratoire d'Informatique Gaspard-Monge
- Laboratoire d'Informatique de Grenoble
- Laboratoire d'Informatique de Paris-Nord
- Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon)