Utilisateur:Yann.regis-gianas/Brouillon

L'IRIF est l'Institut de Recherche en Informatique Fondatementale. C'est une unité mixte de recherche entre le CNRS et l'Université de Paris.

Présentation

L'IRIF est une unité mixte de recherche (UMR 8243) entre le CNRS et l'université Paris-Diderot, qui héberge deux équipes-projets INRIA.

Les recherches menées à l'IRIF reposent sur l’étude et la compréhension des fondements de toute l’informatique, afin d’apporter des solutions innovantes aux défis actuels et futurs des sciences numériques.

IRIF

Logo de Yann.regis-gianas/Brouillon

Histoire

Fondation	2018

Cadre

Code	UMR 8243
Domaine d'activité	Informatique
Campus	Université Paris Diderot
Siège	Paris
Pays	France

Organisation

Effectif	Environ 200 (enseignants-chercheurs, chercheurs et doctorants)
Direction	Frédéric Magniez
Affiliation	Université de Paris et CNRS

Histoire

Le LITP a été créé en 1972 par Maurice Nivat, Louis Nolin et Marcel-Paul Schützenberger. Ce laboratoire associé au CNRS avait pour ambition de participer à la construction de l’Informatique Théorique.

Les origines : le LITP de Jussieu

Maurice Nivat et Jacques Arsac / ? (1975-1976)

Maurice Nivat / Bernard Robinet (1981-1985)

Jean Berstel / ? (1985 - 1986)

Jacques Sakarovitch / ? (1986 - 1987)

Dominique Perrin / Irène Guessarian (1987-1988)

Jean-Eric Pin / ? (1994-1997)

Le LITP à Paris 7 : le LIAFA puis PPS

Directeurs du LIAFA (Créé en 1995) puis de l'IRIF

Daniel Krob / ? (1997-2002)

Jean-Eric Pin / Ahmed Bouajjani et Anca Muscholl (2003–2008)

Michel Habib

Pierre Fraigniaud / Valérie Berthé

L’IRIF : La fusion du LIAFA et PPS

Pierre Fraigniaud / Thomas Ehrhard (2016-2018)

Frédéric Magniez / Giuseppe Castagna (2018-...)

Pôles thématiques

• Pôle Algorithmes et structures discrètes
  • Algorithmes et complexité
  • Combinatoire
  • Systèmes complexes, réseaux, calcul distribué
  • Théorie et algorithmique des graphes
• Pôle Automates, structures et vérification
  • Automates et applications
  • Modélisation et vérification
• Pôle Preuves, programmes et systèmes
  • Algèbre et calcul
  • Analyse et conception de systèmes
  • Preuves et programmes

Références

Site web IRIF

Liens externes

• Gérer mon brouillon
• Demander une relecture (voir les demandes)
• Publier mon brouillon

Cette page est un brouillon appartenant à Yann.regis-gianas

Conseils de rédaction

• → N'hésitez pas à publier sur le brouillon un texte inachevé et à le modifier autant que vous le souhaitez.
• → Pour enregistrer vos modifications au brouillon, il est nécessaire de cliquer sur le bouton bleu : « Publier les modifications ». Il n'y a pas d'enregistrement automatique.

Si votre but est de publier un nouvel article, votre brouillon doit respecter les points suivants :

• Respectez le droit d'auteur en créant un texte spécialement pour Wikipédia en français (pas de copier-coller venu d'ailleurs).
• Indiquez les éléments démontrant la notoriété du sujet (aide).
• Liez chaque fait présenté à une source de qualité (quelles sources  – comment les insérer).
• Utilisez un ton neutre, qui ne soit ni orienté ni publicitaire (aide).
• Veillez également à structurer votre article, de manière à ce qu'il soit conforme aux autres pages de l'encyclopédie (structurer – mettre en page).

• → Si ces points sont respectés, pour transformer votre brouillon en article, utilisez le bouton « publier le brouillon » en haut à droite. Votre brouillon sera alors transféré dans l'espace encyclopédique.