- LANGAGE ET GÉNIE LOGICIEL
- Lab for Automated Reasoning and Analysis
- Laboratoire Franco-Chinois d'Informatique, d'Automatique et de Mathématiques Appliquées
- Laboratoire Jean Kuntzmann
- Laboratoire Lorrain de Recherche en Informatique et ses Applications
- Laboratoire Traitement et Communication de l'Information
- Laboratoire d'Informatique de Grenoble
- Laboratoire d'Informatique de Nantes Atlantique
- Laboratoire d'Informatique de Paris 6
- Laboratoire d'Informatique de Paris-Nord
- Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon)
- Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
- Laboratoire d'Intégration des Systèmes et des Technologies
- Laboratoire d'informatique Algorithmique : Fondements et Applications
- Laboratoire d'informatique Fondamentale de Marseille - UMR 6166
- Laboratoire d'informatique de l'École polytechnique [Palaiseau]
- Laboratoire de Recherche et de Développement de l'EPITA
- Laboratoire des Sciences du Numérique de Nantes
- Laboratorio CINI-ITEM Carlo Savy
- Laboratory for Reliable Software
- Logic and Security Laboratory, Department of Computer Engineering, Faculty of Engineering
- Logical Time for Formal Embedded System Design