Page d'accueil du CNRS Page d'accueil de l'Université Paris Diderot Page d'accueil du LIAFA
LIAFA
Laboratoire d'Informatique Algorithmique: Fondements et Applications
CNRS et Université Paris Diderot
UMR 7089
   Annuaire      Contact      Accès au LIAFA      UFR d'informatique      Webmail   


English version




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
Bienvenue au LIAFA

Le Laboratoire d'Informatique Algorithmique: Fondements et Applications (LIAFA) est une unité mixte de recherche (UMR 7089) du Centre National de la Recherche Scientifique (CNRS) et de l'Université Paris Diderot - Paris 7.
Le LIAFA a fusionné avec le laboratoire PPS au 1er janvier 2016 pour former l'Institut de Recherche en Informatique Fondamentale (IRIF).

Les principales thématiques de recherche du LIAFA ont trait à l'informatique fondamentale. Elles se déclinent autour de cinq équipes de recherche: Algorithmes et complexité, Algorithmique distribuée et graphes, Automates et applications, Combinatoire, et Modélisation et vérification.

En savoir plus


Actualités


Constantin Enea16/10/2015 - Constantin Enea lauréat de l'ERC Starting Grant 2015
Grâce à son projet "FOVEDIS", Constantin Enea, de l'équipe Modélisation et vérification du LIAFA, s'est vu attribuer la bourse ERC Starting Grant 2015...

Zvi Lotker15/10/2015 - Zvi Lotker (Ben Gurion University) a obtenu une chaire junior de la FSMP
Zvi Lotker, professeur au Department of Communication Systems Engineering de Ben Gurion University a obtenu une chaire junior de la Fondation Sciences Mathématiques de Paris et passera ainsi l'année 2015-2016 au sein des équipes Algorithmes et Complexité, et Algorithmique Distribuée et Graphes du LIAFA.
http://www.sciencesmaths-paris.fr/fr/chaire-junior-43.htm.

World diameter12/10/2015 - L'équipe Algorithmique distribuée et graphes calcule le diamètre du réseau routier mondial
Calculer les deux points plus éloignés dans un graphe est un problème quadratique en général, mais les techniques développées dans l'équipe ont permis de calculer celui du graphe du réseau routier mondial, obtenant ainsi le plus long trajet du monde... (Carte sur http://gang.inria.fr/road).

Mai Gehrke01/09/2015 - Mai Gehrke lauréate de l'ERC Advanced Grant 2015
Le projet DuaLL concerne la dualité entre les languages formels et la logique, en adoptant une approche unifiée de la complexité et de la sémantique. Les dualités entre les structures algébriques et topologiques sont très courantes dans les mathématiques et le passage entre elles a été souvent associé à des percées importantes. L'objectif principal de ce projet est d'amener ces dualités topo-algébriques à porter sur un certain nombre de sujets en informatique théorique en les faisant ainsi évoluer, systématiser et unifier. (Extrait du site du CNRS)

Amos Korman01/07/2015 - Amos Korman lauréat de l'ERC Consolidated Grant 2015
Le projet interdisciplinaire Distributed Biological Algorithms (DBA) vise à démontrer l'utilité de point de vue algorithmique distribuée dans la compréhension des systèmes biologiques complexes. L'accent est mis sur le domaine de la biologie du comportement animal collectif. Le projet propose de nouvelles méthodologies pour combiner les résultats algorithmiques théoriques avec les mesures expérimentales des paramètres biologiques. (Extrait du site du CNRS)

Le Monde17/04/2015 - Les premiers résultats de l'enquête Algopol cités par Le Monde
Une enquête sur les usages de Facebook réalisée dans le cadre du projet ANR Algopol, dont le Liafa est partenaire, regroupant sociologues et informaticiens. Les premiers résultats mettent en évidence trois grands profils d'utilisateurs. Liens: l'article du Monde, premiers résultats.

Combinatoire à Paris12/01/2015 - Un trimestre de combinatoire à l'IHP!
L'IHP vient d'annoncer l'acceptation d'un trimestre de combinatoire pour 2017 de Janvier à Mars. Ce trimestre s'intitulera:
Combinatoire et interactions: à l'interface entre physique mathématique, théorie des représentations et probabilités.
Ce trimestre est organisé par Marie Albenque (CNRS LIX), Gaetan Borot (Bonn), Guillaume Chapuy (CNRS LIAFA), Valentin Feray (Zurich)

Big Data18/12/2014 - École d'hiver "Big Data"
École d'hiver "Big Data" organisée du 19 au 23 janvier 2015 à l'École Normale Supérieure de Lyon par Nicolas Schabanel. Site web: http://www.liafa.univ-paris-diderot.fr/~nschaban/MSC/2014-2015/ER/index.html, inscription: http://www.ens-lyon.fr/DI/?p=3312

Prize for Innovation in Distributed Computing07/10/2014 - Pierre Fraigniaud reçoit le Prix pour l'Innovation en Informatique Distribuée (SIROCCO award) 2014
Lors de la conférence SIROCCO 2014 (International Colloquium on Structural Information and Communication Complexity), Pierre Fraigniaud, directeur de recherche au CNRS, a reçu le Prix pour l'Innovation en Informatique Distribuée (aussi connu sous le nom de SIROCCO award) pour sa contribution dans la compréhension du routage dans les réseaux sociaux.

Journal of Combinatorial Theory29/09/2014 - Sylvie Corteel est Editrice en Chef du Journal of Combinatorial Theory Series A
Sylvie Corteel, directrice de recherche au CNRS, est devenue Editrice en Chef de Journal of Combinatorial Theory Series A.

Plus d'actualités



A venir

Séminaire Automates
Vendredi 19 Février 2016 à 14:30, Svetlana Puzynina:
Svetlana Puzynina

Séminaire Combinatoire énumérative et analytique
Jeudi 18 Février 2016 à 11h30, Valentin Bonzom:
Bonzom

Séminaire Vérification
Lundi 22 Février 2016 à 11:00, Pierre Fraignaud:
Fault-Tolerant Decentralized Runtime Monitoring
 
 ©  LIAFA 1995, dernière mise à jour: Janvier 2016 webmestre[at]liafa.univ-paris-diderot.fr