- 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'Algorithmique Complexité et Logique
- Laboratoire d'Informatique Gaspard-Monge
- Laboratoire d'Informatique de Grenoble
- Laboratoire d'Informatique de Paris-Nord
- Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
- Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision
- Laboratoire d'informatique de l'École polytechnique [Palaiseau]
- Laboratoire de l'Informatique du Parallélisme
- Lehrstuhl für Informatik 7
- Leiden Institute of Advanced Computer Science [Leiden]
- Linnaeus University
- Logic, proof Theory and Programming