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


Lauren Williams06/03/2014 - Lauren Williams (University of California, Berkeley) has obtained a junior chair from FSMP
Lauren Williams, which is Associate Professor of Mathematics at the University of California-Berkeley, has won a junior chair from Fondation Sciences Mathématiques de Paris and will spend the year 2014-2015 in the Combinatorics team of LIAFA.

Jean-Éric Pin06/03/2014 - Jean-Éric Pin becomes an EATCS fellow
Jean-Éric Pin which is Director of Research in the Automata and Application team of LIAFA is among the first recipient of an EATCS fellowship for his outstanding contributions to the algebraic theory of automata and languages in connection with logic, topology, and combinatorics and service to the European TCS community.

PCQC01/01/2014 - Creation of the Federation Paris Centre for Quantum Computing PCQC
The Paris Centre for Quantum Computing (PCQC) brings together computer scientists, theoretical & experimental physicists and mathematicians that work in Paris. PCQC aspires to break the ground for the establishment of new and realistic applications in quantum information processing by uniquely combining concepts from quantum computation, communication and cryptography and eventually lead the way from a Personal Computer (PC) to a Quantum Computer (QC).

UPD01/01/2014 - Creation of the Federation in Theoretical Computer Science of Paris Diderot
The TCS federation of Paris Diderot gathers together the two CNRS labs in Computer Science at the university : LIAFA and PPS. Its main objective is to promote scientific interactions between the two labs, and, more generally, to bringing the two labs closer for preparing their merging on January 1st, 2016. Website:

Algopol17/12/2013 - Launching of the application Algopol, investigation on online sociability
In the context of the french ANR Project Algorpol (involving Cams, LIAFA, Orange Labs, Linkfluence), a large investigation on online sociability has been launched under the form of a Facebook application which has been developed by Stéphane Raux, PhD student at LIAFA/Linkfluence, and designed together with Irène Bastard, PhD Student in Sociology at Orange Labs.

CNRS30/10/2013 - Invited talk by Frédéric Magniez at the CNRS forum "Les Fondamentales"
From November 14 - 16 2013, the CNRS is organizing a forum at the Sorbonne entitled "Les Fondamentales" whose objective is to share the meaning and reach of its research. The central theme of this meeting involving researchers from various areas is the question of "What remains to be discovered?" During this forum, Frédéric Magniez, member of the LIAFA, will give a talk along with the physicist Philippe Grangier about "The challenges of quantum computers". The talk will take place on November 15 2013 from 3:40PM to 4:40PM in the Amphithéâtre Liard at the Sorbonne.

Ahmed Bouajjani04/07/2013 - Ahmed Bouajjani nominated senior member of the prestigious Institut Universitaire de France (IUF)
Ahmed Bouajjani, professor of computer science at the University Paris Diderot and LIAFA member, has been nominated senior member at the prestigious Institut Universitaire de France (IUF). This nomination is a gratitude of his scientific contributions to the theory of the verification of sequential or concurrent programs.

Anna Pappa20/06/2013 - Anna Pappa received a 2013 Google Anita Borg Memorial Scholarship
Anna Pappa, doctoral student jointly supervised by Iordanis Kerenidis (LIAFA) and Eleni Diamanti (Télécom), received a 2013 Google Anita Borg Memorial Scholarship

Valérie Berthé31/03/2013 - Valérie Berthé awarded Legion of Honor
Valérie Berthé was inducted into the Legion of Honor during the Easter 2013 campaign.

Sophie Germain building13/03/2013 - Journées d'Informatique Fondamentale de Paris Diderot
To inaugurate the new premises, the computer science departments of the Université Paris Diderot - Paris 7, LIAFA and PPS, organise a series of talks from April 22 to 26, 2013. A ceremony for the awarding of Palmes Académiques to Maurice Nivat will take place on Wednesday, April 24, at 18:00, preceded by a special session dedicated to the CNRS silver medal of Pierre Fraigniaud.

More news


Distributed algorithms and graphs seminar
Tuesday 29 April 2014 at 14h, Ha Duong Phan:
Ha Duong Phan
 ©  LIAFA 1995, Last updating: 2014, March webmestre[at]