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 UMR 7089, Université Paris Diderot - Paris 7, Case 7014
75205 Paris Cedex 13 - Tél: +33(0)1.57.27.92.56 - Fax: +33(0)1.57.27.94.09
   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
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.

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


Jean Mairesse01/09/2014 - Nomination de Jean Mairesse en tant que Directeur Adjoint Scientifique à l'INS2I
Jean Mairesse, directeur de recherche au CNRS, a été nommé au 1er septembre 2014 directeur adjoint scientifique de l'INS2I, en charge du domaine "Informatique".

Futur en Seine15/06/2014 - L'application Algopol reçoit le premier prix de la recherche collaborative à Futur en Seine
Le 15 Juin 2014, l'application Algopol, réalisée par Stéphane Raux, doctorant LIAFA / Linkfluence, et conçue avec Irène Bastard, doctorante en sociologie à Orange Labs, dans le cadre du projet ANR Algopol (Cams, LIAFA, Orange Labs, Linkfluence), pour étudier les usages de Facebook, a reçu le prix "Or" de la recherche collaborative au festival Futur en Seine organisé par Cap Digital.

Lauren Williams06/03/2014 - Lauren Williams (University of California, Berkeley) a obtenu une chaire junior de la FSMP
Lauren Williams qui est Professeur Associée de Mathématiques à l'Université de Californie-Berkeley a obtenu une chaire junior de la Fondation Sciences Mathématiques de Paris et passera ainsi l'année 2014-2015 au sein de l'équipe Combinatoire du LIAFA.

Jean-Éric Pin06/03/2014 - Jean-Éric Pin devient un "EATCS fellow"
Jean-Éric Pin qui est Directeur de Recherche dans l'équipe Automates et Application du LIAFA fait partie des premiers receveurs d'un 'EATCS fellowship' pour ses contributions remarquables en théorie algébrique des automates et des langages en rapport avec la logique, la topologie et la combinatoire ainsi que pour ses services rendus à la communauté européenne de l'informatique théorique.

PCQC01/01/2014 - Création de la Fédération Paris Centre for Quantum Computing PCQC
Le Paris Centre for Quantum Computing regroupe des chercheurs en Informatique, en Physique théorique et expérimentale, ainsi qu'en Mathématiques, travaillant à Paris. PCQC aspire à ouvrir la voie à la création de nouvelles applications réalistes dans le traitement de l'information quantique en combinant les concepts du calcul quantique, de la complexité des communications, et de la cryptographie, afin de promouvoir la transition entre l'ordinateur personnel (PC) et l'ordinateur quantique (QC).

UPD01/01/2014 - Création de la Fédération d'Informatique Fondamentale de Paris Diderot
La fédération regroupe les deux UMR CNRS en informatique de l'université : LIAFA et PPS. Son principal objectif est de promouvoir les interactions scientifiques entre les deux laboratoires, et, plus généralement, de rapprocher ces deux UMR en vue d'une fusion au 1er janvier 2016. Site web: http://www.fifp.univ-paris-diderot.fr

Plus d'actualités



A venir

Séminaire Algorithmes et complexité
Mardi 30 Septembre 2014 à 10:45, Amos Korman:
Confidence sharing: an economic strategy for
efficient information flows in animal groups [room
1007]

Séminaire Combinatoire énumérative et analytique
Jeudi 25 Septembre 2014 à 11h30, Olya Mandelshtam:
A Determinantal Formula for Catalan Tableaux and
TASEP Probabilities

Séminaire Vérification
Mardi 23 Septembre 2014 à 11:00, Yu-Fang Chen:
Verifying Recursive Programs using Intraprocedural
Analyzers

Soutenance de thèse
Lundi 22 Septembre 2014 à 14h30, Laure Daviaud:
Comportements asymptotiques des automates max-plus
et min-plus
 
 ©  LIAFA 1995, dernière mise à jour: Septembre 2014 webmestre[at]liafa.univ-paris-diderot.fr