Page d'accueil du CNRS Page d'accueil de l'Université Paris Diderot Page d'accueil du LIAFA
Laboratoire d'Informatique Algorithmique: Fondements et Applications
CNRS et Université Paris Diderot
UMR 7089
   Staff      Contact      How to get to LIAFA      Teaching      Webmail   

Version française

Page d'accueil de la Fédération de Recherche en Mathématiques de Paris Centre

Page d'accueil de la Fondation Sciences Mathématiques de Paris

Page d'accueil de Sciences En Marche
Welcome to LIAFA

The LIAFA (Laboratoire d'Informatique Algorithmique: Fondements et Applications) is supported jointly by the French National Center for Scientific Research (CNRS) and by the University Paris Diderot - Paris 7.
On January 1st, 2016, LIAFA has merged with PPS to create IRIF: Institut de Recherche en Informatique Fondamentale.

The main research topics addressed by LIAFA are related to theoretical computer science. They are tackled by the following five research teams of LIAFA: Algorithms and complexity, Automata and applications, Combinatorics, Distributed algorithms and graphs, and Modeling and verification.

More details


Constantin Enea16/10/2015 - Constantin Enea awarded ERC Starting Grant 2015
With his "FOVEDIS" project, Constantin Enea, Modeling and verification team of LIAFA, was awarded the ERC Starting Grant 2015 scholarship...

Zvi Lotker15/10/2015 - Zvi Lotker (Ben Gurion University) has obtained a junior chair from FSMP
Zvi Lotker, which is professor of Department of Communication Systems Engineering at the Ben Gurion University, has won a junior chair from Fondation Sciences Mathématiques de Paris and will spend the year 2015-2016 in the Algorithms et Complexity, and Distributed Algorithms and Graphs teams of LIAFA.

World diameter12/10/2015 - The diameter or the worldwide road network computed by the Distributed algorithms and graphs team
Computing the two points that are furthest apart one from another is quadratic in general. However the techniques developped in the team have enabled the computation of the longest road trip in the world... (Map at

Mai Gehrke01/09/2015 - Mai Gehrke awarded ERC Advanced Grant 2015
The project DuaLL is about duality in Formal Languages and Logic, adopting a unifying approach to complexity and semantics. Dualities between algebraic and topological structure are pervasive in mathematics, and toggling back and forth between them has often been associated with important breakthroughs. The main objective of this project is to bring such topo-algebraic dualities to bear on a number of subjects in theoretical computer science thereby advancing, systematizing, and unifying them. (Translated from the CNRS website)

Amos Korman01/07/2015 - Amos Korman awarded ERC Consolidated Grant 2015
The interdisciplinary project Distributed Biological Algorithms (DBA) aims at demonstrating the usefulness of a distributed algorithmic perspective in understanding complex biological systems. The focus is on the biology domain of collective animal behaviour. The project suggests new methodologies for combining theoretical algorithmic results with experimental measurements of biological parameters. (Translated from the CNRS website)

Le Monde17/04/2015 - The first results of the investigation Algopol quoted by Le Monde
An investigation on the uses of Facebook realized in the ANR project Algopol whose Liafa is a partner, bringing together sociologists and computer scientists. The first results show three user profiles. Links: Le Monde newspaper article, first results.

Combinatoire à Paris12/01/2015 - A trimester dedicated to combinatorics at IHP!
IHP just announced the acceptance of a trimester dedicated to combinatorics for the year 2017 (from January to March).
This thimester will have the following title:
Combinatorics and interactions: at the interface between physics and mathematics, theory of representations and probabilities.
It will be organized by Marie Albenque (CNRS LIX), Gaetan Borot (Bonn), Guillaume Chapuy (CNRS LIAFA), Valentin Feray (Zurich)

Big Data18/12/2014 - Winter school "Big Data"
Winter school "Big Data" organized from 19 to 23 January 2015 at École Normale Supérieure de Lyon by Nicolas Schabanel. Website:, registration:

Prize for Innovation in Distributed Computing07/10/2014 - Pierre Fraigniaud is awarded the Prize for Innovation in Distributed Computing (SIROCCO award) 2014
During the conference SIROCCO 2014 (International Colloquium on Structural Information and Communication Complexity), Pierre Fraigniaud, Senior Researcher at CNRS, was awarded the Prize for Innovation in Distributed Computing (aka SIROCCO award) for his contribution to the understanding of routing in social networks.

Journal of Combinatorial Theory29/09/2014 - Sylvie Corteel is Editor in Chief of the Journal of Combinatorial Theory Series A
Sylvie Corteel, Senior Researcher at CNRS, becomes Editor in Chief of the Journal of Combinatorial Theory Series A.

More news


Distributed algorithms and graphs seminar
Tuesday 09 February 2016 at 14h, Thomas Perrett:
Roots of the chromatic polynomial, spanning trees
and minors

Automata seminar
Friday 05 February 2016 at 14:00, Vincent Jugé:
Soutenance de thèse de Vincent Jugé (Salle des
thèses, Halle aux Farines 580F)

Enumerative and analytic combinatorics seminar
Thursday 11 February 2016 at 11h30, Elie de Panafieu:
Énumération des graphes connexes par la
combinatoire analytique

PhD defense
Friday 05 February 2016 at 14h, Vincent Jugé:
Combinatoire des tresses
 ©  LIAFA 1995, Last updating: 2016, January webmestre[at]