CINXE.COM

<!DOCTYPE html> <html xmlns="http://www.w3.org/1999/xhtml" lang="fr" dir="ltr" class="no-js"> <head> <meta charset="UTF-8" /> <title>Contrats en cours</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="contrats,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/contrats/index?do=index" title="Plan du site"/> <link rel="manifest" href="https://www.irif.fr/lib/exe/manifest.php"/> <link rel="alternate" type="text/html" title="HTML brut" href="https://www.irif.fr/_export/xhtml/contrats/index"/> <link rel="alternate" type="text/plain" title="Wiki balise" href="https://www.irif.fr/_export/raw/contrats/index"/> <link rel="canonical" href="https://www.irif.fr/contrats/index"/> <link rel="stylesheet" href="https://www.irif.fr/lib/exe/css.php?t=bootstrap3&tseed=61a6ee3a3e4185dd1cf55b36d7bda871"/> <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='contrats';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}},"id":"contrats:index","namespace":"contrats","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=61a6ee3a3e4185dd1cf55b36d7bda871" 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="contrats: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">INFORMATIONS <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <a href="https://www.irif.fr/informations/presentation" class="wikilink1" title="informations:presentation" >Présentation</a> </li> <li class="level2"> <a href="https://www.irif.fr/informations/contacts" class="wikilink1" title="informations:contacts" >Contacts et accès</a> </li> <li class="level2"> <a href="https://www.irif.fr/informations/charte" class="wikilink1" title="informations:charte" >Charte des membres de l’IRIF</a> </li> <li class="level2"> <a href="https://www.irif.fr/egalite-fh/index" class="wikilink1" title="egalite-fh:index" >Égalités</a> </li> <li class="level2"> <a href="https://www.irif.fr/environnement/index" class="wikilink1" title="environnement:index" >Environnement</a> </li> <li class="level2"> <a href="https://www.irif.fr/informations/annuaire" class="wikilink1" title="informations:annuaire" >Annuaire</a> </li> <li class="level2"> <a href="https://www.irif.fr/informations/mentorat" class="wikilink1" title="informations:mentorat" >Programme de mentorat</a> </li> <li class="level2"> <a href="https://www.irif.fr/informations/childcare" class="wikilink1" title="informations:childcare" >Childcare program</a> </li> <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> </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">RECHERCHE <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <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> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/algocomp/index" class="wikilink1" title="equipes:algocomp:index" >Algorithmes et complexité</a> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/distribue/index" class="wikilink1" title="equipes:distribue:index" >Calcul distribué</a> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/combi/index" class="wikilink1" title="equipes:combi:index" >Combinatoire</a> </li> <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> </li> <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> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/automates/index" class="wikilink1" title="equipes:automates:index" >Automates et applications</a> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/verif/index" class="wikilink1" title="equipes:verif:index" >Modélisation et vérification</a> </li> <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> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/algebre/index" class="wikilink1" title="equipes:algebre:index" >Algèbre et calcul</a> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/programmes/index" class="wikilink1" title="equipes:programmes:index" >Programmes et Langages (PL)</a> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/preuves/index" class="wikilink1" title="equipes:preuves:index" >Preuves et programmes</a> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/picube/index" class="wikilink1" title="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> </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">ÉVÉNEMENTS <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <strong><a href="https://www.irif.fr/seminaires/evenements" class="wikilink1" title="seminaires:evenements" >Evénements de l'IRIF</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/irif/index" class="wikilink1" title="seminaires:irif:index" >IRIF Distinguished Talks Series</a> </li> <li class="level2"> <a href="https://www.irif.fr/rencontres/irif/index" class="wikilink1" title="rencontres:irif:index" >Journées de l'IRIF</a> </li> <li class="level2"> <a href="https://www.irif.fr/rencontres/poles/index" class="wikilink1" title="rencontres:poles:index" >Rencontres de pôles</a> </li> <li class="level2"> <strong><a href="https://www.irif.fr/seminaires/seminaires" class="wikilink1" title="seminaires:seminaires" >Séminaires de recherche</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/algocomp/index" class="wikilink1" title="seminaires:algocomp:index" >Algorithmes et complexité</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/asd/index" class="wikilink1" title="seminaires:asd:index" >Algorithmes et structures discrètes</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/automates/index" class="wikilink1" title="seminaires:automates:index" >Automates</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/combi/index" class="wikilink1" title="seminaires:combi:index" >Combinatoire énumérative et analytique</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/picube/index" class="wikilink1" title="seminaires:picube:index" >Séminaire Formath (Formalized Mathematics)</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/adg/index" class="wikilink1" title="seminaires:adg:index" >Graphes et calcul distribué</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/pps/index" class="wikilink1" title="seminaires:pps:index" >Preuves, programmes et systèmes</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/verif/index" class="wikilink1" title="seminaires:verif:index" >Vérification</a> </li> <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> </li> <li class="level2"> <strong><a href="https://www.irif.fr/seminaires/onlineseminars" class="wikilink1" title="seminaires:onlineseminars" >Séminaires en ligne</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/greta/index" class="wikilink1" title="seminaires:greta:index" >Graph Transformation Theory and Applications</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/numeration/index" class="wikilink1" title="seminaires:numeration:index" >One world numeration seminar</a> </li> <li class="level2"> <strong><a href="https://www.irif.fr/seminaires/gt" class="wikilink1" title="seminaires:gt" >Groupes de travail</a></strong> </li> <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> </li> <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> </li> <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> </li> <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> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/programmation/index" class="wikilink1" title="seminaires:programmation:index" >Programmation</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/semantique/index" class="wikilink1" title="seminaires:semantique:index" >Sémantique</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/types/index" class="wikilink1" title="seminaires:types:index" >Théorie des types et réalisabilité</a> </li> <li class="level2"> <strong><a href="https://www.irif.fr/seminaires/soutenances" class="wikilink1" title="seminaires:soutenances" >Soutenances</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/these/index" class="wikilink1" title="seminaires:these:index" >Soutenances de thèses</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/hdr/index" class="wikilink1" title="seminaires:hdr:index" >Soutenances d'habilitation</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">MÉDIATION <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <a href="https://www.irif.fr/mediation/fdls" class="wikilink1" title="mediation:fdls" >Fête de la Science</a> </li> <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> </li> <li class="level2"> <a href="https://www.irif.fr/mediation/scolaire" class="wikilink1" title="mediation:scolaire" >Stages scolaires d’observation</a> </li> <li class="level2"> <a href="https://www.irif.fr/portraits/index" class="wikilink1" title="portraits:index" >Portraits de recherche</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">Exposition 50 ans</a> </li> <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> </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">POINTS CLÉS <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <a href="https://www.irif.fr/distinctions/index" class="wikilink1" title="distinctions:index" > Prix et distinctions</a> </li> <li class="level2"> <a href="https://www.irif.fr/logiciels/index" class="wikilink1" title="logiciels:index" >Logiciels</a> </li> <li class="level2 active"> <a href="https://www.irif.fr/contrats/index" class="wikilink1" title="contrats:index" data-wiki-curid="true">Contrats</a> </li> <li class="level2"> <a href="https://www.irif.fr/international/index" class="wikilink1" title="international:index" >Collaborations internationales</a> </li> <li class="level2"> <a href="https://epit.irif.fr" class="" title="https://epit.irif.fr" rel="ugc nofollow">L'école thématique EPIT</a> </li> <li class="level2"> <a href="https://www.irif.fr/formation/index" class="wikilink1" title="formation:index" >Formation</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">REJOIGNEZ-NOUS <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <a href="https://www.irif.fr/informations/visit" class="wikilink1" title="informations:visit" >Programme visiteurs</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/admin" class="wikilink1" title="postes:admin" >Postes soutien à la recherche</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/universite" class="wikilink1" title="postes:universite" >Enseignant·e·s-chercheurs·euses</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/chercheur" class="wikilink1" title="postes:chercheur" >Chercheurs·euses</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/postdoc" class="wikilink1" title="postes:postdoc" >Postdocs</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/ater" class="wikilink1" title="postes:ater" >ATER</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/these" class="wikilink1" title="postes:these" >Thèses</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/stage" class="wikilink1" title="postes:stage" >Stages de master</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/stage-scolaire" class="wikilink1" title="postes:stage-scolaire" >Stages scolaires d’observation</a> </li> </ul> </li> </ul> <ul class="nav navbar-nav"> <li class="level1"> <a href="https://www.irif.fr/intranet/index" class="wikilink1" title="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="Traductions de cette 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">Traductions de cette 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> Traductions de cette page </li> <li><div class='li cur'><a href="https://www.irif.fr/contrats/index" class="wikilink1 cur 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'><a href="https://www.irif.fr/en/contrats/index" class="wikilink1 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/contrats/index?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> </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="contrats_en_cours">Contrats en cours</h2> <div class="level2"> <div class="dt-wrapper" data-page-length='-1' data-dom='frt' data-auto-width='true' data-order='[[0, "asc"],[2, "asc"]]'><div class="table-responsive"><table class="inline table table-striped table-condensed"> <thead> <tr class="row0"> <th class="col0"> Type </th><th class="col1"> Gestionnaire </th><th class="col2"> Acronyme </th><th class="col3"> Nom </th><th class="col4"> Responsable </th><th class="col5"> Début </th><th class="col6"> Fin </th> </tr> </thead> <tr class="row1"> <td class="col0"> ANR </td><td class="col1"> CNRS </td><td class="col2"> COMBINé </td><td class="col3"> <a href="http://anr-combine.math.cnrs.fr/" class="urlextern" title="http://anr-combine.math.cnrs.fr/" rel="ugc nofollow">Enumerative combinatorics interacting with Algebra, Number Theory and Physics</a> </td><td class="col4"> Lovejoy Jeremy </td><td class="col5"> 2020-01-01 </td><td class="col6"> 2025-03-31 </td> </tr> <tr class="row2"> <td class="col0"> ERC </td><td class="col1"> CNRS </td><td class="col2"> PARQ </td><td class="col3"> <a href="https://cordis.europa.eu/project/id/885394/fr" class="urlextern" title="https://cordis.europa.eu/project/id/885394/fr" rel="ugc nofollow">Lattices in a Parallel and Quantum World</a> </td><td class="col4"> Magniez Frédéric </td><td class="col5"> 2020-07-01 </td><td class="col6"> 2025-06-30 </td> </tr> <tr class="row3"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> CYPHAI </td><td class="col3"> <a href="http://www.cyphai.io/" class="urlextern" title="http://www.cyphai.io/" rel="ugc nofollow">Systèmes cyber-phisique et IA</a> </td><td class="col4"> Asarin Eugène </td><td class="col5"> 2020-11-01 </td><td class="col6"> 2025-10-31 </td> </tr> <tr class="row4"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> COREGRAPHIE </td><td class="col3"> <a href="https://coregraphie.projet.liris.cnrs.fr/" class="urlextern" title="https://coregraphie.projet.liris.cnrs.fr/" rel="ugc nofollow">COmpression de REseaux et de GRAPHes pour une Informatique Efficace</a> </td><td class="col4"> De Montgolfier Fabien </td><td class="col5"> 2021-04-01 </td><td class="col6"> 2025-09-30 </td> </tr> <tr class="row5"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> MAVEriQ </td><td class="col3"> <a href="https://www.irif.fr/users/maveriq/" class="urlextern" title="https://www.irif.fr/users/maveriq/" rel="ugc nofollow">Méthodes d'analyse pour la vérification de propriétés quantitatives</a> </td><td class="col4"> Degorre Aldric </td><td class="col5"> 2021-03-01 </td><td class="col6"> 2025-05-31 </td> </tr> <tr class="row6"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> DIFFERENCE </td><td class="col3"> <a href="https://anr.fr/Projet-ANR-20-CE48-0002" class="urlextern" title="https://anr.fr/Projet-ANR-20-CE48-0002" rel="ugc nofollow">Théorie de la complexité avec des équations différentielles discrètes</a> </td><td class="col4"> Laroussinie François </td><td class="col5"> 2020-11-16 </td><td class="col6"> 2026-05-15 </td> </tr> <tr class="row7"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> DUCAT </td><td class="col3"> <a href="https://anr.fr/Project-ANR-20-CE48-0006" class="urlextern" title="https://anr.fr/Project-ANR-20-CE48-0006" rel="ugc nofollow">Calcul distribué sur réseaux à la lumière de la topologie algébrique</a> </td><td class="col4"> Fraigniaud Pierre </td><td class="col5"> 2021-03-15 </td><td class="col6"> 2025-03-14 </td> </tr> <tr class="row8"> <td class="col0"> ANR </td><td class="col1"> CNRS </td><td class="col2"> ASESYC </td><td class="col3"> <a href="https://anr.fr/Project-ANR-21-CE39-0001" class="urlextern" title="https://anr.fr/Project-ANR-21-CE39-0001" rel="ugc nofollow">Cryptographie symétrique auditable, sûre & efficace</a> </td><td class="col4"> Dagand Pierre-Evariste </td><td class="col5"> 2021-10-01 </td><td class="col6"> 2025-10-31 </td> </tr> <tr class="row9"> <td class="col0"> ANR </td><td class="col1"> CNRS </td><td class="col2"> RECIPROG </td><td class="col3"> Raisonner avec des preuves circulaires pour la programmation </td><td class="col4"> Saurin Alexis </td><td class="col5"> 2021-10-01 </td><td class="col6"> 2025-09-30 </td> </tr> <tr class="row10"> <td class="col0"> UE </td><td class="col1"> CNRS </td><td class="col2"> HPCQS </td><td class="col3"> <a href="https://www.hpcqs.eu/" class="urlextern" title="https://www.hpcqs.eu/" rel="ugc nofollow">High Performance Computer and Quantum Simulator hybrid</a> </td><td class="col4"> Magniez Frédéric </td><td class="col5"> 2021-12-01 </td><td class="col6"> 2025-12-01 </td> </tr> <tr class="row11"> <td class="col0"> ANR </td><td class="col1"> CNRS </td><td class="col2"> FLITTLA </td><td class="col3"> Lois fondamentales de la théorie de l'information à travers le prisme des applications </td><td class="col4"> Perifel Sylvain </td><td class="col5"> 2021-10-01 </td><td class="col6"> 2026-03-31 </td> </tr> <tr class="row12"> <td class="col0"> ANR </td><td class="col1"> CNRS </td><td class="col2"> COMCOPT </td><td class="col3"> Méthodes Continues pour l'Optimisation Combinatoire </td><td class="col4"> Vladu Adrian </td><td class="col5"> 2022-04-01 </td><td class="col6"> 2026-03-31 </td> </tr> <tr class="row13"> <td class="col0"> ERA-NET </td><td class="col1"> CNRS </td><td class="col2"> QOPT </td><td class="col3"> <a href="https://quantera.eu/qopt/" class="urlextern" title="https://quantera.eu/qopt/" rel="ugc nofollow">Quantum algorithms for optimization</a> </td><td class="col4"> Magniez Frédéric </td><td class="col5"> 2022-05-01 </td><td class="col6"> 2025-04-30 </td> </tr> <tr class="row14"> <td class="col0"> ANR </td><td class="col1"> CNRS </td><td class="col2"> QUOPS </td><td class="col3"> Algorithmes quantiques pour l'optimisation et l'échantillonnage moderne </td><td class="col4"> Apers Simon </td><td class="col5"> 2023-01-01 </td><td class="col6"> 2026-12-31 </td> </tr> <tr class="row15"> <td class="col0"> IUF </td><td class="col1"> Univ </td><td class="col2"> IUF Carton </td><td class="col3"> <a href="https://www.iufrance.fr/les-membres-de-liuf/membre/2387-olivier-carton.html" class="urlextern" title="https://www.iufrance.fr/les-membres-de-liuf/membre/2387-olivier-carton.html" rel="ugc nofollow">Olivier Carton</a> </td><td class="col4"> Carton Olivier </td><td class="col5"> 2022-10-01 </td><td class="col6"> 2027-09-30 </td> </tr> <tr class="row16"> <td class="col0"> ANR </td><td class="col1"> CNRS </td><td class="col2"> VESYAM </td><td class="col3"> Vérification et synthèse de modèles algébriques </td><td class="col4"> Shirmohammadi Mahsa </td><td class="col5"> 2022-10-01 </td><td class="col6"> 2026-09-30 </td> </tr> <tr class="row17"> <td class="col0"> PEPR </td><td class="col1"> CNRS </td><td class="col2"> EPIQ </td><td class="col3"> <a href="https://project.inria.fr/epiq/fr/" class="urlextern" title="https://project.inria.fr/epiq/fr/" rel="ugc nofollow">Quantum Software - Study of the quantum stack: Algorithm, models, and simulation for quantum computing</a> </td><td class="col4"> Magniez Frédéric </td><td class="col5"> 2022-01-01 </td><td class="col6"> 2027-12-31 </td> </tr> <tr class="row18"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> TEMPOGRAL </td><td class="col3"> <a href="https://www.labri.fr/perso/acasteig/tempogral/" class="urlextern" title="https://www.labri.fr/perso/acasteig/tempogral/" rel="ugc nofollow">Algorithmique des graphes temporels : modèles, questions, résolution</a> </td><td class="col4"> Viennot Laurent </td><td class="col5"> 2022-10-01 </td><td class="col6"> 2027-02-28 </td> </tr> <tr class="row19"> <td class="col0"> ANR </td><td class="col1"> CNRS </td><td class="col2"> CoREACT </td><td class="col3"> Coq-based Rewriting: towards Executable Applied Category Theory </td><td class="col4"> Behr Nicolas </td><td class="col5"> 2022-10-01 </td><td class="col6"> 2026-09-30 </td> </tr> <tr class="row20"> <td class="col0"> ANR </td><td class="col1"> CNRS </td><td class="col2"> ISOMA </td><td class="col3"> Ising Model on Maps </td><td class="col4"> Albenque Marie </td><td class="col5"> 2023-01-01 </td><td class="col6"> 2025-09-30 </td> </tr> <tr class="row21"> <td class="col0"> PEPR </td><td class="col1"> CNRS </td><td class="col2"> Secure Compute </td><td class="col3"> Secure Compute </td><td class="col4"> Couteau Geoffroy </td><td class="col5"> 2022-07-01 </td><td class="col6"> 2028-06-30 </td> </tr> <tr class="row22"> <td class="col0"> AMI </td><td class="col1"> Univ </td><td class="col2"> QuanTEdu </td><td class="col3"> <a href="https://www.u-bourgogne.fr/actualites/projet-qantedu.html" class="urlextern" title="https://www.u-bourgogne.fr/actualites/projet-qantedu.html" rel="ugc nofollow">QuanTEdu-France</a> </td><td class="col4"> Magniez Frédéric </td><td class="col5"> 2022-09-01 </td><td class="col6"> 2027-10-31 </td> </tr> <tr class="row23"> <td class="col0"> Autre </td><td class="col1"> CNRS </td><td class="col2"> AMAZON </td><td class="col3"> Safe composition of distributed off-the-shelf components </td><td class="col4"> Bouajjani Ahmed </td><td class="col5"> 2023-03-24 </td><td class="col6"> 2050-12-31 </td> </tr> <tr class="row24"> <td class="col0"> Industriel </td><td class="col1"> CNRS </td><td class="col2"> RELATIONALAI </td><td class="col3"> Expressive power and complexity of relational languages for querying graphs </td><td class="col4"> Libkin Leonid </td><td class="col5"> 2023-09-01 </td><td class="col6"> 2026-08-31 </td> </tr> <tr class="row25"> <td class="col0"> Marie Curie </td><td class="col1"> CNRS </td><td class="col2"> RANDNET </td><td class="col3"> Randomness and learning in networks </td><td class="col4"> Albenque Marie </td><td class="col5"> 2021-01-01 </td><td class="col6"> 2026-04-30 </td> </tr> <tr class="row26"> <td class="col0"> EMERGENCE </td><td class="col1"> Univ </td><td class="col2"> APRAPRAM </td><td class="col3"> APRAPRAM </td><td class="col4"> Herbelin Hugo </td><td class="col5"> 2023-09-01 </td><td class="col6"> 2025-08-31 </td> </tr> <tr class="row27"> <td class="col0"> EMERGENCE </td><td class="col1"> Univ </td><td class="col2"> TERVORS </td><td class="col3"> Toward Efficient Runtime Verification of Real-time Systems </td><td class="col4"> Foughali Mohammed </td><td class="col5"> 2023-09-01 </td><td class="col6"> 2025-08-31 </td> </tr> <tr class="row28"> <td class="col0"> ERC </td><td class="col1"> CNRS </td><td class="col2"> OBELiSC </td><td class="col3"> Overcoming Barriers and Efficiency Limitations in Secure Computation </td><td class="col4"> Couteau Geoffroy </td><td class="col5"> 2024-09-01 </td><td class="col6"> 2029-08-31 </td> </tr> <tr class="row29"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> PaVeDys </td><td class="col3"> Vérification paramétrée de systèmes distribues dynamiques </td><td class="col4"> Fortin Marie </td><td class="col5"> 2023-10-01 </td><td class="col6"> 2027-09-30 </td> </tr> <tr class="row30"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> SYMDINAR </td><td class="col3"> SYMDINAR </td><td class="col4"> Berthé Valérie </td><td class="col5"> 2024-10-01 </td><td class="col6"> 2027-09-30 </td> </tr> <tr class="row31"> <td class="col0"> PEPR </td><td class="col1"> CNRS </td><td class="col2"> HQI </td><td class="col3"> PEPR HQI : </td><td class="col4"> Apers Simon </td><td class="col5"> 2022-04-01 </td><td class="col6"> 2028-03-31 </td> </tr> <tr class="row32"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> PREDICTIONS </td><td class="col3"> PREDICTIONS : </td><td class="col4"> Rosén Adi </td><td class="col5"> 2023-10-01 </td><td class="col6"> 2027-09-30 </td> </tr> <tr class="row33"> <td class="col0"> CIFRE </td><td class="col1"> CNRS </td><td class="col2"> BERMOT </td><td class="col3"> CIFRE Bermot Elie </td><td class="col4"> Apers Simon </td><td class="col5"> 2023-09-01 </td><td class="col6"> 2026-08-31 </td> </tr> <tr class="row34"> <td class="col0"> GDR </td><td class="col1"> CNRS </td><td class="col2"> GDR IFM </td><td class="col3"> GDR IFM - Pierre Fraigniaud </td><td class="col4"> Fraigniaud Pierre </td><td class="col5"> 2024-01-01 </td><td class="col6"> 2028-12-31 </td> </tr> <tr class="row35"> <td class="col0"> ANR </td><td class="col1"> CNRS </td><td class="col2"> CartesEtPlus </td><td class="col3"> Combinatoire des cartes, méandres et multicourbes, et ses interactions </td><td class="col4"> Chapuy Guillaume </td><td class="col5"> 2023-10-01 </td><td class="col6"> 2028-12-31 </td> </tr> <tr class="row36"> <td class="col0"> ANR </td><td class="col1"> CNRS </td><td class="col2"> VeriGraph </td><td class="col3"> Requêtes et transformations vérifiables pour les graphes </td><td class="col4"> Libkin Leonid </td><td class="col5"> 2021-10-01 </td><td class="col6"> 2025-09-30 </td> </tr> <tr class="row37"> <td class="col0"> ANR </td><td class="col1"> CNRS </td><td class="col2"> DefMal </td><td class="col3"> <a href="https://pepr-defmal.loria.fr/fr/" class="urlextern" title="https://pepr-defmal.loria.fr/fr/" rel="ugc nofollow">Défense contre les programmes malveillants</a> </td><td class="col4"> Touili Tayssir </td><td class="col5"> 2022-07-01 </td><td class="col6"> 2028-07-31 </td> </tr> <tr class="row38"> <td class="col0"> Autre </td><td class="col1"> CNRS </td><td class="col2"> NR </td><td class="col3"> IRIF-MORPHO </td><td class="col4"> Krivine Jean </td><td class="col5"> 2024-09-01 </td><td class="col6"> 2025-02-28 </td> </tr> <tr class="row39"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> SiGraTop </td><td class="col3"> SiGraTop </td><td class="col4"> Naserasr Reza </td><td class="col5"> 2024-09-01 </td><td class="col6"> 2026-08-31 </td> </tr> <tr class="row40"> <td class="col0"> ANR </td><td class="col1"> CNRS </td><td class="col2"> A2C </td><td class="col3"> Anonymat et l'Authenticité à Travers la Cryptographie </td><td class="col4"> Orru Michele </td><td class="col5"> 2024-10-01 </td><td class="col6"> 2028-12-31 </td> </tr> <tr class="row41"> <td class="col0"> IDEX </td><td class="col1"> Univ </td><td class="col2"> QUILTING </td><td class="col3"> QUILTING </td><td class="col4"> Dagand Pierre-Evariste </td><td class="col5"> 2024-09-01 </td><td class="col6"> 2026-08-31 </td> </tr> <tr class="row42"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> ENEDISC </td><td class="col3"> Calcul Distribué Énergétiquement Efficace </td><td class="col4"> Rabie Mikael </td><td class="col5"> 2024-10-01 </td><td class="col6"> 2028-12-31 </td> </tr> <tr class="row43"> <td class="col0"> STIFTUNG ETHEREUM </td><td class="col1"> CNRS </td><td class="col2"> Theory and practice of Fiat-Shamir </td><td class="col3"> Integrating the SAFE <abbr title="Application Programming Interface">API</abbr> into the theorical proofs in the IOP model </td><td class="col4"> Orru Michele </td><td class="col5"> 2024-07-01 </td><td class="col6"> 2025-08-01 </td> </tr> <tr class="row44"> <td class="col0"> ANR </td><td class="col1"> CNRS </td><td class="col2"> GODASse </td><td class="col3"> Graphes Ordonnés : Décompositions, Algorithmes et Structures </td><td class="col4"> Charbit Pierre </td><td class="col5"> 2024-10-01 </td><td class="col6"> 2029-03-31 </td> </tr> <tr class="row45"> <td class="col0"> UE </td><td class="col1"> Univ </td><td class="col2"> QCOMICAL </td><td class="col3"> Quantum Computing and its Calculi </td><td class="col4"> Kesner Delia </td><td class="col5"> 2024-12-01 </td><td class="col6"> 2028-11-30 </td> </tr> <tr class="row46"> <td class="col0"> Idex </td><td class="col1"> Univ </td><td class="col2"> METALG </td><td class="col3"> METALG </td><td class="col4"> Blin Lelia </td><td class="col5"> 2024-09-01 </td><td class="col6"> 2026-08-31 </td> </tr> </table></div> </div> </div> <h2 class="sectionedit3 page-header pb-3 mb-4 mt-5" id="anciens_contrats_depuis_2015">Anciens contrats depuis 2015</h2> <div class="level2"> <div class="dt-wrapper" data-page-length='-1' data-dom='frt' data-auto-width='true' data-order='[[0, "asc"],[2, "asc"]]'><div class="table-responsive"><table class="inline table table-striped table-condensed"> <thead> <tr class="row0"> <th class="col0"> Type </th><th class="col1"> Gestionnaire </th><th class="col2"> Acronyme </th><th class="col3"> Nom </th><th class="col4"> Responsable </th><th class="col5"> Début </th><th class="col6"> Fin </th> </tr> </thead> <tr class="row1"> <td class="col0"> ERC </td><td class="col1"> CNRS </td><td class="col2"> GALE </td><td class="col3"> <a href="https://cordis.europa.eu/project/rcn/97598_fr.html" class="urlextern" title="https://cordis.europa.eu/project/rcn/97598_fr.html" rel="ugc nofollow">Games and Automata for Logic Extensions</a> </td><td class="col4"> Colcombet Thomas </td><td class="col5"> 2011-01-01 </td><td class="col6"> 2015-12-31 </td> </tr> <tr class="row2"> <td class="col0"> <abbr title="In real life">IRL</abbr> </td><td class="col1"> Univ </td><td class="col2"> FILOFOCS UPC </td><td class="col3"> <a href="https://www.filofocs.org/" class="urlextern" title="https://www.filofocs.org/" rel="ugc nofollow">French-Israeli Laboratory on Foundations of Computer Science</a> </td><td class="col4"> Rosén Adi </td><td class="col5"> 2019-01-01 </td><td class="col6"> 2024-12-31 </td> </tr> <tr class="row3"> <td class="col0"> IRP </td><td class="col1"> CNRS </td><td class="col2"> STRUCO </td><td class="col3"> <a href="https://www.irif.fr/~charbit/STRUCO/" class="urlextern" title="https://www.irif.fr/~charbit/STRUCO/" rel="ugc nofollow">Structures in Combinatorics</a> </td><td class="col4"> Charbit Pierre </td><td class="col5"> 2012-01-01 </td><td class="col6"> 2019-12-31 </td> </tr> <tr class="row4"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> RAPIDO </td><td class="col3"> <a href="https://www.irif.fr/~saurin/RAPIDO/" class="urlextern" title="https://www.irif.fr/~saurin/RAPIDO/" rel="ugc nofollow">Reasoning And Programming With Infinite Data Objects</a> </td><td class="col4"> Saurin Alexis </td><td class="col5"> 2015-01-01 </td><td class="col6"> 2019-09-30 </td> </tr> <tr class="row5"> <td class="col0"> IRN </td><td class="col1"> CNRS </td><td class="col2"> LL </td><td class="col3"> <a href="http://linear-logic.org/en/" class="urlextern" title="http://linear-logic.org/en/" rel="ugc nofollow">Linear Logic</a> </td><td class="col4"> Ehrhard Thomas </td><td class="col5"> 2015-01-01 </td><td class="col6"> 2022-12-31 </td> </tr> <tr class="row6"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> FISP </td><td class="col3"> <a href="http://www.agence-nationale-recherche.fr/Project-ANR-15-CE25-0014" class="urlextern" title="http://www.agence-nationale-recherche.fr/Project-ANR-15-CE25-0014" rel="ugc nofollow">The fine structure of formal proof systems and their computational interpretations</a> </td><td class="col4"> Parigot Michel </td><td class="col5"> 2016-01-01 </td><td class="col6"> 2019-10-31 </td> </tr> <tr class="row7"> <td class="col0"> IEA </td><td class="col1"> CNRS </td><td class="col2"> QIP </td><td class="col3"> <a href="https://www.irif.fr/~magniez/quantum-irif-iqc/" class="urlextern" title="https://www.irif.fr/~magniez/quantum-irif-iqc/" rel="ugc nofollow">Quantum Information Processing</a> </td><td class="col4"> Magniez Frédéric </td><td class="col5"> 2017-01-01 </td><td class="col6"> 2019-12-31 </td> </tr> <tr class="row8"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> FREDDA </td><td class="col3"> <a href="https://www.irif.fr/~fredda/" class="urlextern" title="https://www.irif.fr/~fredda/" rel="ugc nofollow">FoRmal mEthods for the Design of Distributed Algorithms</a> </td><td class="col4"> Sangnier Arnaud </td><td class="col5"> 2017-10-01 </td><td class="col6"> 2023-03-31 </td> </tr> <tr class="row9"> <td class="col0"> ANR </td><td class="col1"> Inria </td><td class="col2"> MULTIMOD </td><td class="col3"> <a href="https://project.inria.fr/multimod/" class="urlextern" title="https://project.inria.fr/multimod/" rel="ugc nofollow">Scalable routing in Multi-Modal transportation networks</a> </td><td class="col4"> Viennot Laurent </td><td class="col5"> 2018-01-01 </td><td class="col6"> 2022-06-30 </td> </tr> <tr class="row10"> <td class="col0"> PIA </td><td class="col1"> Univ </td><td class="col2"> OSTV </td><td class="col3"> Open Source Telecom Vendor </td><td class="col4"> Chroboczek Juliusz </td><td class="col5"> 2016-10-01 </td><td class="col6"> 2020-10-01 </td> </tr> <tr class="row11"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> MEALYN </td><td class="col3"> <a href="https://www.irif.fr/~klimann/MealyM/" class="urlextern" title="https://www.irif.fr/~klimann/MealyM/" rel="ugc nofollow">Mealy machines, automaton (semi)groups, decision problems and random generation</a> </td><td class="col4"> Picantin Matthieu </td><td class="col5"> 2013-02-01 </td><td class="col6"> 2017-01-31 </td> </tr> <tr class="row12"> <td class="col0"> ERC </td><td class="col1"> CNRS </td><td class="col2"> COMBITOP </td><td class="col3"> <a href="https://www.irif.fr/~chapuy/CombiTop.html" class="urlextern" title="https://www.irif.fr/~chapuy/CombiTop.html" rel="ugc nofollow">New Interactions of Combinatorics Through Topological Expansions</a> </td><td class="col4"> Chapuy Guillaume </td><td class="col5"> 2017-03-01 </td><td class="col6"> 2022-08-31 </td> </tr> <tr class="row13"> <td class="col0"> ERA-NET </td><td class="col1"> Univ </td><td class="col2"> QUANTALGO </td><td class="col3"> <a href="http://quantalgo.ulb.be" class="urlextern" title="http://quantalgo.ulb.be" rel="ugc nofollow">Quantum Algorithms and Applications</a> </td><td class="col4"> Magniez Frédéric </td><td class="col5"> 2018-03-01 </td><td class="col6"> 2022-06-30 </td> </tr> <tr class="row14"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> HOSIGRA </td><td class="col3"> <a href="https://www.irif.fr/~hosigra/" class="urlextern" title="https://www.irif.fr/~hosigra/" rel="ugc nofollow">HOmomorphisms of SIgned GRAphs</a> </td><td class="col4"> Naserasr Reza </td><td class="col5"> 2018-03-01 </td><td class="col6"> 2023-07-31 </td> </tr> <tr class="row15"> <td class="col0"> ERC </td><td class="col1"> CNRS </td><td class="col2"> QCC </td><td class="col3"> <a href="https://cordis.europa.eu/project/rcn/108303_fr.html" class="urlextern" title="https://cordis.europa.eu/project/rcn/108303_fr.html" rel="ugc nofollow">Quantum Communication and Cryptography</a> </td><td class="col4"> Kerenidis Iordanis </td><td class="col5"> 2013-05-01 </td><td class="col6"> 2018-04-30 </td> </tr> <tr class="row16"> <td class="col0"> ERC </td><td class="col1"> CNRS </td><td class="col2"> DBA </td><td class="col3"> <a href="https://cordis.europa.eu/project/rcn/194520_en.html" class="urlextern" title="https://cordis.europa.eu/project/rcn/194520_en.html" rel="ugc nofollow">Distributed Biological Algorithms</a> </td><td class="col4"> Korman Amos </td><td class="col5"> 2015-05-01 </td><td class="col6"> 2021-04-30 </td> </tr> <tr class="row17"> <td class="col0"> ERC </td><td class="col1"> Univ </td><td class="col2"> FOVEDIS </td><td class="col3"> <a href="https://cordis.europa.eu/project/rcn/199509_en.html" class="urlextern" title="https://cordis.europa.eu/project/rcn/199509_en.html" rel="ugc nofollow">Formal specification and verification of distributed data structures</a> </td><td class="col4"> Enea Constantin </td><td class="col5"> 2016-05-01 </td><td class="col6"> 2022-08-31 </td> </tr> <tr class="row18"> <td class="col0"> Marie Curie </td><td class="col1"> Univ </td><td class="col2"> POLYBAR </td><td class="col3"> <a href="https://cordis.europa.eu/project/rcn/215744_en.html" class="urlextern" title="https://cordis.europa.eu/project/rcn/215744_en.html" rel="ugc nofollow">A new approach to polymorphism through bar recursion - Valentin Blot</a> </td><td class="col4"> Herbelin Hugo </td><td class="col5"> 2018-06-01 </td><td class="col6"> 2019-02-28 </td> </tr> <tr class="row19"> <td class="col0"> SIRTEQ </td><td class="col1"> CNRS </td><td class="col2"> QML </td><td class="col3"> <a href="http://www.sirteq.org/AAP/resultats-des-aap-post-doctoral-2017/" class="urlextern" title="http://www.sirteq.org/AAP/resultats-des-aap-post-doctoral-2017/" rel="ugc nofollow">Quantum Machiner Learning - Anupam Prakash</a> </td><td class="col4"> Kerenidis Iordanis </td><td class="col5"> 2018-07-01 </td><td class="col6"> 2018-12-31 </td> </tr> <tr class="row20"> <td class="col0"> IUF </td><td class="col1"> Univ </td><td class="col2"> IUF Bouajjani </td><td class="col3"> <a href="http://www.iufrance.fr/les-membres-de-liuf/membre/6-ahmed-bouajjani.html" class="urlextern" title="http://www.iufrance.fr/les-membres-de-liuf/membre/6-ahmed-bouajjani.html" rel="ugc nofollow">Ahmed Bouajjani</a> </td><td class="col4"> Bouajjani Ahmed </td><td class="col5"> 2013-09-01 </td><td class="col6"> 2018-08-31 </td> </tr> <tr class="row21"> <td class="col0"> ERC </td><td class="col1"> CNRS </td><td class="col2"> DUALL </td><td class="col3"> <a href="https://math.unice.fr/~mgehrke/DuaLL.htm" class="urlextern" title="https://math.unice.fr/~mgehrke/DuaLL.htm" rel="ugc nofollow">Duality in Formal Languages and Logic</a> </td><td class="col4"> Gehrke Mai </td><td class="col5"> 2015-09-01 </td><td class="col6"> 2020-08-31 </td> </tr> <tr class="row22"> <td class="col0"> CIFRE </td><td class="col1"> Univ </td><td class="col2"> ATOS </td><td class="col3"> Alessandro Luongo </td><td class="col4"> Kerenidis Iordanis </td><td class="col5"> 2017-09-01 </td><td class="col6"> 2020-08-31 </td> </tr> <tr class="row23"> <td class="col0"> IUF </td><td class="col1"> Univ </td><td class="col2"> IUF Kesner </td><td class="col3"> <a href="http://www.iufrance.fr/detail-de-lactualite/123.html" class="urlextern" title="http://www.iufrance.fr/detail-de-lactualite/123.html" rel="ugc nofollow">Delia Kesner</a> </td><td class="col4"> Kesner Delia </td><td class="col5"> 2018-09-01 </td><td class="col6"> 2024-12-31 </td> </tr> <tr class="row24"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> VECOLIB </td><td class="col3"> <a href="http://vecolib.imag.fr/" class="urlextern" title="http://vecolib.imag.fr/" rel="ugc nofollow">VErifying Automatically the Correct Use and Implementation of COntainer LIBraries</a> </td><td class="col4"> Sighireanu Mihaela </td><td class="col5"> 2014-10-01 </td><td class="col6"> 2018-09-30 </td> </tr> <tr class="row25"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> PACS </td><td class="col3"> <a href="https://lipn.univ-paris13.fr/PACS/" class="urlextern" title="https://lipn.univ-paris13.fr/PACS/" rel="ugc nofollow">Parametric Analyses of Concurrent Systems</a> </td><td class="col4"> Habermehl Peter </td><td class="col5"> 2014-10-01 </td><td class="col6"> 2019-09-30 </td> </tr> <tr class="row26"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> COLIS </td><td class="col3"> <a href="https://www.irif.fr/~treinen/colis/" class="urlextern" title="https://www.irif.fr/~treinen/colis/" rel="ugc nofollow">Correctness of Linux Scripts</a> </td><td class="col4"> Treinen Ralf </td><td class="col5"> 2015-10-01 </td><td class="col6"> 2021-03-31 </td> </tr> <tr class="row27"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> DELTA </td><td class="col3"> <a href="https://delta.labri.fr/" class="urlextern" title="https://delta.labri.fr/" rel="ugc nofollow">Défis pour la Logique, les Transducteurs et les Automates</a> </td><td class="col4"> Carton Olivier </td><td class="col5"> 2016-10-01 </td><td class="col6"> 2022-06-30 </td> </tr> <tr class="row28"> <td class="col0"> FSMP </td><td class="col1"> Univ </td><td class="col2"> Postdoc Paz </td><td class="col3"> <a href="https://www.sciencesmaths-paris.fr/fr/laureats-post-docs-180.htm" class="urlextern" title="https://www.sciencesmaths-paris.fr/fr/laureats-post-docs-180.htm" rel="ugc nofollow">Ami Paz</a> </td><td class="col4"> Fraigniaud Pierre </td><td class="col5"> 2017-10-01 </td><td class="col6"> 2019-09-30 </td> </tr> <tr class="row29"> <td class="col0"> Marie Curie </td><td class="col1"> Univ </td><td class="col2"> RASIR </td><td class="col3"> <a href="https://cordis.europa.eu/project/rcn/209685_en.html" class="urlextern" title="https://cordis.europa.eu/project/rcn/209685_en.html" rel="ugc nofollow">Rule-algebraic Simple Rewriting - Nicolas Behr</a> </td><td class="col4"> Krivine Jean </td><td class="col5"> 2017-10-01 </td><td class="col6"> 2019-09-30 </td> </tr> <tr class="row30"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> DESCARTES </td><td class="col3"> <a href="http://dept-info.labri.fr/~gavoille/descartes/" class="urlextern" title="http://dept-info.labri.fr/~gavoille/descartes/" rel="ugc nofollow">Abstraction Layers for Distributed Computing</a> </td><td class="col4"> Fauconnier Hugues </td><td class="col5"> 2017-10-01 </td><td class="col6"> 2021-11-30 </td> </tr> <tr class="row31"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> DISTANCIA </td><td class="col3"> <a href="https://distancia.lis-lab.fr" class="urlextern" title="https://distancia.lis-lab.fr" rel="ugc nofollow">Metric graph theory</a> </td><td class="col4"> Charbit Pierre </td><td class="col5"> 2017-10-01 </td><td class="col6"> 2023-07-31 </td> </tr> <tr class="row32"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> QUBIC </td><td class="col3"> <a href="http://www.agence-nationale-recherche.fr/Project-ANR-17-CE39-0005" class="urlextern" title="http://www.agence-nationale-recherche.fr/Project-ANR-17-CE39-0005" rel="ugc nofollow">Quantum Banknotes and Information-Theoretic Credit Cards</a> </td><td class="col4"> Kerenidis Iordanis </td><td class="col5"> 2017-10-01 </td><td class="col6"> 2022-03-31 </td> </tr> <tr class="row33"> <td class="col0"> FSMP </td><td class="col1"> Univ </td><td class="col2"> Postdoc Zetzsche </td><td class="col3"> <a href="https://www.sciencesmaths-paris.fr/fr/laureats-post-docs-180.htm" class="urlextern" title="https://www.sciencesmaths-paris.fr/fr/laureats-post-docs-180.htm" rel="ugc nofollow">Georg Zetzsche</a> </td><td class="col4"> Serre Olivier </td><td class="col5"> 2017-11-01 </td><td class="col6"> 2018-10-31 </td> </tr> <tr class="row34"> <td class="col0"> School </td><td class="col1"> CNRS </td><td class="col2"> EPIT 2018 </td><td class="col3"> <a href="http://projects.lsv.fr/epit18/" class="urlextern" title="http://projects.lsv.fr/epit18/" rel="ugc nofollow">Software Verification Spring School</a> </td><td class="col4"> Enea Constantin </td><td class="col5"> 2018-05-07 </td><td class="col6"> 2018-05-11 </td> </tr> <tr class="row35"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> DYNA3S </td><td class="col3"> <a href="https://www.irif.fr/~dyna3s/" class="urlextern" title="https://www.irif.fr/~dyna3s/" rel="ugc nofollow">Dynamique des algorithmes du pgcd : une approche Algorithmique, Analytique, Arithmétique et Symbolique</a> </td><td class="col4"> Berthé Valérie </td><td class="col5"> 2015-10-15 </td><td class="col6"> 2018-10-14 </td> </tr> <tr class="row36"> <td class="col0"> IEA </td><td class="col1"> CNRS </td><td class="col2"> ACCA </td><td class="col3"> Constraint Analysis through Analytic Combinatorics </td><td class="col4"> Ravelomanana Vlady </td><td class="col5"> 2017-01-01 </td><td class="col6"> 2019-12-31 </td> </tr> <tr class="row37"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> CODYS </td><td class="col3"> <a href="https://www.irif.fr/~codys/" class="urlextern" title="https://www.irif.fr/~codys/" rel="ugc nofollow">Orbites des systèmes dynamiques discrets en informatique</a> </td><td class="col4"> Berthé Valérie </td><td class="col5"> 2018-11-01 </td><td class="col6"> 2023-12-31 </td> </tr> <tr class="row38"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> QUDATA </td><td class="col3"> <a href="https://www.irif.fr/~magniez/qudata/" class="urlextern" title="https://www.irif.fr/~magniez/qudata/" rel="ugc nofollow">Quantum algorithms for massive data</a> </td><td class="col4"> Magniez Frédéric </td><td class="col5"> 2019-01-01 </td><td class="col6"> 2024-06-30 </td> </tr> <tr class="row39"> <td class="col0"> IRP </td><td class="col1"> CNRS </td><td class="col2"> SINFIN </td><td class="col3"> <a href="http://www.lia-sinfin.org" class="urlextern" title="http://www.lia-sinfin.org" rel="ugc nofollow">Systèmes, vérIfication, iNformatique Fondamentale, logIque, laNgages</a> </td><td class="col4"> Kesner Delia </td><td class="col5"> 2019-01-01 </td><td class="col6"> 2024-12-31 </td> </tr> <tr class="row40"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> RDAM </td><td class="col3"> <a href="https://www.irif.fr/~magniez/rdam" class="urlextern" title="https://www.irif.fr/~magniez/rdam" rel="ugc nofollow">Algorithmic techniques for Restricted Data Access Models</a> </td><td class="col4"> Magniez Frédéric </td><td class="col5"> 2013-01-01 </td><td class="col6"> 2017-12-31 </td> </tr> <tr class="row41"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> CARTAPLUS </td><td class="col3"> <a href="http://cartaplus.math.cnrs.fr" class="urlextern" title="http://cartaplus.math.cnrs.fr" rel="ugc nofollow">Combinatoire des cartes et applications</a> </td><td class="col4"> Chapuy Guillaume </td><td class="col5"> 2013-01-01 </td><td class="col6"> 2016-01-01 </td> </tr> <tr class="row42"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> CATHRE </td><td class="col3"> <a href="http://cathre.math.cnrs.fr" class="urlextern" title="http://cathre.math.cnrs.fr" rel="ugc nofollow">Catégories, Homotopie et Réécriture</a> </td><td class="col4"> Curien Pierre-Louis </td><td class="col5"> 2014-01-01 </td><td class="col6"> 2017-12-31 </td> </tr> <tr class="row43"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> COQUAS </td><td class="col3"> <a href="http://lipn.univ-paris13.fr/~pagani/pmwiki/pmwiki.php/Coquas/Coquas" class="urlextern" title="http://lipn.univ-paris13.fr/~pagani/pmwiki/pmwiki.php/Coquas/Coquas" rel="ugc nofollow">COmputing with QUAntitative Semantics</a> </td><td class="col4"> Pagani Michele </td><td class="col5"> 2013-01-01 </td><td class="col6"> 2016-10-31 </td> </tr> <tr class="row44"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> EQINOCS </td><td class="col3"> <a href="https://www.irif.fr/~eqinocs/index.html" class="urlextern" title="https://www.irif.fr/~eqinocs/index.html" rel="ugc nofollow">Entropie et quantité d'information dans les modèles des systèmes computationnels</a> </td><td class="col4"> Asarin Eugène </td><td class="col5"> 2011-11-01 </td><td class="col6"> 2016-05-31 </td> </tr> <tr class="row45"> <td class="col0"> IDEX </td><td class="col1"> Univ </td><td class="col2"> FOCAL </td><td class="col3"> <a href="http://www.math.univ-paris13.fr/~hoffbeck/focal" class="urlextern" title="http://www.math.univ-paris13.fr/~hoffbeck/focal" rel="ugc nofollow">Formalisation du Calcul Algébrique</a> </td><td class="col4"> Curien Pierre-Louis </td><td class="col5"> 2013-07-01 </td><td class="col6"> 2016-06-30 </td> </tr> <tr class="row46"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> FAN </td><td class="col3"> <a href="https://www.irif.fr/~fan/" class="urlextern" title="https://www.irif.fr/~fan/" rel="ugc nofollow">Fractals and numeration</a> </td><td class="col4"> Berthé Valérie </td><td class="col5"> 2013-03-01 </td><td class="col6"> 2017-02-28 </td> </tr> <tr class="row47"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> NETOC </td><td class="col3"> <a href="https://sites.google.com/site/anrnetoc/" class="urlextern" title="https://sites.google.com/site/anrnetoc/" rel="ugc nofollow">New Techniques in Online Computation</a> </td><td class="col4"> Rosén Adi </td><td class="col5"> 2011-11-01 </td><td class="col6"> 2015-10-31 </td> </tr> <tr class="row48"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> REVER </td><td class="col3"> <a href="http://www.agence-nationale-recherche.fr/?Project=ANR-11-INSE-0007" class="urlextern" title="http://www.agence-nationale-recherche.fr/?Project=ANR-11-INSE-0007" rel="ugc nofollow">Programming reversible recoverable systems</a> </td><td class="col4"> Krivine Jean </td><td class="col5"> 2011-12-01 </td><td class="col6"> 2015-12-01 </td> </tr> <tr class="row49"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> TYPEX </td><td class="col3"> <a href="http://typex.lri.fr" class="urlextern" title="http://typex.lri.fr" rel="ugc nofollow">Typeful certified XML: integrating language, logic, and dataoriented best practices</a> </td><td class="col4"> Castagna Giuseppe </td><td class="col5"> 2012-01-06 </td><td class="col6"> 2015-09-05 </td> </tr> <tr class="row50"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> DCORE </td><td class="col3"> <a href="https://project.inria.fr/dcore/" class="urlextern" title="https://project.inria.fr/dcore/" rel="ugc nofollow">Causal debuggers for concurrent systems</a> </td><td class="col4"> Krivine Jean </td><td class="col5"> 2018-10-01 </td><td class="col6"> 2024-03-31 </td> </tr> <tr class="row51"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> QUID </td><td class="col3"> <a href="http://quid.labri.fr/home.html" class="urlextern" title="http://quid.labri.fr/home.html" rel="ugc nofollow">Efficient Querying for Incomplete and Inconsistent Data</a> </td><td class="col4"> Sirangelo Cristina </td><td class="col5"> 2019-04-01 </td><td class="col6"> 2024-09-30 </td> </tr> <tr class="row52"> <td class="col0"> PEPS </td><td class="col1"> CNRS </td><td class="col2"> CoLA </td><td class="col3"> Combinatorial Lattices and Applications </td><td class="col4"> Delcroix-Oger Berenice </td><td class="col5"> 2019-03-01 </td><td class="col6"> 2019-12-31 </td> </tr> <tr class="row53"> <td class="col0"> PEPS </td><td class="col1"> CNRS </td><td class="col2"> TYGANA </td><td class="col3"> Types Gardés : Nouvelles Approches </td><td class="col4"> Guatto Adrien </td><td class="col5"> 2019-03-01 </td><td class="col6"> 2019-12-31 </td> </tr> <tr class="row54"> <td class="col0"> PEPS </td><td class="col1"> CNRS </td><td class="col2"> AAPS </td><td class="col3"> Algorithms and Approximations of Probabilistic Systems </td><td class="col4"> Shirmohammadi Mahsa </td><td class="col5"> 2019-03-01 </td><td class="col6"> 2019-12-31 </td> </tr> <tr class="row55"> <td class="col0"> PEPS </td><td class="col1"> CNRS </td><td class="col2"> SDCC </td><td class="col3"> Systèmes Dynamiques : Calculabilité et Complexité </td><td class="col4"> Pouly Amaury </td><td class="col5"> 2019-02-01 </td><td class="col6"> 2019-12-31 </td> </tr> <tr class="row56"> <td class="col0"> IRN </td><td class="col1"> CNRS </td><td class="col2"> ALEA </td><td class="col3"> <a href="http://aleanetwork.net/" class="urlextern" title="http://aleanetwork.net/" rel="ugc nofollow">Aléa Network</a> </td><td class="col4"> Ravelomanana Vlady </td><td class="col5"> 2019-01-01 </td><td class="col6"> 2022-12-31 </td> </tr> <tr class="row57"> <td class="col0"> Autre </td><td class="col1"> CNRS </td><td class="col2"> TOTAL </td><td class="col3"> Contrat spécifique de collaboration </td><td class="col4"> Kerenidis Iordanis </td><td class="col5"> 2019-06-01 </td><td class="col6"> 2021-07-31 </td> </tr> <tr class="row58"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> AdeCoDS </td><td class="col3"> <a href="https://www.irif.fr/~gio/adecods/index.xhtml" class="urlextern" title="https://www.irif.fr/~gio/adecods/index.xhtml" rel="ugc nofollow">Programming, verifying, and synthesizing Adequately Consistent Distributed Systems</a> </td><td class="col4"> Bouajjani Ahmed </td><td class="col5"> 2019-10-01 </td><td class="col6"> 2024-12-31 </td> </tr> <tr class="row59"> <td class="col0"> ANR </td><td class="col1"> Univ </td><td class="col2"> PPS </td><td class="col3"> <a href="https://www.irif.fr/anrpps" class="urlextern" title="https://www.irif.fr/anrpps" rel="ugc nofollow">Probabilistic Programming Semantics</a> </td><td class="col4"> Ehrhard Thomas </td><td class="col5"> 2019-10-01 </td><td class="col6"> 2024-12-31 </td> </tr> <tr class="row60"> <td class="col0"> PEPS </td><td class="col1"> CNRS </td><td class="col2"> EEE </td><td class="col3"> Secure Computation over Encrypted NEtworks </td><td class="col4"> Couteau Geoffroy </td><td class="col5"> 2020-01-01 </td><td class="col6"> 2020-12-31 </td> </tr> <tr class="row61"> <td class="col0"> IUF </td><td class="col1"> Univ </td><td class="col2"> IUF Schmitz </td><td class="col3"> <a href="http://www.iufrance.fr/les-membres-de-liuf/membre/1899-sylvain-schmitz.html" class="urlextern" title="http://www.iufrance.fr/les-membres-de-liuf/membre/1899-sylvain-schmitz.html" rel="ugc nofollow">Sylvain Schmitz</a> </td><td class="col4"> Schmitz Sylvain </td><td class="col5"> 2019-01-01 </td><td class="col6"> 2024-12-31 </td> </tr> <tr class="row62"> <td class="col0"> IUF </td><td class="col1"> Univ </td><td class="col2"> IUF Enea </td><td class="col3"> <a href="http://www.iufrance.fr/les-membres-de-liuf/membre/1976-constantin-enea.html" class="urlextern" title="http://www.iufrance.fr/les-membres-de-liuf/membre/1976-constantin-enea.html" rel="ugc nofollow">Constantin Enea</a> </td><td class="col4"> Enea Constantin </td><td class="col5"> 2020-01-01 </td><td class="col6"> 2021-10-31 </td> </tr> <tr class="row63"> <td class="col0"> Emergence </td><td class="col1"> Univ </td><td class="col2"> BAD </td><td class="col3"> Blockchain et algorithmes distribué </td><td class="col4"> Delporte Carole </td><td class="col5"> 2020-01-01 </td><td class="col6"> 2021-12-31 </td> </tr> <tr class="row64"> <td class="col0"> ANR </td><td class="col1"> CNRS </td><td class="col2"> Algoridam </td><td class="col3"> <a href="https://www.irif.fr/~algoridam/" class="urlextern" title="https://www.irif.fr/~algoridam/" rel="ugc nofollow">Algorithmic Theory of New Data Models</a> </td><td class="col4"> Mathieu Claire </td><td class="col5"> 2020-01-01 </td><td class="col6"> 2024-12-31 </td> </tr> <tr class="row65"> <td class="col0"> PEPS </td><td class="col1"> CNRS </td><td class="col2"> TOTTI </td><td class="col3"> Towards formal methods against ﬂakiness </td><td class="col4"> Bernardi Giovanni </td><td class="col5"> 2020-03-01 </td><td class="col6"> 2020-12-31 </td> </tr> <tr class="row66"> <td class="col0"> PEPS </td><td class="col1"> CNRS </td><td class="col2"> SPAI </td><td class="col3"> Structural Pameterizations in Artificial Intelligence </td><td class="col4"> Mitsou Valia </td><td class="col5"> 2020-03-01 </td><td class="col6"> 2020-12-31 </td> </tr> <tr class="row67"> <td class="col0"> PEPS </td><td class="col1"> CNRS </td><td class="col2"> VUIP </td><td class="col3"> Verified Uniform Interpolation Proofs </td><td class="col4"> Van-Gool Sam - Férée Hugo </td><td class="col5"> 2020-03-01 </td><td class="col6"> 2020-12-31 </td> </tr> <tr class="row68"> <td class="col0"> CIFRE </td><td class="col1"> CNRS </td><td class="col2"> EDF </td><td class="col3"> Julien Rolland </td><td class="col4"> Bouajjani Ahmed </td><td class="col5"> 2020-04-01 </td><td class="col6"> 2023-03-31 </td> </tr> <tr class="row69"> <td class="col0"> ANR </td><td class="col1"> CNRS </td><td class="col2"> SCENE </td><td class="col3"> <a href="https://geoffroycouteau.github.io/grants/" class="urlextern" title="https://geoffroycouteau.github.io/grants/" rel="ugc nofollow">Secure Computation over ENcrypted Networks</a> </td><td class="col4"> Couteau Geoffroy </td><td class="col5"> 2021-01-01 </td><td class="col6"> 2024-12-31 </td> </tr> <tr class="row70"> <td class="col0"> Emergence </td><td class="col1"> Univ </td><td class="col2"> IDiLL </td><td class="col3"> Implementing Differentiable Programming out of Linear Logic </td><td class="col4"> Pagani Michele </td><td class="col5"> 2021-01-01 </td><td class="col6"> 2022-12-31 </td> </tr> <tr class="row71"> <td class="col0"> GDR </td><td class="col1"> CNRS </td><td class="col2"> GDR AMA </td><td class="col3"> <a href="http://gdramf.math.cnrs.fr/" class="urlextern" title="http://gdramf.math.cnrs.fr/" rel="ugc nofollow">Analyse multifractale et auto-similarité</a> </td><td class="col4"> Berthé Valérie </td><td class="col5"> 2021-01-01 </td><td class="col6"> 2023-12-31 </td> </tr> <tr class="row72"> <td class="col0"> PEPS </td><td class="col1"> CNRS </td><td class="col2"> DisReconf </td><td class="col3"> Reconfiguration distribuée et complexité de modèles distribués </td><td class="col4"> Rabie Mikael </td><td class="col5"> 2021-01-01 </td><td class="col6"> 2021-12-31 </td> </tr> <tr class="row73"> <td class="col0"> Marie Curie </td><td class="col1"> CNRS </td><td class="col2"> FINTOINF </td><td class="col3"> Generalised Tree Automata, Monadic Second Order Logic and Transfer Principles in Combinatorial Limits- Mirna Dzamonja </td><td class="col4"> Schmitz Sylvain </td><td class="col5"> 2021-04-01 </td><td class="col6"> 2023-03-31 </td> </tr> <tr class="row74"> <td class="col0"> Autre </td><td class="col1"> CNRS </td><td class="col2"> INTERCHAIN </td><td class="col3"> Constantin ENEA </td><td class="col4"> Enea Constantin </td><td class="col5"> 2021-03-17 </td><td class="col6"> 2023-07-16 </td> </tr> <tr class="row75"> <td class="col0"> PEPS </td><td class="col1"> CNRS </td><td class="col2"> FORMATS </td><td class="col3"> Formal Modeling and Analysis of Timed Systems </td><td class="col4"> Shirmohammadi Mahsa </td><td class="col5"> 2021-01-01 </td><td class="col6"> 2021-12-31 </td> </tr> <tr class="row76"> <td class="col0"> Emergence </td><td class="col1"> Univ </td><td class="col2"> PRAXIS </td><td class="col3"> Praxis of Programming Languages </td><td class="col4"> Dagand Pierre-Evariste </td><td class="col5"> 2021-05-05 </td><td class="col6"> 2022-12-31 </td> </tr> <tr class="row77"> <td class="col0"> Emergence </td><td class="col1"> Univ </td><td class="col2"> QUBITS </td><td class="col3"> Mecanique Qubits </td><td class="col4"> Laplante Sophie </td><td class="col5"> 2021-01-01 </td><td class="col6"> 2022-12-31 </td> </tr> <tr class="row78"> <td class="col0"> H2020 </td><td class="col1"> CNRS </td><td class="col2"> OpenQKD </td><td class="col3"> <a href="https://openqkd.eu/" class="urlextern" title="https://openqkd.eu/" rel="ugc nofollow">OpenQKD</a> </td><td class="col4"> Kerenidis Iordanis </td><td class="col5"> 2019-09-02 </td><td class="col6"> 2022-09-01 </td> </tr> <tr class="row79"> <td class="col0"> CIFRE </td><td class="col1"> Univ </td><td class="col2"> Colin Gonzales </td><td class="col3"> Cifre Nomadic Labs Colin Gonzales </td><td class="col4"> Treinen Ralf </td><td class="col5"> 2019-09-09 </td><td class="col6"> 2022-09-08 </td> </tr> <tr class="row80"> <td class="col0"> CIFRE </td><td class="col1"> Univ </td><td class="col2"> Nomadic Labs </td><td class="col3"> Cifre Nomadic Labs Paul Laforge </td><td class="col4"> Castagna Giuseppe </td><td class="col5"> 2021-02-01 </td><td class="col6"> 2024-01-31 </td> </tr> <tr class="row81"> <td class="col0"> ANR </td><td class="col1"> CNRS </td><td class="col2"> QUBOBS </td><td class="col3"> <a href="https://www.irif.fr/en/users/qubobs/index" class="urlextern" title="https://www.irif.fr/en/users/qubobs/index" rel="ugc nofollow">Représentations et dispositifs pour la vulgarisation du calcul quantique</a> </td><td class="col4"> Laplante Sophie </td><td class="col5"> 2022-02-14 </td><td class="col6"> 2024-05-31 </td> </tr> <tr class="row82"> <td class="col0"> CIFRE </td><td class="col1"> CNRS </td><td class="col2"> Remote Technologies </td><td class="col3"> Cifre DUBOC </td><td class="col4"> Castagna Giuseppe </td><td class="col5"> 2021-12-01 </td><td class="col6"> 2024-11-30 </td> </tr> <tr class="row83"> <td class="col0"> PGMO </td><td class="col1"> Univ </td><td class="col2"> PGMO-PRMO </td><td class="col3"> Improved Sparse Optimisation for Machine Learning </td><td class="col4"> Vladu Adrian </td><td class="col5"> 2022-09-01 </td><td class="col6"> 2024-08-31 </td> </tr> <tr class="row84"> <td class="col0"> EMERGENCE </td><td class="col1"> CNRS </td><td class="col2"> EMORS </td><td class="col3"> Efficient Monitoring of Real-time Systems </td><td class="col4"> Foughali Mohammed </td><td class="col5"> 2023-01-01 </td><td class="col6"> 2023-12-31 </td> </tr> <tr class="row85"> <td class="col0"> IEA </td><td class="col1"> CNRS </td><td class="col2"> IEA INDE </td><td class="col3"> IEA INDE </td><td class="col4"> Shirmohammadi Mahsa </td><td class="col5"> 2023-01-01 </td><td class="col6"> 2024-12-31 </td> </tr> <tr class="row86"> <td class="col0"> FP7 </td><td class="col1"> Univ </td><td class="col2"> QALGO </td><td class="col3"> <a href="https://www.lu.lv/qalgo/" class="urlextern" title="https://www.lu.lv/qalgo/" rel="ugc nofollow">Quantum Algorithmics</a> </td><td class="col4"> Santha Miklos </td><td class="col5"> 2013-05-01 </td><td class="col6"> 2016-04-30 </td> </tr> <tr class="row87"> <td class="col0"> IEA </td><td class="col1"> CNRS </td><td class="col2"> ALFRED </td><td class="col3"> Algorithmes pour des modèles de données restreints </td><td class="col4"> Vladu Adrian </td><td class="col5"> 2023-01-01 </td><td class="col6"> 2024-12-31 </td> </tr> <tr class="row88"> <td class="col0"> IEA </td><td class="col1"> CNRS </td><td class="col2"> ALiMaLiO </td><td class="col3"> Sur les limites d'objets appartenant à la classe d'universalité des cartes planaires </td><td class="col4"> Albenque Marie </td><td class="col5"> 2023-01-01 </td><td class="col6"> 2024-12-31 </td> </tr> <tr class="row89"> <td class="col0"> AMI </td><td class="col1"> Univ </td><td class="col2"> Promenades Numériques </td><td class="col3"> Promenades Numériques </td><td class="col4"> Perifel Sylvain </td><td class="col5"> 2023-01-01 </td><td class="col6"> 2023-12-31 </td> </tr> <tr class="row90"> <td class="col0"> ANR </td><td class="col1"> CNRS </td><td class="col2"> TOPTT </td><td class="col3"> TOPTT : </td><td class="col4"> van Gool Sam </td><td class="col5"> 2023-10-01 </td><td class="col6"> 2024-09-30 </td> </tr> <tr class="row91"> <td class="col0"> PEPS </td><td class="col1"> Univ </td><td class="col2"> DOUTEAU </td><td class="col3"> PEPS Douteau </td><td class="col4"> Douteau Sylvain </td><td class="col5"> 2023-01-01 </td><td class="col6"> 2023-12-31 </td> </tr> <tr class="row92"> <td class="col0"> AAP </td><td class="col1"> CNRS </td><td class="col2"> RFACS </td><td class="col3"> Refinements for asynchronous concurrent software </td><td class="col4"> Bernardi Giovanni </td><td class="col5"> 2024-01-01 </td><td class="col6"> 2024-12-31 </td> </tr> </table></div> </div> </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="Aller au contenu" 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=contrats%3Aindex&1740583598" width="2" height="1" alt="" /> </div> </body> </html>