1<!DOCTYPE html> 2<html xmlns="http://www.w3.org/1999/xhtml" lang="fr" dir="ltr" class="no-js"> 3<head> 4 <meta charset="UTF-8" /> 5 <title>Présentation</title> 6
6<script>(function(H){H.className=H.className.replace(/\bno-js\b/,'js')})(document.documentElement)</script>
6 7 <meta name="viewport" content="width=device-width,initial-scale=1" /> 8 <link rel="shortcut icon" href="https://www.irif.fr/_media/favicon.ico" /> 9<link rel="apple-touch-icon" href="https://www.irif.fr/_media/apple-touch-icon.png" /> 10<meta name="generator" content="DokuWiki"/> 11<meta name="robots" content="index,follow"/> 12<meta name="keywords" content="informations,presentation"/> 13<link rel="search" type="application/opensearchdescription+xml" href="https://www.irif.fr/lib/exe/opensearch.php" title=""/> 14<link rel="start" href="https://www.irif.fr/"/> 15<link rel="contents" href="https://www.irif.fr/informations/presentation?do=index" title="Plan du site"/> 16<link rel="manifest" href="https://www.irif.fr/lib/exe/manifest.php"/> 17<link rel="alternate" type="text/html" title="HTML brut" href="https://www.irif.fr/_export/xhtml/informations/presentation"/> 18<link rel="alternate" type="text/plain" title="Wiki balise" href="https://www.irif.fr/_export/raw/informations/presentation"/> 19<link rel="canonical" href="https://www.irif.fr/informations/presentation"/> 20<link rel="stylesheet" href="https://www.irif.fr/lib/exe/css.php?t=bootstrap3&tseed=f15a8de8d79f3444f241a6903ada1ef9"/> 21<link type="text/css" rel="stylesheet" href="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-fixedheader-dt/css/fixedHeader.dataTables.min.css"/> 22<link type="text/css" rel="stylesheet" href="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-fixedcolumns-dt/css/fixedColumns.dataTables.min.css"/> 23<link type="text/css" rel="stylesheet" href="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net/css/dataTables.bootstrap.min.css"/> 24<link type="text/css" rel="stylesheet" href="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-buttons/css/buttons.bootstrap.min.css"/> 25<link type="text/css" rel="stylesheet" href="https://www.irif.fr/lib/plugins/icons/assets/font-awesome/css/font-awesome.min.css"/> 26<link type="text/css" rel="stylesheet" href="https://www.irif.fr/lib/plugins/icons/assets/material-design-icons/css/materialdesignicons.min.css"/> 27<link rel="alternate" hreflang="en" href="https://www.irif.fr/en/informations/presentation"/> 28<link rel="alternate" hreflang="x-default" href="https://www.irif.fr/informations/presentation"/> 29<!--[if gte IE 9]><!-->
30<script >/*<![CDATA[*/var NS='informations';var JSINFO = {"plugin":{"datatables":{"config":{"dom":"lBfrtip","language":{"url":"https:\/\/www.irif.fr\/lib\/plugins\/datatables\/assets\/datatables.net-i18n\/fr-FR.json"}},"enableForAllTables":1}},"move_renameokay":false,"move_allowrename":false,"bootstrap3":{"mode":"show","toc":[],"config":{"collapsibleSections":0,"fixedTopNavbar":1,"showSemanticPopup":0,"sidebarOnNavbar":1,"tagsOnTop":1,"tocAffix":1,"tocCollapseOnScroll":1,"tocCollapsed":0,"tocLayout":"default","useAnchorJS":1,"useAlternativeToolbarIcons":1,"disableSearchSuggest":0}},"id":"informations:presentation","namespace":"informations","ACT":"show","useHeadingNavigation":1,"useHeadingContent":1}; 31/*!]]>*/</script>
vendor: 1 bytes, line 31
31
32<script src="https://www.irif.fr/lib/exe/jquery.php?tseed=f0349b609f9b91a485af8fd8ecd4aea4" defer="defer">/*<![CDATA[*/ 33/*!]]>*/</script>
vendor: 1 bytes, line 33
33
34<script src="https://www.irif.fr/lib/exe/js.php?t=bootstrap3&tseed=f15a8de8d79f3444f241a6903ada1ef9&lang=fr" defer="defer">/*<![CDATA[*/ 35/*!]]>*/</script>
vendor: 1 bytes, line 35
35
36<script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net/js/jquery.dataTables.min.js" defer="defer"></script>
vendor: 1 bytes, line 36
36
37<script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-fixedheader-dt/js/fixedHeader.dataTables.min.js" defer="defer"></script>
vendor: 1 bytes, line 37
37
38<script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-fixedcolumns-dt/js/fixedColumns.dataTables.min.js" defer="defer"></script>
vendor: 1 bytes, line 38
38
39<script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-buttons/js/dataTables.buttons.min.js" defer="defer"></script>
vendor: 1 bytes, line 39
39
40<script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-buttons/js/buttons.html5.min.js" defer="defer"></script>
vendor: 1 bytes, line 40
40
41<script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-buttons/js/buttons.print.min.js" defer="defer"></script>
vendor: 1 bytes, line 41
41
42<script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/jszip/jszip.min.js" defer="defer"></script>
vendor: 1 bytes, line 42
42
43<script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/pdfmake/pdfmake.min.js" defer="defer"></script>
vendor: 1 bytes, line 43
43
44<script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/pdfmake/vfs_fonts.js" defer="defer"></script>
vendor: 1 bytes, line 44
44
45<script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net/js/dataTables.bootstrap.min.js" defer="defer"></script>
vendor: 1 bytes, line 45
45
46<script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-buttons/js/buttons.bootstrap.min.js" defer="defer"></script>
vendor: 1 bytes, line 46
46
47<script type="text/x-mathjax-config">/*<![CDATA[*/MathJax.Hub.Config({ 48 tex2jax: { 49 inlineMath: [ ["$","$"], ["\\(","\\)"] ], 50 displayMath: [ ["$$","$$"], ["\\[","\\]"] ], 51 processEscapes: true 52 } 53}); 54/*!]]>*/</script>
vendor: 1 bytes, line 54
54
55<script type="text/javascript" charset="utf-8" src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.9/MathJax.js?config=TeX-AMS_CHTML.js">/*<![CDATA[*/ 56/*!]]>*/</script>
56 57<!--<![endif]--> 58<style type="text/css">@media screen { body { margin-top: 60px; } #dw__toc.affix { top: 50px; position: fixed !important; } #dw__toc .nav .nav .nav { display: none; } }</style> 59 <!--[if lt IE 9]> 60
60<script type="text/javascript" src="https://oss.maxcdn.com/html5shiv/3.7.2/html5shiv.min.js"></script>
60 61
61<script type="text/javascript" src="https://oss.maxcdn.com/respond/1.4.2/respond.min.js"></script>
61 62 <![endif]--> 63</head> 64<body class="simplex dokuwiki mode_show tpl_bootstrap3 dw-fluid-container" data-page-id="informations:presentation"><div class="dokuwiki"> 65 <header id="dokuwiki__header" class="dw-container dokuwiki container-fluid mx-5"> 66 <!-- navbar --> 67<nav id="dw__navbar" class="navbar navbar-fixed-top navbar-inverse" role="navigation"> 68 69 <div class="dw-container container-fluid mx-5"> 70 71 <div class="navbar-header"> 72 73 <button class="navbar-toggle" type="button" data-toggle="collapse" data-target=".navbar-collapse"> 74 <span class="icon-bar"></span> 75 <span class="icon-bar"></span> 76 <span class="icon-bar"></span> 77 </button> 78 79 <a class="navbar-brand d-flex align-items-center" href="https://www.irif.fr/index" accesskey="h" title=""><img id="dw__logo" class="pull-left h-100 mr-4" alt="" src="https://www.irif.fr/_media/logo.png" /><div class="pull-right"><div id="dw__title"></div></div></a> 80 </div> 81 82 <div class="collapse navbar-collapse"> 83 84 85 <ul class="nav navbar-nav"> 86<li class="level1 node active dropdown"><a href="#" class="dropdown-toggle" data-target="#" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">INFORMATIONS <span class="caret"></span></a> 87<ul class="dropdown-menu" role="menu"> 88<li class="level2 active"> <a href="https://www.irif.fr/informations/presentation" class="wikilink1" title="informations:presentation" data-wiki-curid="true">Présentation</a> 89</li> 90<li class="level2"> <a href="https://www.irif.fr/informations/contacts" class="wikilink1" title="informations:contacts" >Contacts et accès</a> 91</li> 92<li class="level2"> <a href="https://www.irif.fr/informations/charte" class="wikilink1" title="informations:charte" >Charte des membres de lâIRIF</a> 93</li> 94<li class="level2"> <a href="https://www.irif.fr/egalite-fh/index" class="wikilink1" title="egalite-fh:index" >Ãgalités</a> 95</li> 96<li class="level2"> <a href="https://www.irif.fr/environnement/index" class="wikilink1" title="environnement:index" >Environnement</a> 97</li> 98<li class="level2"> <a href="https://www.irif.fr/informations/annuaire" class="wikilink1" title="informations:annuaire" >Annuaire</a> 99</li> 100<li class="level2"> <a href="https://www.irif.fr/informations/mentorat" class="wikilink1" title="informations:mentorat" >Programme de mentorat</a> 101</li> 102<li class="level2"> <a href="https://www.irif.fr/informations/childcare" class="wikilink1" title="informations:childcare" >Childcare program</a> 103</li> 104<li class="level2"> <a href="https://www.irif.fr/informations/hceres" class="wikilink1" title="informations:hceres" >Ãvaluation HCERES - 28 au 30 Novembre 2023 (vague D)</a> 105</li> 106</ul> 107</li> 108</ul> 109<ul class="nav navbar-nav"> 110<li class="level1 node dropdown"><a href="#" class="dropdown-toggle" data-target="#" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">RECHERCHE <span class="caret"></span></a> 111<ul class="dropdown-menu" role="menu"> 112<li class="level2"> <strong><a href="https://www.irif.fr/poles/asd/index" class="wikilink1" title="poles:asd:index" >Algorithmes et structures discrètes</a></strong> 113</li> 114<li class="level2"> <a href="https://www.irif.fr/equipes/algocomp/index" class="wikilink1" title="equipes:algocomp:index" >Algorithmes et complexité</a> 115</li> 116<li class="level2"> <a href="https://www.irif.fr/equipes/distribue/index" class="wikilink1" title="equipes:distribue:index" >Calcul distribué</a> 117</li> 118<li class="level2"> <a href="https://www.irif.fr/equipes/combi/index" class="wikilink1" title="equipes:combi:index" >Combinatoire</a> 119</li> 120<li class="level2"> <a href="https://www.irif.fr/equipes/graphes/index" class="wikilink1" title="equipes:graphes:index" >Théorie et algorithmique des graphes</a> 121</li> 122<li class="level2"> <strong><a href="https://www.irif.fr/poles/asv/index" class="wikilink1" title="poles:asv:index" >Automates, structures et vérification</a></strong> 123</li> 124<li class="level2"> <a href="https://www.irif.fr/equipes/automates/index" class="wikilink1" title="equipes:automates:index" >Automates et applications</a> 125</li> 126<li class="level2"> <a href="https://www.irif.fr/equipes/verif/index" class="wikilink1" title="equipes:verif:index" >Modélisation et vérification</a> 127</li> 128<li class="level2"> <strong><a href="https://www.irif.fr/poles/pps/index" class="wikilink1" title="poles:pps:index" >Preuves, programmes et systèmes</a></strong> 129</li> 130<li class="level2"> <a href="https://www.irif.fr/equipes/algebre/index" class="wikilink1" title="equipes:algebre:index" >Algèbre et calcul</a> 131</li> 132<li class="level2"> <a href="https://www.irif.fr/equipes/programmes/index" class="wikilink1" title="equipes:programmes:index" >Programmes et Langages (PL)</a> 133</li> 134<li class="level2"> <a href="https://www.irif.fr/equipes/preuves/index" class="wikilink1" title="equipes:preuves:index" >Preuves et programmes</a> 135</li> 136<li class="level2"> <a href="https://www.irif.fr/equipes/picube/index" class="wikilink1" title="equipes:picube:index" >Picube (Inria)</a> <hr/> 137</li> 138<li class="level2"> <strong><a href="https://cnrs.hal.science/IRIF/" class="" title="https://cnrs.hal.science/IRIF/" rel="ugc nofollow">PUBLICATIONS (hal)</a></strong> 139</li> 140</ul> 141</li> 142</ul> 143<ul class="nav navbar-nav"> 144<li class="level1 node dropdown"><a href="#" class="dropdown-toggle" data-target="#" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">ÃVÃNEMENTS <span class="caret"></span></a> 145<ul class="dropdown-menu" role="menu"> 146<li class="level2"> <strong><a href="https://www.irif.fr/seminaires/evenements" class="wikilink1" title="seminaires:evenements" >Evénements de l'IRIF</a></strong> 147</li> 148<li class="level2"> <a href="https://www.irif.fr/en/seminaires/algebraic-aspects-of-symbolic-dynamics-2026/index" class="wikilink1" title="en:seminaires:algebraic-aspects-of-symbolic-dynamics-2026:index" >Algebraic aspects of symbolic dynamics 2026</a> 149</li> 150<li class="level2"> <a href="https://www.irif.fr/seminaires/irif/index" class="wikilink1" title="seminaires:irif:index" >IRIF Distinguished Talks Series</a> 151</li> 152<li class="level2"> <a href="https://www.irif.fr/rencontres/irif/index" class="wikilink1" title="rencontres:irif:index" >Journées de l'IRIF</a> 153</li> 154<li class="level2"> <a href="https://www.irif.fr/en/seminaires/paris-nagoya26/index" class="wikilink1" title="en:seminaires:paris-nagoya26:index" >Nagoya-Paris Meeting on Quantum Computing</a> 155</li> 156<li class="level2"> <a href="https://www.irif.fr/rencontres/poles/index" class="wikilink1" title="rencontres:poles:index" >Rencontres de pôles</a> 157</li> 158<li class="level2"> <a href="https://www.irif.fr/en/seminaires/symdynar-roscoff-2026/index" class="wikilink1" title="en:seminaires:symdynar-roscoff-2026:index" >Symbolic dynamics and arithmetic expansions 2026</a> 159</li> 160<li class="level2"> <strong><a href="https://www.irif.fr/seminaires/seminaires" class="wikilink1" title="seminaires:seminaires" >Séminaires de recherche</a></strong> 161</li> 162<li class="level2"> <a href="https://www.irif.fr/seminaires/algocomp/index" class="wikilink1" title="seminaires:algocomp:index" >Algorithmes et complexité</a> 163</li> 164<li class="level2"> <a href="https://www.irif.fr/seminaires/asd/index" class="wikilink1" title="seminaires:asd:index" >Algorithmes et structures discrètes</a> 165</li> 166<li class="level2"> <a href="https://www.irif.fr/seminaires/automates/index" class="wikilink1" title="seminaires:automates:index" >Automates</a> 167</li> 168<li class="level2"> <a href="https://www.irif.fr/seminaires/combi/index" class="wikilink1" title="seminaires:combi:index" >Combinatoire énumérative et analytique</a> 169</li> 170<li class="level2"> <a href="https://www.irif.fr/seminaires/adg/index" class="wikilink1" title="seminaires:adg:index" >Théorie des graphes</a> 171</li> 172<li class="level2"> <a href="https://www.irif.fr/seminaires/pps/index" class="wikilink1" title="seminaires:pps:index" >Preuves, programmes et systèmes</a> 173</li> 174<li class="level2"> <a href="https://www.irif.fr/seminaires/picube/index" class="wikilink1" title="seminaires:picube:index" >Séminaire Formath (Formalized Mathematics)</a> 175</li> 176<li class="level2"> <a href="https://www.irif.fr/seminaires/doctorants/index" class="wikilink1" title="seminaires:doctorants:index" >Séminaire des membres non-permanents</a> 177</li> 178<li class="level2"> <a href="https://www.irif.fr/seminaires/verif/index" class="wikilink1" title="seminaires:verif:index" >Vérification</a> 179</li> 180<li class="level2"> <strong><a href="https://www.irif.fr/seminaires/onlineseminars" class="wikilink1" title="seminaires:onl
180ineseminars" >Séminaires en ligne</a></strong> 181</li> 182<li class="level2"> <a href="https://www.irif.fr/seminaires/greta/index" class="wikilink1" title="seminaires:greta:index" >Graph Transformation Theory and Applications</a> 183</li> 184<li class="level2"> <a href="https://www.irif.fr/seminaires/numeration/index" class="wikilink1" title="seminaires:numeration:index" >One world numeration seminar</a> 185</li> 186<li class="level2"> <strong><a href="https://www.irif.fr/seminaires/gt" class="wikilink1" title="seminaires:gt" >Groupes de travail</a></strong> 187</li> 188<li class="level2"> <a href="https://www.irif.fr/seminaires/cat/index" class="wikilink1" title="seminaires:cat:index" >Catégories supérieures, polygraphes et homotopie</a> 189</li> 190<li class="level2"> <a href="https://www.irif.fr/seminaires/gel/index" class="wikilink1" title="seminaires:gel:index" >Graphes et Logique</a> 191</li> 192<li class="level2"> <a href="https://www.irif.fr/seminaires/sms/index" class="wikilink1" title="seminaires:sms:index" >La syntaxe rencontre la sémantique</a> 193</li> 194<li class="level2"> <a href="https://www.irif.fr/seminaires/hott/index" class="wikilink1" title="seminaires:hott:index" >La théorie des types et la théorie de l'homotopie</a> 195</li> 196<li class="level2"> <a href="https://www.irif.fr/seminaires/laag/index" class="wikilink1" title="seminaires:laag:index" >Logique, automates, algèbre et jeux</a> 197</li> 198<li class="level2"> <a href="https://www.irif.fr/seminaires/programmation/index" class="wikilink1" title="seminaires:programmation:index" >Programmation</a> 199</li> 200<li class="level2"> <a href="https://www.irif.fr/seminaires/semantique/index" class="wikilink1" title="seminaires:semantique:index" >Sémantique</a> 201</li> 202<li class="level2"> <a href="https://www.irif.fr/seminaires/types/index" class="wikilink1" title="seminaires:types:index" >Théorie des types et son implémentation</a> 203</li> 204<li class="level2"> <a href="https://www.irif.fr/seminaires/topos/index" class="wikilink1" title="seminaires:topos:index" >Topos pour la réalisabilité</a> 205</li> 206<li class="level2"> <strong><a href="https://www.irif.fr/seminaires/soutenances" class="wikilink1" title="seminaires:soutenances" >Soutenances</a></strong> 207</li> 208<li class="level2"> <a href="https://www.irif.fr/seminaires/these/index" class="wikilink1" title="seminaires:these:index" >Soutenances de thèses</a> 209</li> 210<li class="level2"> <a href="https://www.irif.fr/seminaires/hdr/index" class="wikilink1" title="seminaires:hdr:index" >Soutenances d'habilitation</a> 211</li> 212</ul> 213</li> 214</ul> 215<ul class="nav navbar-nav"> 216<li class="level1 node dropdown"><a href="#" class="dropdown-toggle" data-target="#" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">MÃDIATION <span class="caret"></span></a> 217<ul class="dropdown-menu" role="menu"> 218<li class="level2"> <a href="https://colombes.irif.fr/" class="" title="https://colombes.irif.fr/" rel="ugc nofollow">Stage « Les Colombes »</a> 219</li> 220<li class="level2"> <a href="https://www.irif.fr/mediation/fdls" class="wikilink1" title="mediation:fdls" >Fête de la Science</a> 221</li> 222<li class="level2"> <a href="https://www.irif.fr/mediation/confcrypto" class="wikilink1" title="mediation:confcrypto" >Conférence vidéo âManuel de Cryptanalyse à lâusage de la NSAâ</a> 223</li> 224<li class="level2"> <a href="https://www.irif.fr/mediation/scolaire" class="wikilink1" title="mediation:scolaire" >Stages scolaires dâobservation</a> 225</li> 226<li class="level2"> <a href="https://www.irif.fr/portraits/index" class="wikilink1" title="portraits:index" >Portraits de recherche</a> 227</li> 228<li class="level2"> <a href="https://icalp2022.irif.fr/?page_id=1111" class="" title="https://icalp2022.irif.fr/?page_id=1111" rel="ugc nofollow">Exposition 50 ans</a> 229</li> 230<li class="level2"> <a href="https://qubobs.irif.fr/fr/" class="" title="https://qubobs.irif.fr/fr/" rel="ugc nofollow">Projet QuBOBS (quantum computing explained)</a> 231</li> 232</ul> 233</li> 234</ul> 235<ul class="nav navbar-nav"> 236<li class="level1 node dropdown"><a href="#" class="dropdown-toggle" data-target="#" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">POINTS CLÃS <span class="caret"></span></a> 237<ul class="dropdown-menu" role="menu"> 238<li class="level2"> <a href="https://www.irif.fr/distinctions/index" class="wikilink1" title="distinctions:index" > Prix et distinctions</a> 239</li> 240<li class="level2"> <a href="https://www.irif.fr/logiciels/index" class="wikilink1" title="logiciels:index" >Logiciels</a> 241</li> 242<li class="level2"> <a href="https://www.irif.fr/contrats/index" class="wikilink1" title="contrats:index" >Contrats</a> 243</li> 244<li class="level2"> <a href="https://www.irif.fr/international/index" class="wikilink1" title="international:index" >Collaborations internationales</a> 245</li> 246<li class="level2"> <a href="https://epit.irif.fr" class="" title="https://epit.irif.fr" rel="ugc nofollow">L'école thématique EPIT</a> 247</li> 248<li class="level2"> <a href="https://www.irif.fr/formation/index" class="wikilink1" title="formation:index" >Formation</a> 249</li> 250</ul> 251</li> 252</ul> 253<ul class="nav navbar-nav"> 254<li class="level1 node dropdown"><a href="#" class="dropdown-toggle" data-target="#" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">REJOIGNEZ-NOUS <span class="caret"></span></a> 255<ul class="dropdown-menu" role="menu"> 256<li class="level2"> <a href="https://www.irif.fr/informations/visit" class="wikilink1" title="informations:visit" >Programme visiteurs</a> 257</li> 258<li class="level2"> <a href="https://www.irif.fr/postes/admin" class="wikilink1" title="postes:admin" >Postes soutien à la recherche</a> 259</li> 260<li class="level2"> <a href="https://www.irif.fr/postes/universite" class="wikilink1" title="postes:universite" >Enseignant·e·s-chercheurs·euses</a> 261</li> 262<li class="level2"> <a href="https://www.irif.fr/postes/chercheur" class="wikilink1" title="postes:chercheur" >Chercheurs·euses</a> 263</li> 264<li class="level2"> <a href="https://www.irif.fr/postes/postdoc" class="wikilink1" title="postes:postdoc" >Postdocs</a> 265</li> 266<li class="level2"> <a href="https://www.irif.fr/postes/ater" class="wikilink1" title="postes:ater" >ATER</a> 267</li> 268<li class="level2"> <a href="https://www.irif.fr/postes/these" class="wikilink1" title="postes:these" >Thèses</a> 269</li> 270<li class="level2"> <a href="https://www.irif.fr/postes/stage" class="wikilink1" title="postes:stage" >Stages de master</a> 271</li> 272<li class="level2"> <a href="https://www.irif.fr/postes/stage-scolaire" class="wikilink1" title="postes:stage-scolaire" >Stages scolaires dâobservation</a> 273</li> 274</ul> 275</li> 276</ul> 277<ul class="nav navbar-nav"> 278<li class="level1"> <a href="https://www.irif.fr/intranet/index" class="wikilink1" title="intranet:index" >INTRANET</a> 279</li> 280</ul> 281 <div class="navbar-right" id="dw__navbar_items"> 282 283 <!-- translation --> 284<ul class="nav navbar-nav" id="dw__translation"> 285 <li class="dropdown"> 286 <a href="" class="dropdown-toggle" data-target="#" data-toggle="dropdown" title="Traductions de cette page" role="button" aria-haspopup="true" aria-expanded="false">
287 <span class="iconify" data-icon="mdi:flag"></span> <span class="hidden-lg hidden-md hidden-sm">Traductions de cette page</span><span class="caret"></span> 288 </a> 289 <ul class="dropdown-menu" role="menu"> 290 291 </li> 292 293 <li class="menuitem"><a href="https://www.irif.fr/informations/presentation" class="wikilink1" title="Français"><i><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 640 480"><g fill-rule="evenodd" stroke-width="1pt"><path fill="#fff" d="M0 0h640v480H0z"/><path fill="#002654" d="M0 0h213.3v480H0z"/><path fill="#ce1126" d="M426.7 0H640v480H426.7z"/></g></svg></i>Français</a></li><li class="menuitem"><a href="https://www.irif.fr/en/informations/presentation" class="wikilink1" title="English"><i><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 640 480"><path fill="#012169" d="M0 0h640v480H0z"/><path fill="#FFF" d="m75 0 244 181L562 0h78v62L400 241l240 178v61h-80L320 301 81 480H0v-60l239-178L0 64V0h75z"/><path fill="#C8102E" d="m424 281 216 159v40L369 281h55zm-184 20 6 35L54 480H0l240-179zM640 0v3L391 191l2-44L590 0h50zM0 0l239 176h-60L0 42V0z"/><path fill="#FFF" d="M241 0v480h160V0H241zM0 160v160h640V160H0z"/><path fill="#C8102E" d="M0 193v96h640v-96H0zM273 0v480h96V0h-96z"/></svg></i>English</a></li> 294 </ul> 295 </li> 296</ul> 297<!-- /translation --> 298 299 <ul class="nav navbar-nav"> 300 301 302 <li> 303 <span class="dw__actions dw-action-icon"> 304 <a href="https://www.irif.fr/informations/presentation?do=login&sectok=" title="S'identifier" rel="nofollow" class="menuitem login btn btn-default navbar-btn"><svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 24 24"><path d="M10 17.25V14H3v-4h7V6.75L15.25 12 10 17.25M8 2h9a2 2 0 0 1 2 2v16a2 2 0 0 1-2 2H8a2 2 0 0 1-2-2v-4h2v4h9V4H8v4H6V4a2 2 0 0 1 2-2z"/></svg><span class=""> S'identifier</span></a> </span> 305 </li> 306 307 </ul> 308 309 310 311 </div> 312 313 </div> 314 </div> 315</nav> 316<!-- navbar --> 317 </header> 318 319 <a name="dokuwiki__top" id="dokuwiki__top"></a> 320 321 <main role="main" class="dw-container pb-5 dokuwiki container-fluid mx-5"> 322 323 <div id="dokuwiki__pageheader"> 324 325 326 327 <p class="text-right"> 328 </p> 329 330 <div id="dw__msgarea" class="small"> 331 </div> 332 333 </div> 334 335 <div class="row"> 336 337 338 <article id="dokuwiki__content" class="col-sm-12 col-md-12 " itemscope itemtype="http://schema.org/Article" itemref="dw__license"> 339 340 <!-- /page-tools --> 341 342 <div class="no-panel" itemprop="articleBody"> 343 <div class="page "> 344 345 346<div class="dw-content-page "><!-- content --><div class="dw-content"><h2 class="sectionedit1 page-header pb-3 mb-4 mt-5" id="presentation">Présentation</h2> 347<div class="level2"> 348 349<p> 350L'Institut de Recherche en Informatique Fondamentale (IRIF) est une unité mixte de recherche (UMR 8243) entre le <a href="http://www.cnrs.fr" class="urlextern" title="http://www.cnrs.fr" rel="ugc nofollow">CNRS</a> et l'<a href="http://www.u-paris.fr/" class="urlextern" title="http://www.u-paris.fr/" rel="ugc nofollow">Université Paris Cité</a>, 351qui héberge une équipe-projet <a href="http://www.inria.fr" class="urlextern" title="http://www.inria.fr" rel="ugc nofollow">Inria</a>. 352Il est issu de la fusion des deux UMR <a href="http://archives.liafa.univ-paris-diderot.fr" class="urlextern" title="http://archives.liafa.univ-paris-diderot.fr" rel="ugc nofollow">LIAFA</a> et <a href="http://archives.pps.univ-paris-diderot.fr" class="urlextern" title="http://archives.pps.univ-paris-diderot.fr" rel="ugc nofollow">PPS</a> 353 au 1er janvier 2016. 354L'IRIF est aussi membre de la <a href="http://www.sciencesmaths-paris.fr" class="urlextern" title="http://www.sciencesmaths-paris.fr" rel="ugc nofollow">Fondation Sciences Mathématiques de Paris (FSMP)</a> 355et de trois Domaines dâIntérêt Majeur de la région Ile-de-France : <a href="https://www.dim-mathinnov.fr" class="urlextern" title="https://www.dim-mathinnov.fr" rel="ugc nofollow">Math Innov</a>, <a href="https://dim-rfsi.fr" class="urlextern" title="https://dim-rfsi.fr" rel="ugc nofollow">Sciences Informatiques</a>, <a href="https://www.sirteq.org" class="urlextern" title="https://www.sirteq.org" rel="ugc nofollow">Technologies Quantiques</a>. 356</p> 357 358<p> 359Les 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. 360</p> 361 362<p> 363En particulier, lâIRIF est reconnu pour ses contributions portant sur la conception et lâanalyse dâalgorithmes, lâétude des modèles de calculs et de représentation des données, les fondements des langages de programmation, le développement logiciel, la vérification et la certification. LâIRIF effectue au
363ssi une recherche interdisciplinaire mettant à profit sa démarche scientifique. 364</p> 365 366<p> 367LâIRIF s'appuie sur des concepts mathématiques développés et étudiés en son sein, notamment en combinatoire, théorie des graphes, logique et algèbre. Ces travaux contribuent aussi directement aux mathématiques, notamment en physique combinatoire, probabilités, catégories, théorie de la preuve, et preuves assistées par ordinateur. 368</p> 369 370<p> 371Au CNRS, l'IRIF est principalement rattaché à l'Institut National des Sciences de l'Information et de leurs Interactions (<a href="http://www.cnrs.fr/ins2i/" class="urlextern" title="http://www.cnrs.fr/ins2i/" rel="ugc nofollow">CNRS Sciences informatiques</a>) et, secondairement, à l'Institut National des Sciences Mathématiques et de leurs Interactions (<a href="http://www.cnrs.fr/insmi/" class="urlextern" title="http://www.cnrs.fr/insmi/" rel="ugc nofollow">CNRS Mathématiques</a>). 372L'IRIF est membre de l'<a href="http://www.informatique.univ-paris-diderot.fr/" class="urlextern" title="http://www.informatique.univ-paris-diderot.fr/" rel="ugc nofollow">UFR d'informatique</a> de l'Université Paris Cité, et accueille également en son sein plusieurs membres de l'<a href="https://www.math.univ-paris-diderot.fr" class="urlextern" title="https://www.math.univ-paris-diderot.fr" rel="ugc nofollow">UFR de mathématiques</a>. 373Enfin, l'IRIF est associé à l'école doctorale des Sciences Mathématiques de Paris Centre (<a href="https://ed386.u-pariscite.fr/" class="urlextern" title="https://ed386.u-pariscite.fr/" rel="ugc nofollow">ED 386</a>). 374</p> 375 376<p> 377L'IRIF est structuré en neuf équipes thématiques regroupées en trois pôles de recherche : 378</p> 379<ul class=" fix-media-list-overlap"> 380<li class="level1 node"><div class="li"> Pôle <a href="https://www.irif.fr/poles/asd/index" class="wikilink1" title="poles:asd:index" data-wiki-id="poles:asd:index">Algorithmes et structures discrètes</a></div> 381<ul class=" fix-media-list-overlap"> 382<li class="level3"><div class="li"> <a href="https://www.irif.fr/equipes/algocomp/index" class="wikilink1" title="equipes:algocomp:index" data-wiki-id="equipes:algocomp:index">Algorithmes et complexité</a></div> 383</li> 384<li class="level3"><div class="li"> <a href="https://www.irif.fr/equipes/combi/index" class="wikilink1" title="equipes:combi:index" data-wiki-id="equipes:combi:index">Combinatoire</a></div> 385</li> 386<li class="level3"><div class="li"> <a href="https://www.irif.fr/equipes/distribue/index" class="wikilink1" title="equipes:distribue:index" data-wiki-id="equipes:distribue:index">Calcul distribué</a> </div> 387</li> 388<li class="level3"><div class="li"> <a href="https://www.irif.fr/equipes/graphes/index" class="wikilink1" title="equipes:graphes:index" data-wiki-id="equipes:graphes:index">Théorie et algorithmique des graphes</a> </div> 389</li> 390</ul> 391</li> 392<li class="level1 node"><div class="li"> Pôle <a href="https://www.irif.fr/poles/asv/index" class="wikilink1" title="poles:asv:index" data-wiki-id="poles:asv:index">Automates, structures et vérification</a></div> 393<ul class=" fix-media-list-overlap"> 394<li class="level3"><div class="li"> <a href="https://www.irif.fr/equipes/automates/index" class="wikilink1" title="equipes:automates:index" data-wiki-id="equipes:automates:index">Automates et applications</a></div> 395</li> 396<li class="level3"><div class="li"> <a href="https://www.irif.fr/equipes/verif/index" class="wikilink1" title="equipes:verif:index" data-wiki-id="equipes:verif:index">Modélisation et vérification</a></div> 397</li> 398</ul> 399</li> 400<li class="level1 node"><div class="li"> Pôle <a href="https://www.irif.fr/poles/pps/index" class="wikilink1" title="poles:pps:index" data-wiki-id="poles:pps:index">Preuves, programmes et systèmes</a></div> 401<ul class=" fix-media-list-overlap"> 402<li class="level3"><div class="li"> <a href="https://www.irif.fr/equipes/algebre/index" class="wikilink1" title="equipes:algebre:index" data-wiki-id="equipes:algebre:index">Algèbre et calcul</a></div> 403</li> 404<li class="level3"><div class="li"> <a href="https://www.irif.fr/equipes/programmes/index" class="wikilink1" title="equipes:programmes:index" data-wiki-id="equipes:programmes:index">Programmes et Langages (PL)</a> </div> 405</li> 406<li class="level3"><div class="li"> <a href="https://www.irif.fr/equipes/preuves/index" class="wikilink1" title="equipes:preuves:index" data-wiki-id="equipes:preuves:index">Preuves et programmes</a> </div> 407</li> 408</ul> 409</li> 410</ul> 411 412<p> 413L'IRIF compte actuellement une centaine de membres permanents, 414se répartissant environ en 49 enseignant·e·s-chercheurs·euses, 37 chercheur·e·s (CNRS, Inria, Chaire industrielle), 11 personnels administratifs ou techniques (en avril 2024). 415L'effectif total de l'IRIF, incluant doctorant·e·s, postdoctorant·e·s, emerites, ATER 416et visiteurs·euses de longue durée s'élève à près de deux cents personnes. 417</p> 418 419<p> 420Dix membres de l'IRIF ont été lauréat·e·s de l'<a href="https://erc.europa.eu" class="urlextern" title="https://erc.europa.eu" rel="ugc nofollow">European Research Council (ERC)</a>, huit sont ou ont été membres de l'<a href="http://www.iufrance.fr" class="urlextern" title="http://www.iufrance.fr" rel="ugc nofollow">Institut Universitaire de France (IUF)</a>, deux sont membres de l'<a href="http://www.ae-info.org" class="urlextern" title="http://www.ae-info.org" rel="ugc nofollow">Academia Europæa</a>, et une est membre de l'<a href="https://www.academie-sciences.fr/" class="urlextern" title="https://www.academie-sciences.fr/" rel="ugc nofollow">Académie des sciences</a>. 421</p> 422 423<p> 424<strong><a href="https://www.irif.fr/_media/informations/brochure-fr.pdf" class="media mediafile mf_pdf" title="informations:brochure-fr.pdf (532 KB)">Brochure IRIF</a> (<a href="https://www.irif.fr/_media/informations/brochure-en.pdf" class="media mediafile mf_pdf" title="informations:brochure-en.pdf (530.4 KB)">english version</a>)</strong> 425</p> 426 427<p> 428<br/> 429 430</p> 431<div class="wrap_third wrap_column wrap_centeralign plugin_wrap"> 432<h4 id="organismes_de_tutelle">Organismes de tutelle</h4> 433<hr /> 434<div class="wrap_half wrap_column wrap_indent plugin_wrap"> 435<p> 436<a href="http://www.u-paris.fr" class="media" title="http://www.u-paris.fr" rel="ugc nofollow"><img src="https://www.irif.fr/_media/logoup.png?h=60&tok=79d382" class="mediacenter img-responsive" loading="lazy" title="Université Paris Cité" alt="Université Paris Cité" height="60" /></a> 437</p> 438</div><div class="wrap_half wrap_column plugin_wrap"> 439<p> 440<a href="http://www.cnrs.fr" class="media" title="http://www.cnrs.fr" rel="ugc nofollow"><img src="https://www.irif.fr/_media/informations/logo_cnrs_bleu.png?w=60&tok=4a3a0d" class="medialeft img-responsive" loading="lazy" alt="" width="60" /></a> 441</p> 442</div></div><div class="wrap_third wrap_column wrap_centeralign plugin_wrap"> 443<h4 id="ufr_de_rattachement">UFR de rattachement</h4> 444<hr /> 445 446<p> 447<a href="http://www.informatique.univ-paris-diderot.fr" class="urlextern" title="http://www.informatique.univ-paris-diderot.fr" rel="ugc nofollow">Informatique</a> 448</p> 449 450<p> 451<a href="http://www.math.univ-paris-diderot.fr" class="urlextern" title="http://www.math.univ-paris-diderot.fr" rel="ugc nofollow">Mathématiques</a> 452</p> 453</div><div class="wrap_third wrap_column wrap_centeralign plugin_wrap"> 454<h4 id="partenaires">Partenaires</h4> 455<hr /> 456<div class="wrap_half wrap_column plugin_wrap"> 457<p> 458<a href="http://www.inria.fr" class="media" title="http://www.inria.fr" rel="ugc nofollow"><img src="https://www.irif.fr/_media/logoinria.png?h=40&tok=0f00e0" class="mediacenter img-responsive" loading="lazy" title="INRIA" alt="INRIA" height="40" /></a> 459</p> 460</div><div class="wrap_half wrap_column plugin_wrap"> 461<p> 462<a href="http://www.sciencesmaths-paris.fr" class="media" title="http://www.sciencesmaths-paris.fr" rel="ugc nofollow"><img src="https://www.irif.fr/_media/logofsmp.png?h=40&tok=4317b1" class="mediacenter img-responsive" loading="lazy" title="Fondation Sciences Mathématiques de Paris" alt="Fondation Sciences Mathématiques de Paris" height="40" /></a> 463</p> 464</div><div class="wrap_clear plugin_wrap"></div><div class="wrap_third wrap_column plugin_wrap"> 465<p> 466<a href="https://www.dim-mathinnov.fr" class="media" title="https://www.dim-mathinnov.fr" rel="ugc nofollow"><img src="https://www.irif.fr/_media/logomathinnov.png?h=40&tok=28ec91" class="mediacenter img-responsive" loading="lazy" title="Math-Innov" alt="Math-Innov" height="40" /></a> 467</p> 468</div><div class="wrap_third wrap_column plugin_wrap"> 469<p> 470<a href="https://dim-rfsi.fr" class="media" title="https://dim-rfsi.fr" rel="ugc nofollow"><img src="https://www.irif.fr/_media/logorfsi.png?h=40&tok=1225b9" class="mediacenter img-responsive" loading="lazy" title="RFSI" alt="R
470FSI" height="40" /></a> 471</p> 472</div><div class="wrap_third wrap_column plugin_wrap"> 473<p> 474<a href="https://www.sirteq.org" class="media" title="https://www.sirteq.org" rel="ugc nofollow"><img src="https://www.irif.fr/_media/logosirteq.png?h=40&tok=80d247" class="mediacenter img-responsive" loading="lazy" title="SIRTEQ" alt="SIRTEQ" height="40" /></a> 475</p> 476</div> 477</div></div><!-- /content --></div><p> 478 479<style> 480.page a.urlextern, 481.page a.interwiki, 482.page a.windows, 483.page a.mail, 484.page a.media { 485 padding-left: 0 !important; 486 background: none !important; 487} 488 489.page { 490 text-align: justify; 491} 492 493body {font-size: 15px; font-weight: 300; color: #333333; } 494b,strong {font-weight: 600; color: #333333; } 495p {margin-bottom:1.3em} 496h1 {font-size: 2.8em; margin-bottom:1.5em; font-weight: 400; } 497h2 {font-size: 2.2em; margin-bottom:1.2em; font-weight: 400; } 498h3 {font-size: 1.9em; margin-bottom:0.9em; font-weight: 400; } 499h4 {font-size: 1.7em; margin-bottom:0.8em; font-weight: 300; } 500h5 {font-size: 1.5em; margin-bottom:0.8em; font-weight: 300; } 501h5 {font-size: 1.4em; margin-bottom:0.8em; font-weight: 300; } 502</style> 503 504</p> 505 </div> 506 </div> 507 508 <div class="small text-right"> 509 510 511 512 </div> 513 514 </article> 515 516 517 </div> 518 519 </main> 520 521 <footer id="dw__footer" class="dw-container py-5 dokuwiki container-fluid"> 522 <!-- footer --> 523<div class="dw-container small container-fluid mx-5"> 524 525 526 <div class="footer-dw-title"> 527 <div class="media"> 528 <div class="media-left"> 529 <!--<img src="https://www.irif.fr/_media/logo_footer.png" alt="" class="media-object" style="height:32px" />--> 530 <img src="https://www.irif.fr/_media/logo_footer.png" alt="" class="media-object" style="height:10px" /> 531 </div> 532 <div class="media-body"> 533 <div class="row"> 534 <div class="col-sm-2"> 535 <h4 class="media-heading"></h4> 536 <p> 537 </p> 538 </div> 539 <div class="col-sm-10"> 540 </div> 541 </div> 542 </div> 543 </div> 544 </div> 545 546 <a style="font-size:12px" href="https://www.irif.fr/informations/mentions-legales">Mentions légales</a> 547 548 <div class="footer-license row"> 549 <hr/> 550 <div id="dw__license" class="col-sm-6"> 551 </div> 552 553 <div class="col-sm-6"> 554 </div> 555 556 </div> 557 558</div> 559<!-- /footer --> 560 </footer> 561 562 <a href="#dokuwiki__top" class="back-to-top hidden-print btn btn-default" title="Aller au contenu" accesskey="t"> 563 <span class="iconify" data-icon="mdi:chevron-up"></span> </a> 564 565 <div id="screen__mode"> <span class="visible-xs-block"></span> 566 <span class="visible-sm-block"></span> 567 <span class="visible-md-block"></span> 568 <span class="visible-lg-block"></span> 569 </div> 570 571 <img src="https://www.irif.fr/lib/exe/taskrunner.php?id=informations%3Apresentation&1790845949" width="2" height="1" alt="" /> 572</div> 573 574</body> 575</html>
Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.