LIAFA (Laboratoire d'Informatique Algorithmique: Fondements et Applications) is one of the two research institutes in computer science of the University Paris Diderot - Paris 7 linked to CNRS (French National Center for Scientific Research). Research at LIAFA is divided into five main areas Algorithms and complexity Automata and applications Combinatorics Distributed algorithms and graphs Modeling and verification