Page d'accueil du CNRS Page d'accueil de l'Université Paris Diderot Page d'accueil de Sciences En Marche Page d'accueil du LIAFA
Laboratoire d'Informatique Algorithmique: Fondements et Applications
CNRS UMR 7089, Université Paris Diderot - Paris 7, Case 7014
75205 Paris Cedex 13 - Tél: +33(0) - Fax: +33(0)
   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
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.

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 team 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


Algorithms and complexity seminar
Friday 04 December 2015 at 11:00-12-00, Tatiana Starikovskaia:
The k-mismatch problem revisited

Distributed algorithms and graphs seminar
Tuesday 01 December 2015 at 14h, M. Sozio:
Finding dense subgraphs and interesting events in
social networks

Automata seminar
Friday 04 December 2015 at 14:30, Olivier Carton:
Transfinite Lyndon words

Enumerative and analytic combinatorics seminar
Thursday 03 December 2015 at 10h30, Thimothy Budd, Jehanne Dousse,
Yves Bugeaud
Seminaire Flajolet Decembre

Verification seminar
Monday 30 November 2015 at 11:00, Mahsa Najafzadeh:
Program Co-design and Analysis in Replicated
 ©  LIAFA 1995, Last updating: 2015, November webmestre[at]