CINXE.COM

<!DOCTYPE html> <html xmlns="http://www.w3.org/1999/xhtml" lang="en" dir="ltr" class="no-js"> <head> <meta charset="UTF-8" /> <title>Academics (page in french)</title>  <script> var _paq = window._paq = window._paq || []; /* tracker methods like "setCustomDimension" should be called before "trackPageView" */ _paq.push(['trackPageView']); _paq.push(['enableLinkTracking']); (function() { var u="//apps.roulois.fr/matomo/"; _paq.push(['setTrackerUrl', u+'matomo.php']); _paq.push(['setSiteId', '1']); var d=document, g=d.createElement('script'), s=d.getElementsByTagName('script')[0]; g.async=true; g.src=u+'matomo.js'; s.parentNode.insertBefore(g,s); })(); </script>  <script>(function(H){H.className=H.className.replace(/\bno-js\b/,'js')})(document.documentElement)</script> <meta name="viewport" content="width=device-width,initial-scale=1" /> <link rel="shortcut icon" href="https://www.irif.fr/_media/favicon.ico" /> <link rel="apple-touch-icon" href="https://www.irif.fr/_media/apple-touch-icon.png" /> <meta name="generator" content="DokuWiki"/> <meta name="robots" content="index,follow"/> <meta name="keywords" content="en,formation,index"/> <link rel="search" type="application/opensearchdescription+xml" href="https://www.irif.fr/lib/exe/opensearch.php" title=""/> <link rel="start" href="https://www.irif.fr/"/> <link rel="contents" href="https://www.irif.fr/en/formation/index?do=index" title="Sitemap"/> <link rel="manifest" href="https://www.irif.fr/lib/exe/manifest.php"/> <link rel="alternate" type="text/html" title="Plain HTML" href="https://www.irif.fr/_export/xhtml/en/formation/index"/> <link rel="alternate" type="text/plain" title="Wiki Markup" href="https://www.irif.fr/_export/raw/en/formation/index"/> <link rel="canonical" href="https://www.irif.fr/en/formation/index"/> <link rel="stylesheet" href="https://www.irif.fr/lib/exe/css.php?t=bootstrap3&tseed=999b1f07158911a883ed4b945a522775"/> <link type="text/css" rel="stylesheet" href="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-fixedheader-dt/css/fixedHeader.dataTables.min.css"/> <link type="text/css" rel="stylesheet" href="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-fixedcolumns-dt/css/fixedColumns.dataTables.min.css"/> <link type="text/css" rel="stylesheet" href="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net/css/dataTables.bootstrap.min.css"/> <link type="text/css" rel="stylesheet" href="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-buttons/css/buttons.bootstrap.min.css"/> <link type="text/css" rel="stylesheet" href="https://www.irif.fr/lib/plugins/icons/assets/font-awesome/css/font-awesome.min.css"/> <link type="text/css" rel="stylesheet" href="https://www.irif.fr/lib/plugins/icons/assets/material-design-icons/css/materialdesignicons.min.css"/>  <script >/*<![CDATA[*/var NS='en:formation';var JSINFO = {"plugin":{"datatables":{"config":{"dom":"lBfrtip","language":{"url":"https:\/\/www.irif.fr\/lib\/plugins\/datatables\/assets\/datatables.net-i18n\/en-GB.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}},"id":"en:formation:index","namespace":"en:formation","ACT":"show","useHeadingNavigation":1,"useHeadingContent":1}; /*!]]>*/</script> <script src="https://www.irif.fr/lib/exe/jquery.php?tseed=34a552433bc33cc9c3bc32527289a0b2" defer="defer"></script> <script src="https://www.irif.fr/lib/exe/js.php?t=bootstrap3&tseed=999b1f07158911a883ed4b945a522775&lang=en" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net/js/jquery.dataTables.min.js" defer="defer"></script> <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> <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> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-buttons/js/dataTables.buttons.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-buttons/js/buttons.html5.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-buttons/js/buttons.print.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/jszip/jszip.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/pdfmake/pdfmake.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/pdfmake/vfs_fonts.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net/js/dataTables.bootstrap.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-buttons/js/buttons.bootstrap.min.js" defer="defer"></script> <script type="text/x-mathjax-config">/*<![CDATA[*/MathJax.Hub.Config({ tex2jax: { inlineMath: [ ["$","$"], ["\$","\$"] ], displayMath: [ ["$$","$$"], ["\\[","\\]"] ], processEscapes: true } }); /*!]]>*/</script> <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"></script>  <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>  </head> <body class="simplex dokuwiki mode_show tpl_bootstrap3 dw-fluid-container" data-page-id="en:formation:index"><div class="dokuwiki"> <header id="dokuwiki__header" class="dw-container dokuwiki container-fluid mx-5">  <nav id="dw__navbar" class="navbar navbar-fixed-top navbar-inverse" role="navigation"> <div class="dw-container container-fluid mx-5"> <div class="navbar-header"> <button class="navbar-toggle" type="button" data-toggle="collapse" data-target=".navbar-collapse"> <span class="icon-bar"></span> <span class="icon-bar"></span> <span class="icon-bar"></span> </button> <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> </div> <div class="collapse navbar-collapse"> <ul class="nav navbar-nav"> <li class="level1 node dropdown"><a href="#" class="dropdown-toggle" data-target="#" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">INFORMATION <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <a href="https://www.irif.fr/en/informations/presentation" class="wikilink1" title="en:informations:presentation" >Presentation</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/informations/contacts" class="wikilink1" title="en:informations:contacts" >Contact and access</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/informations/charte" class="wikilink1" title="en:informations:charte" >IRIF Members Charter</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/egalite-fh/index" class="wikilink1" title="en:egalite-fh:index" >Equality</a> </li> <li class="level2"> <a href="https://www.irif.fr/environnement/index" class="wikilink1" title="environnement:index" >Environment</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/informations/annuaire" class="wikilink1" title="en:informations:annuaire" >Directory</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/informations/mentorat" class="wikilink1" title="en:informations:mentorat" >IRIF’s mentoring program</a> </li> <li class="level2"> <a href="https://www.irif.fr/informations/childcare" class="wikilink1" title="informations:childcare" >Childcare program</a> </li> </ul> </li> </ul> <ul class="nav navbar-nav"> <li class="level1 node dropdown"><a href="#" class="dropdown-toggle" data-target="#" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">RESEARCH <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <strong><a href="https://www.irif.fr/en/poles/asd/index" class="wikilink1" title="en:poles:asd:index" >Algorithms and discrete structures</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/en/equipes/algocomp/index" class="wikilink1" title="en:equipes:algocomp:index" >Algorithms and complexity</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/equipes/combi/index" class="wikilink1" title="en:equipes:combi:index" >Combinatorics</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/equipes/distribue/index" class="wikilink1" title="en:equipes:distribue:index" >Distributed computing</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/equipes/graphes/index" class="wikilink1" title="en:equipes:graphes:index" >Theory and algorithmics of graphs</a> </li> <li class="level2"> <strong><a href="https://www.irif.fr/en/poles/asv/index" class="wikilink1" title="en:poles:asv:index" >Automata, structures and verification</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/en/equipes/automates/index" class="wikilink1" title="en:equipes:automates:index" >Automata and applications</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/equipes/verif/index" class="wikilink1" title="en:equipes:verif:index" >Modeling and verification</a> </li> <li class="level2"> <strong><a href="https://www.irif.fr/en/poles/pps/index" class="wikilink1" title="en:poles:pps:index" >Proofs, programs and systems</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/en/equipes/algebre/index" class="wikilink1" title="en:equipes:algebre:index" >Algebra and computation</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/equipes/programmes/index" class="wikilink1" title="en:equipes:programmes:index" >Programs and Languages (PL)</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/equipes/preuves/index" class="wikilink1" title="en:equipes:preuves:index" >Proofs and programs</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/equipes/picube/index" class="wikilink1" title="en:equipes:picube:index" >Picube (Inria)</a><hr/> </li> <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><br/> </li> </ul> </li> </ul> <ul class="nav navbar-nav"> <li class="level1 node dropdown"><a href="#" class="dropdown-toggle" data-target="#" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">EVENTS <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <strong><a href="https://www.irif.fr/en/seminaires/evenements" class="wikilink1" title="en:seminaires:evenements" >IRIF events</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/irif/index" class="wikilink1" title="en:seminaires:irif:index" >IRIF Distinguished Talks Series</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/rencontres/irif/index" class="wikilink1" title="en:rencontres:irif:index" >IRIF days</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/rencontres/poles/index" class="wikilink1" title="en:rencontres:poles:index" >Pole meetings</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/env/index" class="wikilink1" title="en:seminaires:env:index" >IRIF and environment group</a> </li> <li class="level2"> <strong><a href="https://www.irif.fr/en/seminaires/seminaires" class="wikilink1" title="en:seminaires:seminaires" >Research seminars</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/algocomp/index" class="wikilink1" title="en:seminaires:algocomp:index" >Algorithms and complexity</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/asd/index" class="wikilink1" title="en:seminaires:asd:index" >Algorithms and discrete structures</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/automates/index" class="wikilink1" title="en:seminaires:automates:index" >Automata</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/combi/index" class="wikilink1" title="en:seminaires:combi:index" >Enumerative and analytic combinatorics</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/adg/index" class="wikilink1" title="en:seminaires:adg:index" >Graphs and distributed computing</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/picube/index" class="wikilink1" title="en:seminaires:picube:index" >Formath</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/pps/index" class="wikilink1" title="en:seminaires:pps:index" >Proofs, programs and systems</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/verif/index" class="wikilink1" title="en:seminaires:verif:index" >Verification</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/doctorants/index" class="wikilink1" title="en:seminaires:doctorants:index" >Non-permanent members’ seminar</a> </li> <li class="level2"> <strong><a href="https://www.irif.fr/en/seminaires/onlineseminars" class="wikilink1" title="en:seminaires:onlineseminars" >Online seminars</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/greta/index" class="wikilink1" title="en:seminaires:greta:index" >Graph Transformation Theory and Applications</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/numeration/index" class="wikilink1" title="en:seminaires:numeration:index" >One world numeration seminar</a> </li> <li class="level2"> <strong><a href="https://www.irif.fr/en/seminaires/gt" class="wikilink1" title="en:seminaires:gt" >Working groups</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/cat/index" class="wikilink1" title="en:seminaires:cat:index" >Higher categories, polygraphs and homotopy</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/laag/index" class="wikilink1" title="en:seminaires:laag:index" >Logic, automata, algebra and games</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/programmation/index" class="wikilink1" title="en:seminaires:programmation:index" >Programming</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/semantique/index" class="wikilink1" title="en:seminaires:semantique:index" >Semantics</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/sms/index" class="wikilink1" title="en:seminaires:sms:index" >Syntax Meets Semantics</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/hott/index" class="wikilink1" title="en:seminaires:hott:index" >Type theory and homotopy theory</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/types/index" class="wikilink1" title="en:seminaires:types:index" >Type theory and realisability</a> </li> <li class="level2"> <strong><a href="https://www.irif.fr/en/seminaires/soutenances" class="wikilink1" title="en:seminaires:soutenances" >Defences</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/these/index" class="wikilink1" title="en:seminaires:these:index" >PhD defences</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/hdr/index" class="wikilink1" title="en:seminaires:hdr:index" >Habilitation defences</a> </li> </ul> </li> </ul> <ul class="nav navbar-nav"> <li class="level1 node dropdown"><a href="#" class="dropdown-toggle" data-target="#" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">MEDIATION <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <a href="https://www.irif.fr/en/mediation/fdls" class="wikilink1" title="en:mediation:fdls" >Fête de la Science</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/mediation/scolaire" class="wikilink1" title="en:mediation:scolaire" >Middle/High school internships</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/portraits/index" class="wikilink1" title="en:portraits:index" >Research profiles</a> </li> <li class="level2"> <a href="https://icalp2022.irif.fr/?page_id=1111" class="" title="https://icalp2022.irif.fr/?page_id=1111" rel="ugc nofollow">50 Years Exhibitation</a> </li> <li class="level2"> <a href="https://qubobs.irif.fr" class="" title="https://qubobs.irif.fr" rel="ugc nofollow">Projet QuBOBS (quantum computing explained)</a> </li> </ul> </li> </ul> <ul class="nav navbar-nav"> <li class="level1 node active dropdown"><a href="#" class="dropdown-toggle" data-target="#" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">HIGHLIGHTS <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <a href="https://www.irif.fr/en/distinctions/index" class="wikilink1" title="en:distinctions:index" >Awards and Honors</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/logiciels/index" class="wikilink1" title="en:logiciels:index" >Software</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/contrats/index" class="wikilink1" title="en:contrats:index" >Grants</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/international/index" class="wikilink1" title="en:international:index" >International Collaborations</a> </li> <li class="level2"> <a href="https://epit.irif.fr" class="" title="https://epit.irif.fr" rel="ugc nofollow">The EPIT Research School</a> </li> <li class="level2 active"> <a href="https://www.irif.fr/en/formation/index" class="wikilink1" title="en:formation:index" data-wiki-curid="true">Academics</a> </li> </ul> </li> </ul> <ul class="nav navbar-nav"> <li class="level1 node dropdown"><a href="#" class="dropdown-toggle" data-target="#" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">JOIN US <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <a href="https://www.irif.fr/en/informations/visit" class="wikilink1" title="en:informations:visit" >Visitor program</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/postes/admin" class="wikilink1" title="en:postes:admin" >Research support position</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/postes/universite" class="wikilink1" title="en:postes:universite" >Faculty members</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/postes/chercheur" class="wikilink1" title="en:postes:chercheur" >Researchers</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/postes/postdoc" class="wikilink1" title="en:postes:postdoc" >Postdocs</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/postes/ater" class="wikilink1" title="en:postes:ater" >Teaching assistants</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/postes/these" class="wikilink1" title="en:postes:these" >PhD Studies</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/postes/stage" class="wikilink1" title="en:postes:stage" >Master Internships</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/postes/stage-scolaire" class="wikilink1" title="en:postes:stage-scolaire" >Middle/High school internships</a> </li> </ul> </li> </ul> <ul class="nav navbar-nav"> <li class="level1"> <a href="https://www.irif.fr/en/intranet/index" class="wikilink1" title="en:intranet:index" >INTRANET</a> </li> </ul> <div class="navbar-right" id="dw__navbar_items">  <ul class="nav navbar-nav" id="dw__translation"> <li class="dropdown"> <a href="" class="dropdown-toggle" data-target="#" data-toggle="dropdown" title="Translations of this page" role="button" aria-haspopup="true" aria-expanded="false"> <span class="iconify" data-icon="mdi:flag"></span> <span class="hidden-lg hidden-md hidden-sm">Translations of this page</span><span class="caret"></span> </a> <ul class="dropdown-menu" role="menu"> <li class="dropdown-header hidden-xs hidden-sm"> <span class="iconify" data-icon="mdi:flag"></span> Translations of this page </li> <li><div class='li'><a href="https://www.irif.fr/formation/index" class="wikilink1 flag" title="Français"><img src="https://www.irif.fr/lib/plugins/translation/flags/fr.gif" alt="fr" height="11" />Français</a></li><li><div class='li cur'><a href="https://www.irif.fr/en/formation/index" class="wikilink1 cur flag" title="English"><img src="https://www.irif.fr/lib/plugins/translation/flags/en.gif" alt="en" height="11" />English</a></li> </ul> </li> </ul>  <ul class="nav navbar-nav"> <li> <span class="dw__actions dw-action-icon"> <a href="https://www.irif.fr/en/formation/index?do=login&sectok=" title="Log In" 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=""> Log In</span></a> </span> </li> </ul> </div> </div> </div> </nav>  </header> <a name="dokuwiki__top" id="dokuwiki__top"></a> <main role="main" class="dw-container pb-5 dokuwiki container-fluid mx-5"> <div id="dokuwiki__pageheader"> <p class="text-right"> </p> <div id="dw__msgarea" class="small"> </div> </div> <div class="row"> <article id="dokuwiki__content" class="col-sm-12 col-md-12 " itemscope itemtype="http://schema.org/Article" itemref="dw__license">  <div class="no-panel" itemprop="articleBody"> <div class="page "> <div class="dw-content-page "><div class="dw-content"><h2 class="sectionedit1 page-header pb-3 mb-4 mt-5" id="academics_page_in_french">Academics (page in french)</h2> <div class="level2"> </div> <div class="plugin_include_content plugin_include__formation:index" id="plugin_include__formation__index"> <div class="level2"> <p> L'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>. A ce titre ses membres sont impliqués dans les enseignements de ces UFR de la Licence au Master à l'Université Paris Cité, ainsi qu'à l'<a href="https://eidd.univ-paris-diderot.fr" class="urlextern" title="https://eidd.univ-paris-diderot.fr" rel="ugc nofollow">Ecole d'ingénieur Denis Diderot</a> et à l'<a href="https://iut.univ-paris-diderot.fr" class="urlextern" title="https://iut.univ-paris-diderot.fr" rel="ugc nofollow">IUT Paris Diderot</a>. </p> <p> L'IRIF est associé à l'école doctorale des Sciences Mathématiques de Paris Centre (<a href="https://www.math.univ-paris-diderot.fr/formations/doctorats/index" class="urlextern" title="https://www.math.univ-paris-diderot.fr/formations/doctorats/index" rel="ugc nofollow">ED 386</a>). La formation doctorale est aussi dispensée par plusieurs écoles de recherche dispensées annuellement par des membres de l'IRIF. </p> <p> 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> est impliquée dans plusieurs actions pédagogiques visant à promouvoir l'informatique auprès d'un public le plus large possible. Enfin, les membres de l'IRIF sont à l'initiative de plusieurs projets pédagogiques, individuels ou collectifs, auprès du grand public. </p> </div> <h3 id="formation_a_la_recherche" class=" page-header pb-3 mb-4 mt-5">Formation à la recherche</h3> <div class="level3"> </div> <h5 id="masters">Masters</h5> <div class="level5"> <p> L'IRIF est principalement impliqué dans les parcours des masters informatique et mathématiques de l'Université Paris Cité : </p> <ul class=" fix-media-list-overlap"> <li class="level1"><div class="li"> <a href="https://wikimpri.dptinfo.ens-cachan.fr/doku.php" class="urlextern" title="https://wikimpri.dptinfo.ens-cachan.fr/doku.php" rel="ugc nofollow">Master Parisien de Recherche en Informatique (MPRI)</a> : Master recherche de l'UFR d'Informatique de l'Université Paris Cité, en partenariat avec les ENS de Paris et Paris-Saclay, l'Ecole Polytechnique et Inria Paris.</div> </li> <li class="level1"><div class="li"> <a href="http://www.math.univ-paris-diderot.fr/m2lmfi/" class="urlextern" title="http://www.math.univ-paris-diderot.fr/m2lmfi/" rel="ugc nofollow">Logique Mathématique et Fondements de l'Informatique (LMFI)</a> : Master recherche de l'UFR de Mathématiques en partenariat avec l'UFR d'Informatique de l'Université Paris Cité</div> </li> <li class="level1"><div class="li"> <a href="http://www.informatique.univ-paris-diderot.fr/formations/masters/" class="urlextern" title="http://www.informatique.univ-paris-diderot.fr/formations/masters/" rel="ugc nofollow">Master informatique</a> : L'UFR d'Informatique porte aussi plusieurs parcours professionnels, ainsi que des doubles parcours avec l'UFR de Mathématiques.</div> </li> </ul> <p> Plusieurs membres de l'IRIF sont aussi impliqués individuellement dans d'autres Masters transversaux, dont par exemple : </p> <ul class=" fix-media-list-overlap"> <li class="level1"><div class="li"> <a href="https://cri-paris.org/aire-lisc/" class="urlextern" title="https://cri-paris.org/aire-lisc/" rel="ugc nofollow">Life Science Master AIRE</a>: Programme interdisciplinaire de deux ans des universités de Paris Diderot et Descartes, abordant avec des approches quantitatives différentes interfaces avec les sciences de la vie.</div> </li> <li class="level1"><div class="li"> <a href="http://pise.info/" class="urlextern" title="http://pise.info/" rel="ugc nofollow">Master MECI spécialité PISE</a> : Parcours professionnel de deux ans de l'université Paris Diderot dans les domaines du conseil et de l’audit en système d’information et de la conduite de projets informatique.</div> </li> </ul> </div> <h5 id="preparer_une_these_a_l_irif">Préparer une thèse à l'IRIF</h5> <div class="level5"> <p> Chaque année, environ 20 nouveaux doctorants commencent leur thèse à l'IRIF. Pour en savoir plus sur les possibilités d'encadrement, de financement et sur le déroulement d'une thèse à l'IRIF, consulter la <a href="https://www.irif.fr/postes/these" class="urlextern" title="https://www.irif.fr/postes/these" rel="ugc nofollow">page dédiée</a>. </p> </div> <h5 id="formations_doctorales">Formations doctorales</h5> <div class="level5"> <p> <em class="u">École doctorale des Sciences Mathématiques de Paris Centre</em> <br/> L'IRIF est associé à l'<a href="http://www.math.univ-paris-diderot.fr/formations/doctorats/index" class="urlextern" title="http://www.math.univ-paris-diderot.fr/formations/doctorats/index" rel="ugc nofollow">école doctorale des Sciences Mathématiques de Paris Centre</a> (ED 386). </p> <p> <em class="u">Écoles Universitaires de Recherche</em> <br/> L'IRIF participe aux Ecoles Universitaires de Recherche (Graduate Schools) <a href="https://u-paris.fr/mathematicalsciences/" class="urlextern" title="https://u-paris.fr/mathematicalsciences/" rel="ugc nofollow">Mathematical Sciences</a> et <a href="https://u-paris.fr/graduate-schools/quantumtechnologies/" class="urlextern" title="https://u-paris.fr/graduate-schools/quantumtechnologies/" rel="ugc nofollow">Quantum Technologies</a>. </p> </div> <h5 id="ecoles_de_recherche">Écoles de recherche</h5> <div class="level5"> <p> L'IRIF est à l'initiative et pilote l'<a href="https://epit.irif.fr" class="urlextern" title="https://epit.irif.fr" rel="ugc nofollow">École de recherche de Printemps d'Informatique Théorique (EPIT)</a> depuis 1973. </p> <p> L'IRIF est impliqué dans la programmation des écoles CIMPA, et notamment à travers son équipe de direction (Zone géographique : Afrique). </p> <p> L'IRIF a de surcroît organisé plusieurs écoles dont voici un échantillon récent : </p> <ul class=" fix-media-list-overlap"> <li class="level1"><div class="li"> <a href="https://indico.ictp.it/event/9815/overview" class="urlextern" title="https://indico.ictp.it/event/9815/overview" rel="ugc nofollow">School on Mathematical Programming and Algorithms</a>, Nairobi, Kenya (R. Mantaci, J. Ongaro, B. Szendroi, P. Vaderlind, J.-B. Yunès), 11-29 juillet, 2022</div> </li> </ul> <p> L’IRIF est partenaire de la <a href="https://indico.ictp.it/event/9815/overview" class="urlextern" title="https://indico.ictp.it/event/9815/overview" rel="ugc nofollow">ICTP-EAUMP School on Mathematical Programming and Algorithms</a>. L’école de cette année a été organisée par la <strong>University of Nairobi</strong> et s’est déroulée du <strong>11 au 29 juillet 2022</strong> à la Kenya School of Government à Nairobi, Kenya. <strong>3 membres de l’IRIF</strong> ont participé à ce projet : <a href="http://yunes.informatique.univ-paris-diderot.fr/" class="urlextern" title="http://yunes.informatique.univ-paris-diderot.fr/" rel="ugc nofollow">Jean-Baptiste Yunès</a> (Maître de conférences à l’Université Paris Cité), <a href="https://www.irif.fr/~mantaci/" class="urlextern" title="https://www.irif.fr/~mantaci/" rel="ugc nofollow">Roberto Mantaci</a> (Maître de conférences à l’Université Paris Cité) et <a href="https://www.irif.fr/~vanden/" class="urlextern" title="https://www.irif.fr/~vanden/" rel="ugc nofollow">Anna Vanden-Wyngaerd</a> (Post-doc à l’IRIF et l’Université Libre de Bruxelles). <br/> Aperçu du projet : <a href="https://indico.ictp.it/event/9815/overview" class="urlextern" title="https://indico.ictp.it/event/9815/overview" rel="ugc nofollow">https://indico.ictp.it/event/9815/overview</a>. <br/> Programme : <a href="https://indico.ictp.it/event/9815/other-view?view=ictptimetable" class="urlextern" title="https://indico.ictp.it/event/9815/other-view?view=ictptimetable" rel="ugc nofollow">https://indico.ictp.it/event/9815/other-view?view=ictptimetable</a>. </p> <ul class=" fix-media-list-overlap"> <li class="level1"><div class="li"> <a href="http://cimpa2019.tabrizu.ac.ir" class="urlextern" title="http://cimpa2019.tabrizu.ac.ir" rel="ugc nofollow">Graphs, Algorithms and Randomness</a>, Tabriz, Iran (R. Naserasr) 15-22 juin 2019</div> </li> <li class="level1"><div class="li"> <a href="https://conferences.cirm-math.fr/1934.html" class="urlextern" title="https://conferences.cirm-math.fr/1934.html" rel="ugc nofollow">Donnéees, logique et automates</a>, Luminy (A. Gheerbrant, L. Libkin, L. Segoufin, P. Senellart, C. Sirangelo), 8-12 avril 2019</div> </li> <li class="level1"><div class="li"> <a href="http://gt-alea.math.cnrs.fr/alea2019/" class="urlextern" title="http://gt-alea.math.cnrs.fr/alea2019/" rel="ugc nofollow">Journées Aléa</a>, Luminy (G. Chapuy, E. Duchi, C. Goldschmidt) 18-22 march 2019</div> </li> <li class="level1"><div class="li"> <a href="http://projects.lsv.fr/epit18/" class="urlextern" title="http://projects.lsv.fr/epit18/" rel="ugc nofollow">Vérification de programmes</a>, Aussois (D. Baelde, C. Enea), 7-11 mai 2018</div> </li> <li class="level1"><div class="li"> <a href="https://www.benedikt-bollig.org/movep-2018" class="urlextern" title="https://www.benedikt-bollig.org/movep-2018" rel="ugc nofollow">Modeling and Verification of Parallel Processes</a>, Cachan (P. Habermehl, B. Bollig), 16-20 juillet 2018</div> </li> <li class="level1"><div class="li"> <a href="https://popl19.sigplan.org/track/VMCAI-2019" class="urlextern" title="https://popl19.sigplan.org/track/VMCAI-2019" rel="ugc nofollow">Verification, Model Checking, and Abstract Interpretation</a>, Cascais, Portugal (C. Enea, R. Piskac), 9-12 janvier 2018</div> </li> </ul> </div> <h3 id="actions_de_l_ufr_d_informatique" class=" page-header pb-3 mb-4 mt-5">Actions de l'UFR d'Informatique</h3> <div class="level3"> </div> <h5 id="fete_de_la_science">Fête de la science</h5> <div class="level5"> <p> L'UFR d'Informatique de l'Université Paris Cité participe chaque année à la <a href="http://www.informatique.univ-paris-diderot.fr/events/fete-de-la-science" class="urlextern" title="http://www.informatique.univ-paris-diderot.fr/events/fete-de-la-science" rel="ugc nofollow">fête de la science</a>. </p> </div> <h5 id="mooc">MOOC</h5> <div class="level5"> <ul class=" fix-media-list-overlap"> <li class="level1"><div class="li"> <a href="https://www.fun-mooc.fr/courses/course-v1:parisdiderot+56002+session04/about" class="urlextern" title="https://www.fun-mooc.fr/courses/course-v1:parisdiderot+56002+session04/about" rel="ugc nofollow">MOOC OCaml</a> : Avec 10 000 inscrits répartis en 3 éditions, ce MOOC aide à diffuser les concepts de la programmation fonctionnelle, qui sont de surcroît au cœur de les sujets de recherche de l'IRIF</div> </li> </ul> </div> <h5 id="concours">Concours</h5> <div class="level5"> <ul class=" fix-media-list-overlap"> <li class="level1"><div class="li"> <a href="http://journees-franciliennes-de-programmation.org/" class="urlextern" title="http://journees-franciliennes-de-programmation.org/" rel="ugc nofollow">Journées franciliennes de programmation</a> : Les JFPs sont depuis 10 ans un rendez-vous ludique qui prend la forme d'un concours de programmation entre les licences de Sorbonne Université, Université Paris-Sud et université de Université Paris Cité</div> </li> <li class="level1"><div class="li"> <a href="https://codingcompetitions.withgoogle.com/hashcode/hubs" class="urlextern" title="https://codingcompetitions.withgoogle.com/hashcode/hubs" rel="ugc nofollow">Hub Google Hash Code</a> à l'Université Paris Cité</div> </li> </ul> </div> <h3 id="workshops" class=" page-header pb-3 mb-4 mt-5">Workshops</h3> <div class="level3"> <ul class=" fix-media-list-overlap"> <li class="level1"><div class="li"> <a href="https://icalp2022.irif.fr/?page_id=46" class="urlextern" title="https://icalp2022.irif.fr/?page_id=46" rel="ugc nofollow">ICALP'22</a>, Paris, France (V. Mitsou, M. Shirmohammadi) 4 juillet 2022</div> </li> <li class="level1"><div class="li"> <a href="https://lipn.univ-paris13.fr/~mazza/DiffProgWorkshop/" class="urlextern" title="https://lipn.univ-paris13.fr/~mazza/DiffProgWorkshop/" rel="ugc nofollow">Workshop on Differentiable Programming</a>, Paris, France (D. Mazza, M. Pagani) 29-30 juin 2022</div> </li> <li class="level1"><div class="li"> <a href="https://www.irif.fr/~hosigra/pmwiki/pmwiki.php?n=Site.Workshop2022" class="urlextern" title="https://www.irif.fr/~hosigra/pmwiki/pmwiki.php?n=Site.Workshop2022" rel="ugc nofollow">Coloring, homomorphisms and flows in signed graphs</a>, Fréjus, France (R. Naserasr) 19-26 juin 2022</div> </li> <li class="level1"><div class="li"> <a href="https://www.irif.fr/~labyrinthofcombinatorics/" class="urlextern" title="https://www.irif.fr/~labyrinthofcombinatorics/" rel="ugc nofollow">Labyrinth of Combinatorics</a> en mémoire de Pierre Rosenstiehl, Paris, France (M. Bonamy, É. Colin de Verdière, R. Naserasr, J. Nešetřil, P. Ossona de Mandez, Z. Wang) 15-17 juin 2022</div> </li> </ul> </div> <h3 id="initiatives" class=" page-header pb-3 mb-4 mt-5">Initiatives</h3> <div class="level3"> </div> <h5 id="actions_permanentes_ou_recurrentes">Actions permanentes ou récurrentes</h5> <div class="level5"> <ul class=" fix-media-list-overlap"> <li class="level1"><div class="li"> <a href="http://www.learn-ocaml.org" class="urlextern" title="http://www.learn-ocaml.org" rel="ugc nofollow">Learn-OCaml</a> : Le projet Learn-OCaml vise à promouvoir l’utilisation d'OCaml et de son écosystème dans l'enseignement supérieur, au développement d'outils d'apprentissage, et à le rendre facilement utilisable par quiconque.</div> </li> <li class="level1"><div class="li"> <a href="https://www.cijm.org/salon" class="urlextern" title="https://www.cijm.org/salon" rel="ugc nofollow">Salon Culture et Jeux Mathématiques</a> : participation au stand “La recherche mathématique se prend au jeu”</div> </li> <li class="level1"><div class="li"> <a href="http://www.palais-decouverte.fr/fr/au-programme/expositions-permanentes/toutes-les-salles/informatique-et-sciences-du-numerique/" class="urlextern" title="http://www.palais-decouverte.fr/fr/au-programme/expositions-permanentes/toutes-les-salles/informatique-et-sciences-du-numerique/" rel="ugc nofollow">Informatique et sciences du numérique</a> : exposition au Palais de la découverte</div> </li> </ul> </div> <h5 id="actions_ponctuelles">Actions ponctuelles</h5> <div class="level5"> <ul class=" fix-media-list-overlap"> <li class="level1"><div class="li"> <a href="https://www.irif.fr/_media/formation/affiche_jules_ferry.pdf" class="media mediafile mf_pdf" title="formation:affiche_jules_ferry.pdf (428.4 KB)">Tous femmes de numérique !</a> : Après leur rencontre avec 4 informaticiennes de l’IRIF, 14 lycéennes du Lycée Jules Ferry ont expliqué à leurs camarades l’exposition permanente du Palais de la découverte sur l’informatique et les sciences du numérique le 29/05/18.</div> </li> <li class="level1"><div class="li"> <a href="http://www.mathsenville.com/evenements/ex-machina/" class="urlextern" title="http://www.mathsenville.com/evenements/ex-machina/" rel="ugc nofollow">Festival Maths en ville de Saint Denis</a> : débat sur l’intelligence artificielle</div> </li> <li class="level1"><div class="li"> Animation d'atelier “informatique déconnectée” en école primaire</div> </li> <li class="level1"><div class="li"> “Pépites de science” : action de médiation scientifique de la délégation Paris Villejuif du CNRS en milieu scolaire avec des établissements val-de-marnais, de mars à juin 2019</div> </li> <li class="level1"><div class="li"> <a href="https://mediatheque.villejuif.fr/Default/cnrs.aspx" class="urlextern" title="https://mediatheque.villejuif.fr/Default/cnrs.aspx" rel="ugc nofollow">Rencontres avec des chercheurs du CNRS</a> : rencontre organisée avec les habitants de Villejuif dans le cadre des 80 ans du CNRS sur le thème “Ordinateur quantique : rêve ou réalité ?”</div> </li> <li class="level1"><div class="li"> <a href="http://www.cerclefser.org/fr/les-articles-sciences-et-societe/" class="urlextern" title="http://www.cerclefser.org/fr/les-articles-sciences-et-societe/" rel="ugc nofollow">Declics</a> : Rencontres entre une équipe de recherche et des lycéens sous le format ludique du speed-meeting</div> </li> </ul> </div> <h5 id="blogs">Blogs</h5> <div class="level5"> <ul class=" fix-media-list-overlap"> <li class="level1"><div class="li"> <a href="http://binaire.blog.lemonde.fr" class="urlextern" title="http://binaire.blog.lemonde.fr" rel="ugc nofollow">Blog binaire</a></div> </li> </ul> </div> </div> <div class="level2"> </div> </div></div><p> <style> .page a.urlextern, .page a.interwiki, .page a.windows, .page a.mail, .page a.media { padding-left: 0 !important; background: none !important; } .page { text-align: justify; } body {font-size: 15px; font-weight: 300; color: #333333; } b,strong {font-weight: 600; color: #333333; } p {margin-bottom:1.3em} h1 {font-size: 2.8em; margin-bottom:1.5em; font-weight: 400; } h2 {font-size: 2.2em; margin-bottom:1.2em; font-weight: 400; } h3 {font-size: 1.9em; margin-bottom:0.9em; font-weight: 400; } h4 {font-size: 1.7em; margin-bottom:0.8em; font-weight: 300; } h5 {font-size: 1.5em; margin-bottom:0.8em; font-weight: 300; } h5 {font-size: 1.4em; margin-bottom:0.8em; font-weight: 300; } </style> </p> </div> </div> <div class="small text-right"> </div> </article> </div> </main> <footer id="dw__footer" class="dw-container py-5 dokuwiki container-fluid">  <div class="dw-container small container-fluid mx-5"> <div class="footer-dw-title"> <div class="media"> <div class="media-left">  <img src="https://www.irif.fr/_media/logo_footer.png" alt="" class="media-object" style="height:10px" /> </div> <div class="media-body"> <div class="row"> <div class="col-sm-2"> <h4 class="media-heading"></h4> <p> </p> </div> <div class="col-sm-10"> </div> </div> </div> </div> </div> <a style="font-size:12px" href="https://www.irif.fr/informations/mentions-legales">Mentions légales</a> <div class="footer-license row"> <hr/> <div id="dw__license" class="col-sm-6"> </div> <div class="col-sm-6"> </div> </div> </div>  </footer> <a href="#dokuwiki__top" class="back-to-top hidden-print btn btn-default" title="skip to content" accesskey="t"> <span class="iconify" data-icon="mdi:chevron-up"></span> </a> <div id="screen__mode"> <span class="visible-xs-block"></span> <span class="visible-sm-block"></span> <span class="visible-md-block"></span> <span class="visible-lg-block"></span> </div> <img src="https://www.irif.fr/lib/exe/taskrunner.php?id=en%3Aformation%3Aindex&1732758055" width="2" height="1" alt="" /> </div> </body> </html>