PageSourceSearch

https://www.irif.fr/informations/presentation

html irif.fr collected 2026-10-01 09:12:49 UTC 39,490 bytes, 575 lines download raw bytes

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&amp;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&amp;tseed=f15a8de8d79f3444f241a6903ada1ef9&amp;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&#039;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&#039;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&#039;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&#039;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&#039;é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&amp;sectok=" title="S&#039;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&#039;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&#039;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&#039;<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&#039;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&#039;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&#039;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&#039;IRIF est principalement rattaché à l&#039;Institut National des Sciences de l&#039;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&#039;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&#039;IRIF est membre de l&#039;<a href="http://www.informatique.univ-paris-diderot.fr/" class="urlextern" title="http://www.informatique.univ-paris-diderot.fr/" rel="ugc nofollow">UFR d&#039;informatique</a> de l&#039;Université Paris Cité, et accueille également en son sein plusieurs membres de l&#039;<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&#039;IRIF est associé à l&#039;é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&#039;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&#039;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&#039;effectif total de l&#039;IRIF, incluant doctorant·e·s, postdoctorant·e·s, emerites, ATER 
416et visiteurs·euses de longue durée s&#039;élève à près de deux cents personnes.
417</p>
418
419<p>
420Dix membres de l&#039;IRIF ont été lauréat·e·s de l&#039;<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&#039;<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&#039;<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&#039;<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&amp;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&amp;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&amp;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&amp;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&amp;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&amp;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&amp;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&amp;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.