- LERO
- 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 Fondamentale d'Orléans
- 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 Probabilités et Modèles Aléatoires
- Laboratoire de l'Informatique du Parallélisme
- Laboratoire des Sciences du Numérique de Nantes
- Lancaster University
- Langages de programmation, types, compilation et preuves
- Lappeenranta University of Technology
- Lawrence Livermore National Laboratory
- Lehrstuhl für Informatik 7
- Leibniz Universität Hannover=Leibniz University Hannover
- Leiden Institute of Advanced Computer Science [Leiden]
- Lero--University of Limerick
- Lewis & Clark College [Portland]
- Libera Università Internazionale degli Studi Sociali Guido Carli [Roma]
- Linnaeus University
- Logic, proof Theory and Programming
- London School of Economics and Political Science
- Los Alamos National Laboratory