Title: Laboratoire d'Informatique de l'Ecole Polytechnique (LIX)
Description: Recherche en algorithmique, sémantique, preuve et interprétation abstraite, algorithmique distribuée, architectures matérielles et logicielles pour la reconnaissance de formes. CNRS - UMR 7650.