- Laboratoire Bordelais de Recherche en Informatique
- Laboratoire Cogitamus = Cogitamus Laboratory
- Laboratoire d'Algorithmique Complexité et Logique
- Laboratoire de l'Informatique du Parallélisme
- Laboratoire des Sciences du Numérique de Nantes
- Laboratoire de Sûreté et de sécurité des Logiciels
- Laboratoire d'informatique de l'École polytechnique [Palaiseau]
- Laboratoire d'Informatique de Paris-Nord