Laboratoire de Recherche en Informatique