- Laboratoire Lorrain de Recherche en Informatique et ses Applications
- Laboratoire Spécification et Vérification [Cachan]
- Laboratoire d'Analyse, Topologie, Probabilités
- Laboratoire d'Informatique Gaspard-Monge
- Laboratoire d'Informatique de Paris-Nord
- Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier