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>Accords de coopération internationale</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="international,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/international/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/international/index"/> <link rel="alternate" type="text/plain" title="Wiki balise" href="https://www.irif.fr/_export/raw/international/index"/> <link rel="canonical" href="https://www.irif.fr/international/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='international';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":"international:index","namespace":"international","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" 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="international: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" >Environment</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"> <a href="https://www.irif.fr/contrats/index" class="wikilink1" title="contrats:index" >Contrats</a> </li> <li class="level2 active"> <a href="https://www.irif.fr/international/index" class="wikilink1" title="international:index" data-wiki-curid="true">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/international/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/international/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/international/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="accords_de_cooperation_internationale">Accords de coopération internationale</h2> <div class="level2"> </div> <h3 class="sectionedit2 page-header pb-3 mb-4 mt-5" id="laboratoires_de_recherche_internationaux">Laboratoires de recherche internationaux</h3> <div class="level3"> </div> <h5 id="filofocs">FILOFOCS</h5> <div class="level5"> <ul class=" fix-media-list-overlap"> <li class="level1"><div class="li"> <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></div> </li> <li class="level1"><div class="li"> Partenaires: Tel-Aviv University, the Hebrew University of Jerusalem, the Weizmann Institute of Science</div> </li> <li class="level1"><div class="li"> Co-Directeur: Adi Rosén</div> </li> </ul> </div> <h3 class="sectionedit3 page-header pb-3 mb-4 mt-5" id="projets_de_recherche_internationaux">Projets de recherche internationaux</h3> <div class="level3"> </div> <h5 id="planning">PLANNING</h5> <div class="level5"> <ul class=" fix-media-list-overlap"> <li class="level1"><div class="li"> <a href="https://www.irif.fr/~reza/pmwiki/pmwiki.php?n=Site.Math-AmSud2022-2023" class="urlextern" title="https://www.irif.fr/~reza/pmwiki/pmwiki.php?n=Site.Math-AmSud2022-2023" rel="ugc nofollow">PLANarity and distaNces IN Graph theory</a></div> </li> <li class="level1"><div class="li"> Partenaires français : École Normale Supérieure, Université Clermont Auvergne, LIMOS, École des hautes études en sciences sociales-CNRS, Université Paris-Nord </div> </li> <li class="level1"><div class="li"> Partenaires internationaux : Universidade Federal do ABC, Universidade de São Paulo, Universidade Federal do Rio de Janeiro, Universidade Estadual de Campinas, Universidad de Valparaíso, Universidad Andrés Bello, Universidad de Chile, Universidad de Ingeniería y Tecnología, Universidad de Ingeniería y Tecnología.</div> </li> <li class="level1"><div class="li"> Responsable : Reza Naserasr</div> </li> </ul> </div> <h5 id="sinfin">SINFIN</h5> <div class="level5"> <ul class=" fix-media-list-overlap"> <li class="level1"><div class="li"> <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></div> </li> <li class="level1"><div class="li"> Partenaire : Universidad de Buenos Aires</div> </li> <li class="level1"><div class="li"> Responsable : Delia Kesner</div> </li> </ul> </div> <h5 id="trojkat">TROJKAT</h5> <div class="level5"> <ul class=" fix-media-list-overlap"> <li class="level1"><div class="li"> <a href="https://le-trojkat.labri.fr/" class="urlextern" title="https://le-trojkat.labri.fr/" rel="ugc nofollow">Trójkąt</a></div> </li> <li class="level1"><div class="li"> Partenaires : LaBRI (Bordeaux), Université de Varsovie</div> </li> <li class="level1"><div class="li"> Responsable : Thomas Colcombet </div> </li> </ul> </div> <h3 class="sectionedit4 page-header pb-3 mb-4 mt-5" id="reseaux_de_recherche_internationaux">Réseaux de recherche internationaux</h3> <div class="level3"> </div> <h5 id="alea_network">ALEA NETWORK</h5> <div class="level5"> <ul class=" fix-media-list-overlap"> <li class="level1"><div class="li"> <a href="https://aleanetwork.net" class="urlextern" title="https://aleanetwork.net" rel="ugc nofollow">Alea Network</a></div> </li> <li class="level1"><div class="li"> Partenaires français : Université Paris Diderot, Sorbonne Universite, Université Paris 13, Universite Versailles St-Quentin en Yvelines, Université de Bordeaux</div> </li> <li class="level1"><div class="li"> Partenaires européens : Technische Universität Wien, The University Of Oxford, Ludwig-Maximilians-Universität, Lmu München</div> </li> <li class="level1"><div class="li"> Responsable : Vlady Ravelomanana</div> </li> </ul> </div> <h3 class="sectionedit5 page-header pb-3 mb-4 mt-5" id="actions_emergentes_a_l_international">Actions émergentes à l’international</h3> <div class="level3"> </div> <h5 id="alfred">ALFRED</h5> <div class="level5"> <ul class=" fix-media-list-overlap"> <li class="level1"><div class="li"> <a href="https://melbourne.office.cnrs.fr/project/iea-alfred/" class="urlextern" title="https://melbourne.office.cnrs.fr/project/iea-alfred/" rel="ugc nofollow">Algorithms for Restricted Data Models</a></div> </li> <li class="level1"><div class="li"> Partenaires : University of Melbourne (Australia)</div> </li> <li class="level1"><div class="li"> Responsable : Adrian Vladu </div> </li> </ul> </div> <h5 id="alimalio">ALIMALIO</h5> <div class="level5"> <ul class=" fix-media-list-overlap"> <li class="level1"><div class="li"> ALiMaLiO : About the Limits of Map-Like Objects</div> </li> <li class="level1"><div class="li"> Partenaires : University of Oxford</div> </li> <li class="level1"><div class="li"> Responsable : Marie Albenque</div> </li> </ul> </div> <h5 id="iea_inde">IEA INDE</h5> <div class="level5"> <ul class=" fix-media-list-overlap"> <li class="level1"><div class="li"> Test d'équivalence des grammaires et des circuits : une approche unifiée</div> </li> <li class="level1"><div class="li"> Partenaires : IIT Delhi</div> </li> <li class="level1"><div class="li"> Responsable : Mahsa Shirmohammadi</div> </li> </ul> </div> <h3 class="sectionedit6 page-header pb-3 mb-4 mt-5" id="contrats_europeens">Contrats européens</h3> <div class="level3"> </div> <h5 id="quantalgo">QUANTALGO</h5> <div class="level5"> <ul class=" fix-media-list-overlap"> <li class="level1"><div class="li"> <a href="http://quantalgo.ulb.be" class="urlextern" title="http://quantalgo.ulb.be" rel="ugc nofollow">Quantum Algorithms and Applications</a></div> </li> <li class="level1"><div class="li"> <a href="https://www.quantera.eu" class="urlextern" title="https://www.quantera.eu" rel="ugc nofollow">QUANTERA program</a></div> </li> <li class="level1"><div class="li"> Partenaires européens : Université libre de Bruxelles, University of Bristol, Centrum Wiskunde & Informatica (Amsterdam), University of Latvia, Université Paris Diderot, University of Copenhagen, Atos (Bull SAS)</div> </li> <li class="level1"><div class="li"> Responsable : Miklos Santha</div> </li> </ul> </div> <h2 class="sectionedit7 page-header pb-3 mb-4 mt-5" id="anciennes_cooperations">Anciennes coopérations</h2> <div class="level2"> </div> <h3 class="sectionedit8 page-header pb-3 mb-4 mt-5" id="actions_emergentes_a_l_international1">Actions émergentes à l’international</h3> <div class="level3"> </div> <h5 id="acca">ACCA</h5> <div class="level5"> <ul class=" fix-media-list-overlap"> <li class="level1"><div class="li"> Constraint Analysis through Analytic Combinatorics</div> </li> <li class="level1"><div class="li"> Partenaire : Technische Universität Wien</div> </li> <li class="level1"><div class="li"> Responsable : Vlady Ravelomanana</div> </li> </ul> </div> <h5 id="qip">QIP</h5> <div class="level5"> <ul class=" fix-media-list-overlap"> <li class="level1"><div class="li"> <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></div> </li> <li class="level1"><div class="li"> Partenaire : University of Waterloo (Ontario)</div> </li> <li class="level1"><div class="li"> Responsable : Frédéric Magniez</div> </li> </ul> </div> <h5 id="vip">VIP</h5> <div class="level5"> <ul class=" fix-media-list-overlap"> <li class="level1"><div class="li"> <a href="https://www.irif.fr/en/vip2018" class="urlextern" title="https://www.irif.fr/en/vip2018" rel="ugc nofollow">Verification, Interaction, and Proofs</a></div> </li> <li class="level1"><div class="li"> Partenaire : Software Institute of the Chinese Academy of Sciences (Beijing)</div> </li> <li class="level1"><div class="li"> Responsable : Pierre-Louis Curien</div> </li> </ul> </div> <h3 class="sectionedit9 page-header pb-3 mb-4 mt-5" id="laboratoires_de_recherche_internationaux1">Laboratoires de recherche internationaux</h3> <div class="level3"> </div> <h5 id="jfli">JFLI</h5> <div class="level5"> <ul class=" fix-media-list-overlap"> <li class="level1"><div class="li"> <a href="https://jfliwp.prod.lamp.cnrs.fr" class="urlextern" title="https://jfliwp.prod.lamp.cnrs.fr" rel="ugc nofollow">Japanese-French Laboratory for Informatics</a></div> </li> <li class="level1"><div class="li"> Partenaires : University of Tokyo, National Institute of Informatics, Keio University</div> </li> <li class="level1"><div class="li"> Coordinateur pour l’axe Quantum Computing : Iordanis Kerenidis</div> </li> </ul> </div> <h5 id="majulab">MAJULAB</h5> <div class="level5"> <ul class=" fix-media-list-overlap"> <li class="level1"><div class="li"> <a href="http://majulab.cnrs.fr" class="urlextern" title="http://majulab.cnrs.fr" rel="ugc nofollow">International Joint Research Unit</a></div> </li> <li class="level1"><div class="li"> Partenaires : National University of Singapore, Nanyang Technological University</div> </li> <li class="level1"><div class="li"> Coordinateur pour l’axe Quantum Computer Science : Miklos Santha</div> </li> </ul> </div> <h3 class="sectionedit10 page-header pb-3 mb-4 mt-5" id="projets_de_recherche_internationaux1">Projets de recherche internationaux</h3> <div class="level3"> </div> <h5 id="struco">STRUCO</h5> <div class="level5"> <ul class=" fix-media-list-overlap"> <li class="level1"><div class="li"> <a href="https://www.irif.fr/~charbit/STRUCO/index.html" class="urlextern" title="https://www.irif.fr/~charbit/STRUCO/index.html" rel="ugc nofollow">Structures in Combinatorics</a></div> </li> <li class="level1"><div class="li"> Partenaire : Charles University (Prague)</div> </li> <li class="level1"><div class="li"> Responsable : Pierre Charbit</div> </li> </ul> </div> <h3 class="sectionedit11 page-header pb-3 mb-4 mt-5" id="reseaux_de_recherche_internationaux1">Réseaux de recherche internationaux</h3> <div class="level3"> </div> <h5 id="ll">LL</h5> <div class="level5"> <ul class=" fix-media-list-overlap"> <li class="level1"><div class="li"> <a href="http://linear-logic.org/" class="urlextern" title="http://linear-logic.org/" rel="ugc nofollow">Linear Logic</a></div> </li> <li class="level1"><div class="li"> Partenaires français : Université Paris Diderot, Aix-Marseille Université, Ecole Centrale de Marseille, Ecole Normale Supérieure de Lyon</div> </li> <li class="level1"><div class="li"> Partenaires italiens : Università degli Studi Roma Tre, Università di Bologna, Università degli Studi di Torino</div> </li> <li class="level1"><div class="li"> Responsable : Thomas Ehrhard</div> </li> </ul> </div> <h3 class="sectionedit12 page-header pb-3 mb-4 mt-5" id="projets_de_partenariats_hubert_curien">Projets de Partenariats Hubert Curien</h3> <div class="level3"> </div> <h5 id="pavle_savic_2016-17">Pavle Savić (2016-17)</h5> <div class="level5"> <ul class=" fix-media-list-overlap"> <li class="level1"><div class="li"> Computational Logics and Higher Algebra</div> </li> <li class="level1"><div class="li"> Partenaire : Univ of Novi Sad, Serbia</div> </li> <li class="level1"><div class="li"> Responsable : Hugo Herbelin</div> </li> </ul> </div> <h5 id="parrot_2017-18">Parrot (2017-18)</h5> <div class="level5"> <ul class=" fix-media-list-overlap"> <li class="level1"><div class="li"> Mathematical structures for dualities in programming languages</div> </li> <li class="level1"><div class="li"> Partenaire : Univ. of Tallinn, Estonia </div> </li> <li class="level1"><div class="li"> Responsable : Hugo Herbelin</div> </li> </ul> </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=international%3Aindex&1732419667" width="2" height="1" alt="" /> </div> </body> </html>