Laboratoire d'informatique algorithmique : fondements et applications
Cet article est une ébauche concernant l’informatique et une université.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
| Fondation | |
|---|---|
| Dissolution | |
| Successeur |
| Code |
UMR 7089 |
|---|---|
| Type | |
| Domaine d'activité | |
| Siège | |
| Pays |
| Effectif |
94[1] |
|---|---|
| Direction | |
| Organisations mères |
Institut des sciences de l'information et de leurs interactions (d) Université Paris-Diderot Centre national de la recherche scientifique |
| Affiliation | |
| Site web |
Le Laboratoire d'informatique algorithmique : fondements et applications (LIAFA), auparavant Laboratoire d'informatique théorique et programmation (LITP), est une ancienne unité mixte de recherche (UMR 7089) de l'université Paris Diderot et du Centre national de la recherche scientifique dont le premier directeur a été Daniel Krob et le dernier directeur était Pierre Fraigniaud.
Le laboratoire était une composante de la Fondation « Sciences mathématiques de Paris », créée en . En , le LIAFA et l'unité de recherche Preuves, Programmes et Systèmes ont fusionné pour former l'Institut de recherche en informatique fondamentale (IRIF)[2].
Thématiques
[modifier | modifier le code]Les principaux thèmes de recherche du laboratoire étaient axés autour des mathématiques et de l'informatique fondamentale. Ils regroupaient plusieurs domaines, tels que l'algorithmique, la combinatoire, la théorie des graphes, la théorie des automates, les évènements discrets, la théorie des jeux, la spécification et la vérification ou encore les algorithmes distribués.
Activité
[modifier | modifier le code]L'activité scientifique durant la période 2003-2007 de ce laboratoire en faisait l'un des principaux laboratoires d'informatique théorique en France, avec :
- 160 publications dans des revues d'audience internationale ;
- 186 publications dans des conférences d'audience internationale ;
- 11 chapitres d'ouvrages ;
- 40 doctorats soutenus ou en cours ;
- 4 habilitations à diriger des recherches (habilitation universitaire) soutenues.
En janvier 2014, le laboratoire comptait un effectif total de 60 permanents au sein de ses équipes[1]. Le laboratoire était représenté dans de très nombreux comités de programme de conférences internationales et de nombreux journaux scientifiques (Discrete Mathematics and Theoretical Computer Science, Fundamenta Informaticae, Informatique Théorique et Applications, International Journal of Algebra and Computation, Information Processing Letters, Journal of Automata, Languages and Combinatorics, Semigroup Forum, Theoretical Computer Science).
Voir aussi
[modifier | modifier le code]Bibliographie
[modifier | modifier le code]- Jean-Éric Pin, Laboratoire d'Informatique Algorithmique: Fondements et Applications, rapport d'activité, Paris, , 124 p. (lire en ligne)
- AÉRES, Laboratoire d'Informatique Algorithmique: Fondements et Applications, rapport du comité d'experts, , 10 p. (lire en ligne)
Notes et références
[modifier | modifier le code]- CNRS, « Description administrative de l'UMR 7089 », sur web-ast.dsi.cnrs.fr, (consulté le ).
- Le site De l'IRIF
Annexes
[modifier | modifier le code]Liens internes
[modifier | modifier le code]- Université Paris Diderot
- Informatique théorique
- Fédération de recherche en mathématiques de Paris centre
Liens externes
[modifier | modifier le code]
