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


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.

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
Tuesday 06 October 2015 at 11:00-12:00, Claire Mathieu:
Carpooling on social networks

Automata seminar
Friday 09 October 2015 at 14:30, Diego Figueira:
Synchronizing Relations on Words

Enumerative and analytic combinatorics seminar
Thursday 08 October 2015 at 10h30, Michele Soria, Frederic Chyzak
et Loic Foissy
Seminaire Flajolet

Verification seminar
Monday 05 October 2015 at 11:00, Gustavo Petri:
Cooking the Books: Formalizing JMM Implementation
 ©  LIAFA 1995, Last updating: 2015, September webmestre[at]