CINXE.COM
Accueil - Institut de Recherche en Informatique Fondamentale
<!DOCTYPE html> <html xmlns="http://www.w3.org/1999/xhtml" lang="fr"> <head> <meta charset="UTF-8"> <meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no"> <link href="//cdn.mathjax.org" rel="dns-prefetch" > <link rel="apple-touch-icon" sizes="180x180" href="/assets/favicon/apple-touch-icon.png"> <link rel="icon" type="image/png" sizes="32x32" href="/assets/favicon/favicon-32x32.png"> <link rel="icon" type="image/png" sizes="16x16" href="/assets/favicon/favicon-16x16.png"> <link rel="manifest" href="/assets/site.webmanifest"> <link rel="mask-icon" href="/assets/favicon/safari-pinned-tab.svg" color="#000092"> <meta name="msapplication-TileColor" content="#000092"> <meta name="theme-color" content="#ffffff"> <link rel="stylesheet" href="/assets/build/main.abf14aee.css" /> <link href="https://cdnjs.cloudflare.com/ajax/libs/select2/4.0.13/css/select2.min.css" rel="stylesheet"> <link href="/assets/css/select2totree.css" rel="stylesheet"> <link rel="stylesheet" href="/IRIF/public/style.ng.css?1678867345" /> <link rel="stylesheet" href="/static/cartohal/app/js/leaflet/leaflet.css"/> <link rel="stylesheet" href="/static/cartohal/css/semantic/dist/semantic.min.css"/> <link rel="stylesheet" href="/static/cartohal/css/style.css"/> <link rel="stylesheet" href="/static/cartohal/css/jquery.range.css"/> <script src="/assets/js/translations.php?lang=fr"></script> <script src="/assets/build/runtime.763fa2e6.js"></script> <script src="/assets/build/main.a146c055.js"></script> <script src="//cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" async></script> <script type='text/x-mathjax-config'>MathJax.Hub.Config({tex2jax: {inlineMath: [['$','$'], ['$$','$$']]}});</script><script src="https://cdnjs.cloudflare.com/ajax/libs/select2/4.0.13/js/select2.min.js"></script> <script src="/assets/js/select2totree.js"></script> <script src="/static/js/tarteaucitron/tarteaucitron.js"></script> <script src="/static/js/tarteaucitron4hal/tarteaucitron.servicesHAL.js"></script> <script type="text/javascript"> tarteaucitron.init({ "privacyUrl": "", /* Privacy policy url */ "hashtag": "#tarteaucitron", /* Open the panel with this hashtag */ "cookieName": "tarteaucitron", /* Cookie name */ "orientation": "top", /* Banner position (top - bottom) */ "showAlertSmall": true, /* Show the small banner on bottom right */ "cookieslist": true, /* Show the cookie list */ "adblocker": false, /* Show a Warning if an adblocker is detected */ "AcceptAllCta" : true, /* Show the accept all button when highPrivacy on */ "highPrivacy": false, /* Disable auto consent */ "handleBrowserDNTRequest": false, /* If Do Not Track == 1, disallow all */ "removeCredit": false, /* Remove credit link */ "moreInfoLink": true, /* Show more info link */ "useExternalCss": false, /* If false, the tarteaucitron.css file will be loaded */ "cookieDomain": "cnrs.hal.science", /* Shared cookie for multisite */ "readmoreLink": "/cookiespolicy", /* Change the default readmore link */ "closePopup": false, "showIcon": false, // Ne pas mettre showAlertSmall et showIcon a true en meme temps "DenyAllCta" : true, }); </script> <!-- Matomo --> <script type="text/javascript"> var _paq = _paq || []; _paq.push(['trackPageView']); _paq.push(['enableLinkTracking']); (function() { var u="//piwik-hal.ccsd.cnrs.fr/"; _paq.push(['setTrackerUrl', u+'matomo.php']); _paq.push(['setSiteId', '']); var secondaryTracker = '//piwik-hal.ccsd.cnrs.fr/matomo.php';var secondaryWebsiteId = 92;_paq.push(['addTracker', secondaryTracker, secondaryWebsiteId]); var d=document, g=d.createElement('script'), s=d.getElementsByTagName('script')[0]; g.type='text/javascript'; g.async=true; g.defer=true; g.src=u+'matomo.js'; s.parentNode.insertBefore(g,s); })(); </script> <!-- End Matomo Code --> <script type="text/javascript" src="https://www.gstatic.com/charts/loader.js"></script> <script type="text/javascript"> google.charts.load("current", {packages: ["corechart"]}); </script> <script src="/static/cartohal/app/js/angular.js"></script> <script src="/static/cartohal/app/js/print.js"></script> <script src="/static/cartohal/app/js/jquery.range-min.js"></script> <script src="/static/cartohal/app/js/leaflet/leaflet.js"></script> <script src="/static/cartohal/app/app.min.js"></script> <script src="/static/cartohal/app/js/jquery.dataTables.min.js"></script> <script src="/static/cartohal/app/js/dataTables.buttons.min.js"></script> <script src="/static/cartohal/app/js/dataTables.semanticui.min.js"></script> <script src="/static/cartohal/app/js/buttons.html5.min.js"></script> <title> Accueil - Institut de Recherche en Informatique Fondamentale</title> </head> <body class="env-production"> <div class="fr-skiplinks sr-only "> <nav class="fr-container" role="navigation" aria-label="Accès rapide"> <ul class="fr-skiplinks__list"> <li><a class="fr-link" href="#searchHeaderNG">Recherche</a></li> <li><a href="#skip-link" class="fr-link skip-link-top">Accéder directement au contenu</a></li> <li><a class="fr-link" href="#footer">Pied de page</a></li> </ul> </nav> </div> <nav class="navbar navbar-expand-lg header navbar-dark" aria-label="Menu"> <!-- Navbar pour taille mobile --> <a class="navbar-brand logo-HAL" href="https://hal.science"> <img alt='Logo' src="/assets/img/hal-logo-header.png" height="40px" title="HAL open science"/> <img alt='Logo' src="/assets/img/hal-logo-text.png" height="40px" title="HAL open science"/> </a> <button type="button" class="navbar-toggler" data-toggle="collapse" data-target="#nav-services" aria-expanded="false" aria-label="Toggle navigation" style="border-radius: 0"> <span class="hamburger"> <span></span> <span></span> <span></span> </span> </button> <div class="collapse navbar-collapse" style="height: 60px" id="nav-services"> <ul class="nav navbar-nav ml-auto" style="height: inherit; align-items: center;"> <li class="d-none d-lg-block"> <a href="https://about.hal.science" target="_blank"> <i class="icon-documentation text-xl" aria-hidden="true"></i> <span class='sr-only'> Documentation</span> </a> </li> <!-- Choix des langues --> <li class="nav-item dropdown d-md-flex align-items-center"> <form action="/IRIF/ajax/ajaxupdatelanguage" method="post" id="formLang"> <input type="hidden" name="lang" id="lang" value="" /> <button type="button" data-toggle="dropdown" aria-expanded="false" class="btn btn-secondary dropdown-toggle" id="dropdownLang" aria-label="Langues"> <span> FR</span> </button> <div class="dropdown-menu dropdown-menu-right menu-lang" aria-labelledby="dropdownLang"> <div class="list-group-item list-group-item-action" data-value="fr"> Français (FR)</div> <div class="list-group-item list-group-item-action" data-value="en"> Anglais (EN)</div> </div> </form> </li> <li class="nav-item dropdown" id="userList"> <form class="form-inline" action="/IRIF/user/login?url=https://cnrs.hal.science/IRIF" id="form-login" method="post" style="justify-content: space-around;"> <input type="hidden" name="forward-controller" value="page" /><input type="hidden" name="forward-action" value="index" /><input type="hidden" name="tampid" value="IRIF" /><input type="hidden" name="_module" value="collection" /> <div class="input-group"> <button type="submit" class="hal-login-button"> Se connecter</button> </div> </form> </li> </ul> </div> </nav> <nav class=" navbar navbar-expand-lg sub-header" aria-label="Menu secondaire"> <ul class="nav navbar-nav" id="second-navbar"> <li id="ssheader-info" class="nav-item dropdown site-env"> <span class="color-major-color"> <a href="/IRIF/" title="">Collection <strong> IRIF </strong> </a> </span> </li> <li id="searchHeaderList" class="nav-item dropdown"> <div> <form action="/IRIF/search/index" method="get" id="searchHeaderNG" style="margin: 0;" name="search-simple" role="search" class="position-relative"> <button type="submit" aria-label="Rechercher" class="hal-main-search-button"> <span class="icon-search" aria-hidden="true"></span> </button> <label for="littleSearchBar" class="sr-only"> Recherche </label> <input type="text" name="q" id="littleSearchBar" class="hal-main-search-input autocompletesearch" autocomplete="off" data-collurl="/IRIF/" placeholder="Chercher un document, un auteur, un mot clef..." value=""> <div class="spinner-border position-absolute search-spinner d-none" role="status"> <span class="sr-only">Loading...</span> </div> </form> <button aria-expanded="false" data-toggle="collapse" data-target="#collapseSearch" class="hal-main-advsearch-button" aria-label="Recherche avancée"> <span class="icon-drop_down" aria-hidden="true"></span> </button> <div class="collapse" id="collapseSearch"> <div id="advSearchHeader"> <h3> Recherche avancée</h3> <script type='text/javascript'>/* Fichier DOUBLON Fichier initialisation des éléments sélectionnable dans les selects des inputs et textarea pour les entrées de langues Pour les identifiants qui utilisent le même principe, le fichier se trouve dans le projet hal : public/js/form/decorator/lang/init.js Les éléments et les décorateurs Identifiant se trouvent dans hal tandis que les éléments de formulaires se trouvent dans ccsd La copie de ce fichier facilite donc le lecture en évitant d'indiquer un chemin spécifique pour ce fichier */ function LangInit (e, name) { let link = $(e); if (link.closest('li').hasClass('disabled')) { return false; } let newValue = link.attr('data-val'); let newLabel = link.html(); let button = link.closest('ul').prev('button.dropdown-toggle'); button.val(newValue); button.contents().first().replaceWith(newLabel); let group = link.closest('.input-group, .textarea-group'); let elem = group.find('input, textarea'); if (elem.attr('data-language')) { let oldValue = elem.attr('lang'); elem.attr('data-language', newValue); let groups = group.parent(); groups.find('ul').each(function (i) { $(this).find('li a[data-val=' + oldValue + ']').closest('li').removeClass('disabled'); $(this).find('li a[data-val=' + newValue + ']').closest('li').addClass('disabled'); }); let lastGroup = groups.find('.input-group:last, .textarea-group:last'); let firstLinkEnabled = lastGroup.find('ul li[class!="disabled"]:first a'); if (typeof firstLinkEnabled.html() != 'undefined') { lastGroup.find('button.dropdown-toggle').val(firstLinkEnabled.attr('data-val')); lastGroup.find('button.dropdown-toggle').contents().first().replaceWith(firstLinkEnabled.text()); let nameTmp = name + "[" + firstLinkEnabled.attr('data-val') + "]"; if (elem.attr('data-keyword') ) { nameTmp = nameTmp + "[]"; } lastGroup.find("input:first, textarea:first").attr('name', nameTmp); } else { lastGroup.find("input:first, textarea:first").removeAttr('name'); lastGroup.hide(); } } elem.attr('lang', newValue); name = name + "[" + newValue + "]"; if (elem.attr('data-keyword')) { name = name + "[]"; } elem.attr('name', name); return false; }function MultiTextSimpleLangKeywordDelete (btn) { $(btn).closest('div').remove(); }function MultiTextSimpleLangKeywordAdd (btn, name) { var s = $(btn).closest('div').find('input').val(); var empty = s == ""; if (!empty) { var r = new RegExp (",|;", "g"); matches = s.split(r); for (i in matches) { s = matches[i].replace(/^"(.*)"$/, '$1').replace(/^'(.*)'$/, '$1').trim(); if (s != "") { var value = s; value = value.replace(new RegExp("(>)", "g"), '>').replace(new RegExp("(<)", "g"), '<'); if ($(btn).closest('div').find('input').attr("data-length")) { let length = Number($(btn).closest('div').find('input').attr("data-length")); value = value.substring(0,length) + (value.length > length ? '...' : '') } var container = $(btn).closest("div").parent(); var inputGroup = $(container).find('.input-group:last'); var clone = $(inputGroup).clone(); var lang = $(clone).find('.form-btn-lang').val(); // Find the id and increment it var id = $(clone).find('input').attr('id'); var found = id.match(/[0-9]+/); var idNb = (found == null)? 1 : Number(found[0]) + 1; $(inputGroup).find('input').attr('id', (id.replace(/[0-9]+/, "") + idNb)); $(clone).find('input').attr('type', 'text'); $(clone).find('input').attr('name', name + "[" + lang + "][]"); $(clone).find('input').attr('lang', lang); $(clone).find('input').attr('data-keyword', "true"); $(clone).find('input').val(value); $(clone).find(".errors").remove(); $(clone).find('.icon-plus').removeClass("icon-plus").addClass("icon-delete").parent().attr('onclick', 'MultiTextSimpleLangKeywordDelete(this)'); $(clone).find('button').find('span').text(translate('Supprimer')); $(clone).insertBefore($(container).find('> :last')); } } $(btn).closest('div').find('input:first').val(""); $(btn).closest('div').find('input:first').focus(); } } </script><form id="advSearch" role="form" data-library="ccsd" action="/IRIF/search/index/?" method="get"> <div class="form-group row " id="document-element"><label for="document" class="col-md-3 control-label optional">Information de documents</label> <div class="col-md-9"><div class="input-group" style="margin-bottom : 10px;"><button class='btn btn-sm btn-default dropdown-toggle form-btn-lang' style=' z-index:0!important;' data-toggle='dropdown' type='button' value='title_t'>Titres </button><ul class='dropdown-menu' role='menu' style='max-height: 140px; overflow:auto;'><li class='dropdown-item'><a data-val='title_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Titres</a></li><li class='dropdown-item'><a data-val='subTitle_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Sous-titre</a></li><li class='dropdown-item'><a data-val='bookTitle_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Titre de l'ouvrage</a></li><li class='dropdown-item'><a data-val='serie_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Titre du volume (Série)</a></li><li class='dropdown-item'><a data-val='text_fulltext' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Champ de recherche par défaut (multicritères) + texte intégral des PDF</a></li><li class='dropdown-item'><a data-val='abstract_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Résumé</a></li><li class='dropdown-item'><a data-val='fulltext_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Texte intégral indexé des documents PDF</a></li><li class='dropdown-item'><a data-val='keyword_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Mots-clés</a></li><li class='dropdown-item'><a data-val='docType_s' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Type de document</a></li><li class='dropdown-item'><a data-val='docSubType_s' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Sous-type de document</a></li><li class='dropdown-item'><a data-val='identifiers_id' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Tous les identifiants du document</a></li><li class='dropdown-item'><a data-val='halId_id' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Identifiant HAL du dépôt</a></li><li class='dropdown-item'><a data-val='language_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Langue du document (texte)</a></li><li class='dropdown-item'><a data-val='country_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Pays (Texte)</a></li><li class='dropdown-item'><a data-val='city_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Ville</a></li><li class='dropdown-item'><a data-val='inPress_bool' href='javascript:void(0);' onclick="LangInit(this, 'qa');">À paraître (true ou false)</a></li></ul> <input type="text" name="qa[title_t][]" id="document" value="" class="input-flex form-control input-sm" lang="title_t" aria-describedby="document-error" style=" " data-keyword="1" /><span class="input-group-btn"><button type='button' class='btn btn-sm btn-primary form-btn-multi form-btn-add' onclick='MultiTextSimpleLangKeywordAdd(this, "qa");' data-toggle='tooltip' data-placement='right' data-original-title='Ajouter'><i class='icon icon-plus'></i> <span> Ajouter</span></button></span></div></div></div> <div class="form-group row " id="author-element"><label for="author" class="col-md-3 control-label optional">Auteur</label> <div class="col-md-9"><div class="input-group" style="margin-bottom : 10px;"><button class='btn btn-sm btn-default dropdown-toggle form-btn-lang' style=' z-index:0!important;' data-toggle='dropdown' type='button' value='auth_t'>Auteur (multicritères) </button><ul class='dropdown-menu' role='menu' style='max-height: 140px; overflow:auto;'><li class='dropdown-item'><a data-val='auth_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Auteur (multicritères)</a></li><li class='dropdown-item'><a data-val='authFullName_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Auteur : Nom complet</a></li><li class='dropdown-item'><a data-val='authLastName_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Auteur : Nom de famille</a></li><li class='dropdown-item'><a data-val='authFirstName_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Auteur : Prénom</a></li><li class='dropdown-item'><a data-val='authMiddleName_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Auteur : Complément de nom, deuxième prénom</a></li><li class='dropdown-item'><a data-val='authOrganism_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Auteur : Organisme payeur</a></li><li class='dropdown-item'><a data-val='authIdHal_s' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Auteur : IdHal (chaîne de caractères)</a></li><li class='dropdown-item'><a data-val='authQuality_s' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Auteur : Fonction</a></li><li class='dropdown-item'><a data-val='authIdHal_i' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Auteur : personID (entier)</a></li><li class='dropdown-item'><a data-val='authOrganismId_i' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Auteur : Identifiant de l'organisme payeur</a></li><li class='dropdown-item'><a data-val='authStructId_i' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Auteur : Identifiant de la structure</a></li><li class='dropdown-item'><a data-val='director_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Directeur de thèse</a></li><li class='dropdown-item'><a data-val='publisher_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Éditeur</a></li><li class='dropdown-item'><a data-val='scientificEditor_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Éditeur scientifique</a></li><li class='dropdown-item'><a data-val='seriesEditor_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Éditeur de la série</a></li></ul> <input type="text" name="qa[auth_t][]" id="author" value="" class="input-flex form-control input-sm" lang="auth_t" aria-describedby="author-error" style=" " data-keyword="1" /><span class="input-group-btn"><button type='button' class='btn btn-sm btn-primary form-btn-multi form-btn-add' onclick='MultiTextSimpleLangKeywordAdd(this, "qa");' data-toggle='tooltip' data-placement='right' data-original-title='Ajouter'><i class='icon icon-plus'></i> <span> Ajouter</span></button></span></div></div></div> <div class="form-group row " id="structure-element"><label for="structure" class="col-md-3 control-label optional">Structure</label> <div class="col-md-9"><div class="input-group" style="margin-bottom : 10px;"><button class='btn btn-sm btn-default dropdown-toggle form-btn-lang' style=' z-index:0!important;' data-toggle='dropdown' type='button' value='structure_t'>Structure (multicritères) </button><ul class='dropdown-menu' role='menu' style='max-height: 140px; overflow:auto;'><li class='dropdown-item'><a data-val='structure_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Structure (multicritères)</a></li><li class='dropdown-item'><a data-val='structAcronym_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Structure : Acronyme</a></li><li class='dropdown-item'><a data-val='structName_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Structure : Nom</a></li><li class='dropdown-item'><a data-val='structCode_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Structure : Code</a></li><li class='dropdown-item'><a data-val='structCountry_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Structure : Pays</a></li><li class='dropdown-item'><a data-val='structType_s' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Structure : Type</a></li><li class='dropdown-item'><a data-val='structValid_s' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Structure : État dans le référentiel</a></li><li class='dropdown-item'><a data-val='structId_i' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Structure : Identifiant HAL de la structure</a></li><li class='dropdown-item'><a data-val='rteamStructCountry_s' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Structure/équipe de recherche : Pays</a></li><li class='dropdown-item'><a data-val='deptStructCountry_s' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Structure/regroupement d'équipes : Pays</a></li><li class='dropdown-item'><a data-val='labStructCountry_s' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Structure/laboratoire : Pays</a></li><li class='dropdown-item'><a data-val='rgrpLabStructCountry_s' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Structure/regroupement de laboratoires : Pays</a></li><li class='dropdown-item'><a data-val='instStructCountry_s' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Structure/institution : Pays</a></li><li class='dropdown-item'><a data-val='rgrpInstStructCountry_s' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Structure/regroupement d'institutions : Pays</a></li></ul> <input type="text" name="qa[structure_t][]" id="structure" value="" class="input-flex form-control input-sm" lang="structure_t" aria-describedby="structure-error" style=" " data-keyword="1" /><span class="input-group-btn"><button type='button' class='btn btn-sm btn-primary form-btn-multi form-btn-add' onclick='MultiTextSimpleLangKeywordAdd(this, "qa");' data-toggle='tooltip' data-placement='right' data-original-title='Ajouter'><i class='icon icon-plus'></i> <span> Ajouter</span></button></span></div></div></div> <div class="form-group row " id="qa-element"><label for="qa" class="col-md-3 control-label optional">Autres</label> <div class="col-md-9"><div class="input-group" style="margin-bottom : 10px;"><button class='btn btn-sm btn-default dropdown-toggle form-btn-lang' style=' z-index:0!important;' data-toggle='dropdown' type='button' value='text'>Champ de recherche par défaut (multicritères) </button><ul class='dropdown-menu' role='menu' style='max-height: 140px; overflow:auto;'><li class='dropdown-item'><a data-val='text' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Champ de recherche par défaut (multicritères)</a></li><li class='dropdown-item'><a data-val='--sep1' href='javascript:void(0);' onclick="LangInit(this, 'qa');"></a></li><li class='dropdown-item'><a data-val='journal_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Revues (multicritères)</a></li><li class='dropdown-item'><a data-val='journalPublisher_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Revue : Éditeur</a></li><li class='dropdown-item'><a data-val='journalTitleAbbr_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Revue : Titre abrégé</a></li><li class='dropdown-item'><a data-val='journalTitle_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Revue : Titre</a></li><li class='dropdown-item'><a data-val='journalId_i' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Revue : Identifiant interne</a></li><li class='dropdown-item'><a data-val='journalDate_s' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Revue : Date de début de publication</a></li><li class='dropdown-item'><a data-val='journalEissn_s' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Revue : ISSN électronique</a></li><li class='dropdown-item'><a data-val='journalIssn_s' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Revue : ISSN</a></li><li class='dropdown-item'><a data-val='journalPublisher_s' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Revue : Éditeur</a></li><li class='dropdown-item'><a data-val='journalSherpaColor_s' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Revue : Couleur dans SHERPA/RoMEO</a></li><li class='dropdown-item'><a data-val='journalValid_s' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Revue : État dans le référentiel</a></li><li class='dropdown-item'><a data-val='--sep2' href='javascript:void(0);' onclick="LangInit(this, 'qa');"></a></li><li class='dropdown-item'><a data-val='conference_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Colloque (multicritères)</a></li><li class='dropdown-item'><a data-val='conferenceTitle_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Colloque : Titre</a></li><li class='dropdown-item'><a data-val='conferenceOrganizer_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Colloque : Organisateur</a></li><li class='dropdown-item'><a data-val='conferenceStartDateY_i' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Colloque : date de début (Année)</a></li><li class='dropdown-item'><a data-val='conferenceEndDateY_i' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Colloque : date de fin (Année)</a></li><li class='dropdown-item'><a data-val='invitedCommunication_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Conférence invitée (oui/non)</a></li><li class='dropdown-item'><a data-val='--sep3' href='javascript:void(0);' onclick="LangInit(this, 'qa');"></a></li><li class='dropdown-item'><a data-val='anrProject_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Projets ANR (multicritères)</a></li><li class='dropdown-item'><a data-val='anrProjectAcronym_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Projet ANR : Acronyme</a></li><li class='dropdown-item'><a data-val='anrProjectAcronymProgram_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Projet ANR : Acronyme du programme</a></li><li class='dropdown-item'><a data-val='anrProjectReference_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Projet ANR : Code décision (référence)</a></li><li class='dropdown-item'><a data-val='anrProjectTitle_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Projet ANR : Nom</a></li><li class='dropdown-item'><a data-val='anrProjectId_i' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Projet ANR : Identifiant interne</a></li><li class='dropdown-item'><a data-val='anrProjectValid_s' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Projet ANR : État dans le référentiel</a></li><li class='dropdown-item'><a data-val='funding_acronym_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Projet ANSES: Acronyme</a></li><li class='dropdown-item'><a data-val='funding_reference_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Projet ANSES: Code decision (reference)</a></li><li class='dropdown-item'><a data-val='funding_title_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Projet ANSES: Nom</a></li><li class='dropdown-item'><a data-val='ademe_funding_acronym_s' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Projet ADEME: Acronyme</a></li><li class='dropdown-item'><a data-val='ademe_funding_reference_s' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Projet ADEME: Code decision (reference)</a></li><li class='dropdown-item'><a data-val='ademe_funding_title_s' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Projet ADEME: Nom</a></li><li class='dropdown-item'><a data-val='--sep4' href='javascript:void(0);' onclick="LangInit(this, 'qa');"></a></li><li class='dropdown-item'><a data-val='europeanProject_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Projets européens (multicritères)</a></li><li class='dropdown-item'><a data-val='europeanProjectAcronym_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Projet européen : Acronyme</a></li><li class='dropdown-item'><a data-val='europeanProjectCallId_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Projet européen : Identifiant de l'appel à projet</a></li><li class='dropdown-item'><a data-val='europeanProjectReference_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Projet européen : Référence</a></li><li class='dropdown-item'><a data-val='europeanProjectTitle_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Projet européen : Nom</a></li><li class='dropdown-item'><a data-val='europeanProjectEndDate_s' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Projet européen : Date de fin</a></li><li class='dropdown-item'><a data-val='europeanProjectFinancing_s' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Projet européen : Financement</a></li><li class='dropdown-item'><a data-val='europeanProjectStartDate_s' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Projet européen : Date de début</a></li><li class='dropdown-item'><a data-val='europeanProjectValid_s' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Projet européen : État dans le référentiel</a></li><li class='dropdown-item'><a data-val='europeanProjectId_i' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Projet européen : Identifiant interne</a></li><li class='dropdown-item'><a data-val='--sep6' href='javascript:void(0);' onclick="LangInit(this, 'qa');"></a></li><li class='dropdown-item'><a data-val='producedDateY_i' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Date de production : année</a></li><li class='dropdown-item'><a data-val='releasedDateY_i' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Date de mise en ligne : année</a></li><li class='dropdown-item'><a data-val='publicationDateY_i' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Date de publication : année</a></li><li class='dropdown-item'><a data-val='writingDateY_i' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Date d'écriture : année</a></li><li class='dropdown-item'><a data-val='modifiedDateY_i' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Date de modification du dépôt : année</a></li><li class='dropdown-item'><a data-val='submittedDateY_i' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Date de dépôt : année</a></li><li class='dropdown-item'><a data-val='ePublicationDateY_i' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Date de publication électronique : année</a></li><li class='dropdown-item'><a data-val='--sep7' href='javascript:void(0);' onclick="LangInit(this, 'qa');"></a></li><li class='dropdown-item'><a data-val='collection_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Collection HAL (multicritères)</a></li><li class='dropdown-item'><a data-val='collCategory_s' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Collection HAL : catégorie</a></li><li class='dropdown-item'><a data-val='collCode_s' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Collection HAL : Code</a></li><li class='dropdown-item'><a data-val='collName_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Collection HAL : Nom</a></li><li class='dropdown-item'><a data-val='collId_i' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Collection HAL : Identifiant interne</a></li><li class='dropdown-item'><a data-val='--sep8' href='javascript:void(0);' onclick="LangInit(this, 'qa');"></a></li><li class='dropdown-item'><a data-val='contributorId_i' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Identifiant interne du contributeur/déposant</a></li><li class='dropdown-item'><a data-val='contributorFullName_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Nom complet du contributeur/déposant</a></li><li class='dropdown-item'><a data-val='--sep9' href='javascript:void(0);' onclick="LangInit(this, 'qa');"></a></li><li class='dropdown-item'><a data-val='domain_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Domaines</a></li><li class='dropdown-item'><a data-val='primaryDomain_s' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Domaine primaire</a></li><li class='dropdown-item'><a data-val='level0_domain_s' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Domaine racine</a></li><li class='dropdown-item'><a data-val='level1_domain_s' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Sous-domaine niveau 1</a></li><li class='dropdown-item'><a data-val='level2_domain_s' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Sous-domaine niveau 2</a></li><li class='dropdown-item'><a data-val='level3_domain_s' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Sous-domaine niveau 3</a></li><li class='dropdown-item'><a data-val='--sep10' href='javascript:void(0);' onclick="LangInit(this, 'qa');"></a></li><li class='dropdown-item'><a data-val='status_i' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Statut du document</a></li><li class='dropdown-item'><a data-val='version_i' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Version du document</a></li><li class='dropdown-item'><a data-val='submitType_s' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Type de dépôt</a></li><li class='dropdown-item'><a data-val='docType_s' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Type de document</a></li><li class='dropdown-item'><a data-val='isbn_id' href='javascript:void(0);' onclick="LangInit(this, 'qa');">ISBN</a></li><li class='dropdown-item'><a data-val='number_id' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Numéro - référence</a></li><li class='dropdown-item'><a data-val='doiId_id' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Identifiant DOI</a></li><li class='dropdown-item'><a data-val='--sep11' href='javascript:void(0);' onclick="LangInit(this, 'qa');"></a></li><li class='dropdown-item'><a data-val='classification_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Classification</a></li><li class='dropdown-item'><a data-val='audience_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Audience</a></li><li class='dropdown-item'><a data-val='popularLevel_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Vulgarisation</a></li><li class='dropdown-item'><a data-val='peerReviewing_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Comité de lecture - texte (oui ou non)</a></li><li class='dropdown-item'><a data-val='proceedings_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Actes de colloque</a></li><li class='dropdown-item'><a data-val='localReference_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Référence interne</a></li><li class='dropdown-item'><a data-val='funding_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Financement</a></li><li class='dropdown-item'><a data-val='collaboration_t' href='javascript:void(0);' onclick="LangInit(this, 'qa');">Collaborations</a></li></ul> <input type="text" name="qa[text][]" id="qa" value="" lang="text" class=" form-control input-sm" aria-describedby="qa-error" style=" " data-keyword="1" /><span class="input-group-btn"><button type='button' class='btn btn-sm btn-primary form-btn-multi form-btn-add' onclick='MultiTextSimpleLangKeywordAdd(this, "qa");' data-toggle='tooltip' data-placement='right' data-original-title='Ajouter'><i class='icon icon-plus'></i> <span> Ajouter</span></button></span></div></div></div> <dt id="submit-label"> </dt><dd id="submit-element"> <button name="submit" id="submit-button" type="submit" value=" Lancer la recherche" class="btn btn-lg btnSearch hal-visualize-button" aria-describedby="submit-button-error"> Lancer la recherche</button></dd></form> <div class="mt-3"> <button class="tools-color btn-hide-show" data-selectOne="#solrSearchHeader" data-selectTwo="#advSearchHeader"> <span>Recherche experte (SolR)</span> </button> </div> </div> <div id="solrSearchHeader" class="hide"> <h3> Recherche experte (SolR)</h3> <form action="/IRIF/search/index" method="get" id="searchHeaderSolr" name="search-simple" role="search"> <textarea type="text" name="q" class="p-5" autocomplete="off" cols="150" placeholder="Chercher un document, un auteur, un mot clef..." value=""></textarea> <div> <button type="submit" aria-label="Rechercher" class="hal-visualize-button"> <span class="icon-search" aria-hidden="true"></span> <span>Lancer la recherche</span> </button> </div> </form> <div class="mt-3"> <button class="tools-color btn-hide-show" data-selectOne="#solrSearchHeader" data-selectTwo="#advSearchHeader"> <span>Vers la recherche avancée</span> </button> </div> </div> </div> </div> </li> <li id="ssheader-submit" class="btn-primary-orange position-relative"> <a href="/submit/index" class="btn-hal hal-submit-button btn-primary-orange stretched-link"> <span class="icon-add colo-white" aria-hidden="true"></span> <span> Déposer </span> </a> </li> </ul> </nav> <div class="site-header logo"> <div class="section-corps"> <table width="100%" cellpadding="0" style="position:relative;"> <tr> <td align="left"><img src="/IRIF/public/irif_bandeau_simple.png" /></td> </tr> </table> </div> </div> <div class="website-navigation"> <ul class="nav nav-pills justify-content-center flex-column flex-md-row"> <li class="nav-item "> <a class="nav-link active " href="/IRIF/" target="" >Page d'accueil</a> </li> <li class="nav-item "> <a class="nav-link " href="https://www.irif.fr/" target="_blank" >Site Web IRIF</a> </li> <li class="nav-item dropdown "> <a class="nav-link dropdown-toggle " data-toggle="dropdown" href="#" role="button" aria-haspopup="true" aria-expanded="false" target="" >Consultations</a> <ul class="dropdown-menu dropdown-menu-right"> <li class="nav-item"> <a class="dropdown-item" href="/IRIF/browse/author-structure" target="">Consultation par auteur</a> </li> <li class="nav-item"> <a class="dropdown-item" href="/IRIF/browse/period" target="">Consultation par période</a> </li> <li class="nav-item"> <a class="dropdown-item" href="/IRIF/browse/domain" target="">Consultation par discipline</a> </li> <li class="nav-item"> <a class="dropdown-item" href="/IRIF/browse/doctype" target="">Consultation par type de publication</a> </li> </ul> </li> </ul> </div> <main> <div id="skip-link" tabindex="-1"></div> <div class="toast hide valid-bg toast-valid" role="alert" aria-live="assertive" aria-atomic="true"> <div class="toast-body"> <div class="message"> <span class="icon-valid" aria-hidden="true"></span> <span class="flash-messages"> </span> </div> <button type="button" class="ml-2 mb-1 close" data-dismiss="toast" aria-label="Close"> <span aria-hidden="true">×</span> </button> </div> </div> <div class="toast hide warning-bg toast-warning" role="alert" aria-live="assertive" aria-atomic="true"> <div class="toast-body"> <div class="message"> <span class="icon-not_valid" aria-hidden="true"></span> <span class="flash-messages"> </span> </div> <button type="button" class="ml-2 mb-1 close" data-dismiss="toast" aria-label="Close"> <span aria-hidden="true">×</span> </button> </div> </div> <div class="toast hide bgcolor-second toast-info" role="alert" aria-live="assertive" aria-atomic="true"> <div class="toast-body"> <div class="message"> <span class="flash-messages"> </span> </div> <button type="button" class="ml-2 mb-1 close" data-dismiss="toast" aria-label="Close"> <span aria-hidden="true">×</span> </button> </div> </div> <div class="toast hide bgcolor-second toast-loader" role="alert" aria-live="assertive" aria-atomic="true"> <div class="toast-body"> <div class="message"> <div class="spinner-border text-light" role="status"> <span class="sr-only">Loading...</span> </div> <span class="flash-messages"> </span> </div> <button type="button" class="ml-2 mb-1 close" data-dismiss="toast" aria-label="Close"> <span aria-hidden="true">×</span> </button> </div> </div> <script type="text/javascript"> $(document).ready(function() { }); </script> <section class="section-corps custom-page p-4"> <div class="row"> <div class="col-sm-8"> <h1>Bienvenue dans la collection HAL de l'unité IRIF - UMR 8243</h1> <p><a target="_blank" href="https://www.irif.fr" rel="noopener"><span style="color: #c2e0f4;"><span style="color: #d9230f;">L'Institut de Recherche en Informatique Fondamentale (IRIF)</span></span></a> est une unité mixte de recherche (UMR 8243) entre le CNRS et l'Université Paris Cité, qui héberge une équipe-projet Inria. Il est issu de la fusion des deux UMR LIAFA et PPS au 1er janvier 2016. L'IRIF est aussi membre de la <span style="color: #c2e0f4;"><a style="color: #c2e0f4;" target="_blank" href="https://sciencesmaths-paris.fr/" rel="noopener"><span style="color: #d9230f;">Fondation Sciences Mathématiques de Paris (FSMP)</span></a></span> et de trois Domaines d’Intérêt Majeur de la région Ile-de-France : Math Innov, Sciences Informatiques, Technologies Quantiques.</p> <p>Les recherches menées à l'IRIF reposent sur l’étude et la compréhension des fondements de toute l’informatique, afin d’apporter des solutions innovantes aux défis actuels et futurs des sciences numériques. En particulier, l’IRIF est reconnu pour ses contributions portant sur la conception et l’analyse d’algorithmes, l’étude des modèles de calculs et de représentation des données, les fondements des langages de programmation, le développement logiciel, la vérification et la certification.</p> <p>•Cette collection référence uniquement les publications déposées à l'initiative de leur auteur·e, et n'est donc pas représentative de l'ensemble des publications de l'IRIF. Toute étude statistique de cette collection ne pourrait qu'être erronée. Cependant l'IRIF encourage ses membres à déposer régulièrement leurs publications dans cette collection.•</p> <p> </p> <p> </p> <div id="widget-4734" class="widget widget"><h2 class="widget-header">Dernières Publications</h2><div class="widget-content"><ul class="media-list list-deposit"> <li class="media"> <a class="pull-left media-left" href="/IRIF/hal-04953316v1"> <img src="//thumb.ccsd.cnrs.fr/9633718/thumb" width="40" class="img-thumbnail" alt="Vignette" /> </a> <div class="media-body"> <a href="/IRIF/hal-04953316v1"> Philippe Gaucher. Globular subdivisions are dihomotopy equivalences. 2025. <a target="_blank" href="https://hal.science/hal-04953316v1">⟨hal-04953316⟩</a> </a> </div> </li> <li class="media"> <a class="pull-left media-left" href="/IRIF/hal-04948022v2"> <img src="//thumb.ccsd.cnrs.fr/9631465/thumb" width="40" class="img-thumbnail" alt="Vignette" /> </a> <div class="media-body"> <a href="/IRIF/hal-04948022v2"> Pierre Letouzey. Generalized Hostadter functions G, H and beyond: numeration systems and discrepancy. 2025. <a target="_blank" href="https://inria.hal.science/hal-04948022v2">⟨hal-04948022v2⟩</a> </a> </div> </li> <li class="media"> <a class="pull-left media-left" href="/IRIF/hal-04789352v4"> <img src="//thumb.ccsd.cnrs.fr/9619127/thumb" width="40" class="img-thumbnail" alt="Vignette" /> </a> <div class="media-body"> <a href="/IRIF/hal-04789352v4"> Samuel Humeau, Daniela Petrisan, Jurriaan Rot. Correspondences between codensity and coupling-based liftings, a practical approach. <i>33rd EACSL Annual Conference on Computer Science Logic (CSL 2025)</i>, Feb 2025, Amsterdam, Netherlands. <a target="_blank" href="https://dx.doi.org/10.4230/LIPIcs.CSL.2025.29">⟨10.4230/LIPIcs.CSL.2025.29⟩</a>. <a target="_blank" href="https://hal.science/hal-04789352v4">⟨hal-04789352v4⟩</a> </a> </div> </li> <li class="media"> <a class="pull-left media-left" href="/IRIF/hal-03654190v3"> <img src="//thumb.ccsd.cnrs.fr/9622165/thumb" width="40" class="img-thumbnail" alt="Vignette" /> </a> <div class="media-body"> <a href="/IRIF/hal-03654190v3"> Kostia Chardonnet, Marc de Visme, Benoît Valiron, Renaud Vilmart. The Many-Worlds Calculus. 2025. <a target="_blank" href="https://hal.science/hal-03654190v3">⟨hal-03654190v3⟩</a> </a> </div> </li> <li class="media"> <a class="pull-left media-left" href="/IRIF/hal-03747425v2"> <img src="//thumb.ccsd.cnrs.fr/9622160/thumb" width="40" class="img-thumbnail" alt="Vignette" /> </a> <div class="media-body"> <a href="/IRIF/hal-03747425v2"> Kostia Chardonnet, Alexis Saurin, Benoît Valiron. A Curry-Howard Correspondence for Linear, Reversible Computation. 2025. <a target="_blank" href="https://hal.science/hal-03747425v2">⟨hal-03747425v2⟩</a> </a> </div> </li> </ul></div></div></div> <div class="col-sm-4"> <p> </p> <table style="border-collapse: collapse; width: 100%;"> <tbody> <tr> <td style="width: 49%;"><div id="widget-521" class="widget widget"><h2 class="widget-header">Notices</h2><div class="widget-content"><h3 class="center-text"> <span class="label label-default label-contrast"> 506 </span> </h3> </div></div></td> <td style="width: 49%;"><div id="widget-8658" class="widget widget"><h2 class="widget-header">Dépôts</h2><div class="widget-content"><h3 class="center-text"> <span class="label label-default label-contrast"> 943 </span> </h3> </div></div></td> </tr> </tbody> </table> <p> </p> <div id="widget-2992" class="widget widget"><h2 class="widget-header">Open Access</h2><div class="widget-content"><h3 class="text-center"> <span class="label label-default"> 89 % </span> </h3> </div></div> <p></p> <p> </p> <div id="widget-8662" class="widget widget"><h2 class="widget-header">Mots-Clés</h2><div class="widget-content"><div class="widget-cloud"> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Opetope" class="keyword keyword-3"> Opetope </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Combinatorial%20model%20category" class="keyword keyword-2"> Combinatorial model category </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Formal%20methods" class="keyword keyword-2"> Formal methods </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Algorithm" class="keyword keyword-2"> Algorithm </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Temporal%20path" class="keyword keyword-2"> Temporal path </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Conference" class="keyword keyword-2"> Conference </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Complexity" class="keyword keyword-2"> Complexity </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Distributed%20graph%20algorithms" class="keyword keyword-2"> Distributed graph algorithms </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Geometry%20of%20interaction" class="keyword keyword-2"> Geometry of interaction </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Cat%C3%A9gories%20sup%C3%A9rieures" class="keyword keyword-1"> Catégories supérieures </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Syst%C3%A8mes%20distribu%C3%A9s" class="keyword keyword-2"> Systèmes distribués </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Proof%20nets" class="keyword keyword-3"> Proof nets </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Cut%20elimination" class="keyword keyword-3"> Cut elimination </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Verification" class="keyword keyword-3"> Verification </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Union%20types" class="keyword keyword-3"> Union types </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Call-by-value" class="keyword keyword-2"> Call-by-value </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Directed%20homotopy" class="keyword keyword-2"> Directed homotopy </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Formal%20verification" class="keyword keyword-2"> Formal verification </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Intersection%20types" class="keyword keyword-4"> Intersection types </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Abstract%20machines" class="keyword keyword-1"> Abstract machines </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Automaton%20groups" class="keyword keyword-1"> Automaton groups </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Diameter" class="keyword keyword-2"> Diameter </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Communication%20complexity" class="keyword keyword-1"> Communication complexity </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Proof%20assistant" class="keyword keyword-2"> Proof assistant </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Separation" class="keyword keyword-2"> Separation </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Taylor%20expansion" class="keyword keyword-2"> Taylor expansion </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Directed%20path" class="keyword keyword-3"> Directed path </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Category%20theory" class="keyword keyword-2"> Category theory </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Noncrossing%20partitions" class="keyword keyword-2"> Noncrossing partitions </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Clustering" class="keyword keyword-2"> Clustering </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Lambda-Calculus" class="keyword keyword-2"> Lambda-Calculus </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Authentication" class="keyword keyword-1"> Authentication </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Transducers" class="keyword keyword-2"> Transducers </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Reduction%20operators" class="keyword keyword-2"> Reduction operators </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/BFS" class="keyword keyword-2"> BFS </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Monoid" class="keyword keyword-2"> Monoid </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Theory%20of%20computation%20%E2%86%92%20Distributed%20algorithms" class="keyword keyword-3"> Theory of computation → Distributed algorithms </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Logic%20in%20Computer%20Science%20csLO" class="keyword keyword-2"> Logic in Computer Science csLO </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Distributed%20systems" class="keyword keyword-2"> Distributed systems </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Semantics" class="keyword keyword-3"> Semantics </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Coinduction" class="keyword keyword-1"> Coinduction </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Combinatorial%20maps" class="keyword keyword-1"> Combinatorial maps </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Consensus" class="keyword keyword-2"> Consensus </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Coloring" class="keyword keyword-2"> Coloring </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Smart%20contracts" class="keyword keyword-2"> Smart contracts </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Software%20Package%20Installation" class="keyword keyword-2"> Software Package Installation </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Approximation%20Algorithms" class="keyword keyword-2"> Approximation Algorithms </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Linear%20logic" class="keyword keyword-10"> Linear logic </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Bisimulation" class="keyword keyword-1"> Bisimulation </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Curry-Howard" class="keyword keyword-2"> Curry-Howard </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Sequent%20calculus" class="keyword keyword-3"> Sequent calculus </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Topology" class="keyword keyword-3"> Topology </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/CONGEST" class="keyword keyword-1"> CONGEST </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Proof%20assistants" class="keyword keyword-2"> Proof assistants </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Symbolic%20dynamics" class="keyword keyword-2"> Symbolic dynamics </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Classical%20logic" class="keyword keyword-2"> Classical logic </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Shared%20memory" class="keyword keyword-2"> Shared memory </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Subtyping" class="keyword keyword-2"> Subtyping </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Lower%20bounds" class="keyword keyword-2"> Lower bounds </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Regular%20languages" class="keyword keyword-2"> Regular languages </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Theory%20of%20computation%20%E2%86%92%20Graph%20algorithms%20analysis" class="keyword keyword-2"> Theory of computation → Graph algorithms analysis </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Non-wellfounded%20proofs" class="keyword keyword-3"> Non-wellfounded proofs </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Quantum%20algorithms" class="keyword keyword-2"> Quantum algorithms </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Reachability" class="keyword keyword-2"> Reachability </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Proof%20theory" class="keyword keyword-4"> Proof theory </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/R%C3%A9%C3%A9criture" class="keyword keyword-2"> Réécriture </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Theory%20of%20computation" class="keyword keyword-3"> Theory of computation </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Polygraphs" class="keyword keyword-2"> Polygraphs </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Coq" class="keyword keyword-4"> Coq </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Reverse%20mathematics" class="keyword keyword-2"> Reverse mathematics </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Cluster%20complex" class="keyword keyword-1"> Cluster complex </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/CCS%20Concepts" class="keyword keyword-2"> CCS Concepts </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Lambda%20calculus" class="keyword keyword-2"> Lambda calculus </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Opetopic%20set" class="keyword keyword-2"> Opetopic set </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Distributed%20algorithms" class="keyword keyword-2"> Distributed algorithms </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Denotational%20semantics" class="keyword keyword-5"> Denotational semantics </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Circular%20proofs" class="keyword keyword-3"> Circular proofs </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Rewriting" class="keyword keyword-3"> Rewriting </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Combinatorial%20topology" class="keyword keyword-2"> Combinatorial topology </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Fixed%20points" class="keyword keyword-3"> Fixed points </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Lambda-calculus" class="keyword keyword-3"> Lambda-calculus </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Categorical%20semantics" class="keyword keyword-3"> Categorical semantics </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Blockchain" class="keyword keyword-1"> Blockchain </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Accessible%20model%20category" class="keyword keyword-1"> Accessible model category </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Distributed%20Computing" class="keyword keyword-2"> Distributed Computing </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Program%20verification" class="keyword keyword-2"> Program verification </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Decidability" class="keyword keyword-2"> Decidability </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Substitutions" class="keyword keyword-2"> Substitutions </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Eccentricity" class="keyword keyword-2"> Eccentricity </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Graph%20algorithms" class="keyword keyword-2"> Graph algorithms </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Broadcasting" class="keyword keyword-1"> Broadcasting </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Concurrency" class="keyword keyword-2"> Concurrency </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Graph%20theory" class="keyword keyword-2"> Graph theory </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Polynomial%20functor" class="keyword keyword-2"> Polynomial functor </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Linear%20Logic" class="keyword keyword-5"> Linear Logic </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Signed%20graphs" class="keyword keyword-2"> Signed graphs </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Type%20theory" class="keyword keyword-5"> Type theory </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Automata" class="keyword keyword-2"> Automata </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/V%C3%A9rification" class="keyword keyword-2"> Vérification </a> <a rel="nofollow" href="/IRIF/search/index/q/*/keyword_s/Approximation%20algorithms" class="keyword keyword-1"> Approximation algorithms </a> </div></div></div> <p> </p> </div> </div> <p></p> <div id="widget-4071" class="widget widget"><h2 class="widget-header">COLLABORATIONS</h2><div class="widget-content"><div ng-app="cartoHal"><search></search></div><script type="text/javascript">var ConfigWidgetHal={ ApiURL: "https://api.archives-ouvertes.fr" + "/search/" + "IRIF", DisplayMap:true, DisplayDatatable:false, DocumentType:"*", query:"*", DisplayTitle:false, CountryField: "structCountry_s", CountryField_t: "structCountry_s", url_consult: "/IRIF" }; </script></div></div> <p></p> </section> </main> <footer id="footer"> <div class="row" style="margin:0"> <div class="col-sm-4 col-md-2"> <p> Contact </p> <ul> <li> <a href="//doc.archives-ouvertes.fr/support" target="_blank" rel="noopener">Support</a> </li> <li class="cts-link"> <a href="https://doi.org/10.34894/VQ1DJA" target="_blank" > <img src="/assets/img/CoreTrustSeal.png" width="100px" class="mt-4" alt="CoreTrustSeal logo"/> </a> </li> </ul> </div> <div class="col-sm-4 col-md-2"> <p> Ressources</p> <ul> <li> <a href="//doc.archives-ouvertes.fr/" target="_blank" > Documentation </a> </li> <li> <a href="//learning.hal.science/" target="_blank" > Formation </a> </li> <li> <a href="//doc.archives-ouvertes.fr/faq" target="_blank" > FAQ </a> </li> <li> <a href="https://api.archives-ouvertes.fr/docs" target="_blank" > API </a> </li> <li> <a href="https://api.archives-ouvertes.fr/docs/oai" target="_blank" > OAI-PMH </a> </li> <li> <a href="https://aurehal.archives-ouvertes.fr" target="_blank" > AuréHAL </a> </li> </ul> </div> <div class="col-sm-4 col-md-2"> <p> Informations</p> <ul> <li> <a href="https://about.hal.science" target="_blank"> À propos </a> </li> <li> <a href="https://about.hal.science/privacy-policy" target="_blank"> Données personnelles </a> </li> <li> <a href="https://about.hal.science/legal-notice/" target="_blank"> Mentions légales </a> </li> <li> <a href="https://about.hal.science/web-accessibility/" target="_blank"> Accessibilité </a> </li> <li> <a href="https://about.hal.science/RGAA-compliance/" target="_blank"> Conformité RGAA </a> </li> </ul> </div> <div class="col-sm-4 col-md-2"> <p> Questions juridiques </p> <ul> <li> <a href="https://www.ouvrirlascience.fr/je-publie-quels-sont-mes-droits/" target="_blank" > Je publie, quels sont mes droits ? </a> </li> <li> <a href="https://www.ouvrirlascience.fr/guide-application-loi-republique-numerique-article-30-ecrits-scientifiques-version-courte/" target="_blank" > Loi pour une République numérique </a> </li> <li> <a href="https://www.ouvrirlascience.fr/mettre-en-oeuvre-la-strategie-de-non-cession-des-droits-sur-les-publications-scientifiques/" target="_blank" > Stratégie de non-cession des droits </a> </li> <li> <a href="https://v2.sherpa.ac.uk/romeo/" target="_blank" > SHERPA/RoMEO </a> </li> </ul> </div> <div class="col-sm-4 col-md-2"> <p> Portails </p> <ul> <li><a href="https://hal.science/browse/portal" target="_blank"> Portails institutionnels </a></li> <li><a href="https://hal.science" target="_blank" >HAL</a></li> <li><a href="//shs.hal.science" target="_blank" >HAL SHS</a></li> <li><a href="//theses.hal.science" target="_blank" >HAL Thèses</a></li> <li><a href="//media.hal.science" target="_blank" >MédiHAL</a></li> </ul> </div> <div class="col-sm-4 col-md-2"> <p> CCSD </p> <ul> <li> <a href="//www.ccsd.cnrs.fr/" target="_blank" > CCSD </a> </li> <li> <a href="//www.episciences.org/" target="_blank" > Episciences </a> </li> <li> <a href="//www.sciencesconf.org/" target="_blank" > Sciencesconf </a> </li> </ul> </div> </div> </footer> </body> </html>