- Laboratoire Spécification et Vérification [Cachan]
- Laboratoire Traitement et Communication de l'Information
- Laboratoire d'Informatique Gaspard-Monge
- Laboratoire d'informatique Algorithmique : Fondements et Applications
- Laboratoire d'informatique Fondamentale de Marseille - UMR 6166
- Laboratoire d'informatique de l'école normale supérieure