- LANGAGE ET GÉNIE LOGICIEL
- LE STUDIUM
- LS2 Informatik
- Laboratoire Bordelais de Recherche en Informatique
- Laboratoire Cogitamus = Cogitamus Laboratory
- 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 Fondamentale d'Orléans
- Laboratoire d'Informatique Gaspard-Monge
- Laboratoire d'Informatique de Grenoble
- Laboratoire d'Informatique de Paris-Nord
- Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
- Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon)
- Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
- Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) | Equipe MC3
- Laboratoire d'analyse et d'architecture des systèmes
- Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision
- Laboratoire d'informatique Fondamentale de Marseille
- Laboratoire de Recherche en Informatique
- Laboratoire de l'Informatique du Parallélisme
- Laboratoire des Sciences du Numérique de Nantes
- Lehrstuhl für Informatik 7
- Leiden Institute of Advanced Computer Science [Leiden]
- Liverpool Hope University
- Logic, proof Theory and Programming
- Logical Time for Formal Embedded System Design
- Ludwig Maximilian University [Munich] = Ludwig Maximilians Universität München