Preuves, programmes et systèmes

<!DOCTYPE html> <html xmlns="http://www.w3.org/1999/xhtml" lang="fr" dir="ltr" class="no-js"> <head> <meta charset="UTF-8" /> <title>Preuves, programmes et systèmes</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="poles,pps,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/poles/pps/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/poles/pps/index"/> <link rel="alternate" type="text/plain" title="Wiki balise" href="https://www.irif.fr/_export/raw/poles/pps/index"/> <link rel="canonical" href="https://www.irif.fr/poles/pps/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='poles:pps';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":"poles:pps:index","namespace":"poles:pps","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="poles:pps: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 active 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 active"> <strong><a href="https://www.irif.fr/poles/pps/index" class="wikilink1" title="poles:pps:index" data-wiki-curid="true">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 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"> <a href="https://www.irif.fr/international/index" class="wikilink1" title="international:index" >Collaborations internationales</a> </li> <li class="level2"> <a href="https://epit.irif.fr" class="" title="https://epit.irif.fr" rel="ugc nofollow">L'école thématique EPIT</a> </li> <li class="level2"> <a href="https://www.irif.fr/formation/index" class="wikilink1" title="formation:index" >Formation</a> </li> </ul> </li> </ul> <ul class="nav navbar-nav"> <li class="level1 node dropdown"><a href="#" class="dropdown-toggle" data-target="#" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">REJOIGNEZ-NOUS <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <a href="https://www.irif.fr/informations/visit" class="wikilink1" title="informations:visit" >Programme visiteurs</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/admin" class="wikilink1" title="postes:admin" >Postes soutien à la recherche</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/universite" class="wikilink1" title="postes:universite" >Enseignant·e·s-chercheurs·euses</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/chercheur" class="wikilink1" title="postes:chercheur" >Chercheurs·euses</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/postdoc" class="wikilink1" title="postes:postdoc" >Postdocs</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/ater" class="wikilink1" title="postes:ater" >ATER</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/these" class="wikilink1" title="postes:these" >Thèses</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/stage" class="wikilink1" title="postes:stage" >Stages de master</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/stage-scolaire" class="wikilink1" title="postes:stage-scolaire" >Stages scolaires d’observation</a> </li> </ul> </li> </ul> <ul class="nav navbar-nav"> <li class="level1"> <a href="https://www.irif.fr/intranet/index" class="wikilink1" title="intranet:index" >INTRANET</a> </li> </ul> <div class="navbar-right" id="dw__navbar_items">  <ul class="nav navbar-nav" id="dw__translation"> <li class="dropdown"> <a href="" class="dropdown-toggle" data-target="#" data-toggle="dropdown" title="Traductions de cette page" role="button" aria-haspopup="true" aria-expanded="false"> <span class="iconify" data-icon="mdi:flag"></span> <span class="hidden-lg hidden-md hidden-sm">Traductions de cette page</span><span class="caret"></span> </a> <ul class="dropdown-menu" role="menu"> <li class="dropdown-header hidden-xs hidden-sm"> <span class="iconify" data-icon="mdi:flag"></span> Traductions de cette page </li> <li><div class='li cur'><a href="https://www.irif.fr/poles/pps/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/poles/pps/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/poles/pps/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"><div class="datatemplateentry"> <p> <br/> </p> <div class="wrap_right plugin_wrap"> <p> <div class="bs-wrap bs-wrap-well well"> <span class="bs-wrap bs-wrap-button" data-btn-type="primary" data-btn-size="sm" data-btn-disabled="1">Pôle</span> </p> <div class=""> <p> <span class="bs-wrap bs-wrap-label label label-default">Équipe thématique</span> <a href="https://www.irif.fr/poles/pps/0_pageid" class="wikilink2" title="poles:pps:0_pageid" rel="nofollow" data-wiki-id="poles:pps:0_pageid"><a href="https://www.irif.fr/equipes/algebre/index" class="wikilink1" title="equipes:algebre:index" data-wiki-id="equipes:algebre:index">Algèbre et calcul</a></a><br/> <span class="bs-wrap bs-wrap-label label label-default">Équipe-projet Inria</span> <a href="https://www.irif.fr/poles/pps/1_pageid" class="wikilink2" title="poles:pps:1_pageid" rel="nofollow" data-wiki-id="poles:pps:1_pageid"><a href="https://www.irif.fr/equipes/picube/index" class="wikilink1" title="equipes:picube:index" data-wiki-id="equipes:picube:index">Picube (Inria)</a></a><br/> <span class="bs-wrap bs-wrap-label label label-default">Équipe thématique</span> <a href="https://www.irif.fr/poles/pps/2_pageid" class="wikilink2" title="poles:pps:2_pageid" rel="nofollow" data-wiki-id="poles:pps:2_pageid"><a href="https://www.irif.fr/equipes/preuves/index" class="wikilink1" title="equipes:preuves:index" data-wiki-id="equipes:preuves:index">Preuves et programmes</a></a><br/> <span class="bs-wrap bs-wrap-label label label-default">Équipe thématique</span> <a href="https://www.irif.fr/poles/pps/3_pageid" class="wikilink2" title="poles:pps:3_pageid" rel="nofollow" data-wiki-id="poles:pps:3_pageid"><a href="https://www.irif.fr/equipes/programmes/index" class="wikilink1" title="equipes:programmes:index" data-wiki-id="equipes:programmes:index">Programmes et Langages (PL)</a></a><br/> </p> </div> <p> </div> </p> </div> <h2 class="sectionedit3 page-header pb-3 mb-4 mt-5" id="preuves_programmes_et_systemes">Preuves, programmes et systèmes</h2> <div class="level2"> <p> <br/> </p> </div> <h4 id="responsable">Responsable</h4> <div class="level4"> <div class=""> <p> <a href="http://www.irif.fr/~gmanzone/" class="urlextern" title="http://www.irif.fr/~gmanzone/" rel="ugc nofollow">Giulio Manzonetto</a><br/> </p> </div> </div> </div><div style='display:none'> <p> <br/> </p> <div class="wrap_right plugin_wrap"> <p> <span class="bs-wrap bs-wrap-button" data-btn-type="default"><a href="https://www.irif.fr/poles/pps/intranet/index" class="wikilink1" title="poles:pps:intranet:index" data-wiki-id="poles:pps:intranet:index">Intranet de PPS</a></span> </p> </div></div> <p> <br/> </p> <h4 id="themes_de_recherche">Thèmes de recherche</h4> <div class="level4"> <p> Le programme scientifique du pôle Preuves, programmes et systèmes (PPS) de l'IRIF vise à renforcer les fondements théoriques des langages de programmation, des assistants de preuves et, plus généralement, des formalismes de calcul. Ces problématiques sont abordées en croisant trois points de vue complémentaires : </p> <ul class=" fix-media-list-overlap"> <li class="level1"><div class="li"> <i class="dw-icons fa-lg fa fa-circle" style="color:#c77fff" title=""></i> une approche <em>syntaxique</em>, qui développe des langages théoriques issus de formalismes logiques,</div> </li> <li class="level1"><div class="li"> <i class="dw-icons fa-lg fa fa-circle" style="color:#ffbf7f" title=""></i> une approche <em>algébrique</em>, qui étudie les structures mathématiques liées au calcul,</div> </li> <li class="level1"><div class="li"> <i class="dw-icons fa-lg fa fa-circle" style="color:#ade09a" title=""></i> une approche <em>pratique</em>, qui modélise et analyse des systèmes de calcul réels.</div> </li> </ul> <p> Le pôle est constitué de trois équipes thématiques, correspondant à chacun de ces trois points de vue. Elles développent leurs outils propres, et les mettent ensuite au service d'objectifs scientifiques communs : </p> </div> <div class="plugin_include_content plugin_include__poles:pps:patates" id="plugin_include__poles__pps__patates"> <div class="level4"> <svg xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:cc="http://creativecommons.org/ns#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:svg="http://www.w3.org/2000/svg" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="90%" height="90%" viewbox="-50 -5 500 175" preserveaspectratio="xMidYMin" version="1.2" text-rendering="geometricPrecision" id="PttsPPS" > <defs> <style type="text/css"> a:hover { text-decoration: none; } text { font-family: sans-serif; } </style> </defs> <a id="aPreuves" xlink:href="https://www.irif.fr/equipes/preuves/index" onmouseover=" elt=document.getElementById('rPreuves'); elt.setAttribute('fill-opacity', '0.67'); elt.setAttribute('stroke-width', '2'); " onmouseout=" elt=document.getElementById('rPreuves'); elt.setAttribute('fill-opacity', '0.5'); elt.setAttribute('stroke-width', '0'); " > <path id="rPreuves" fill="#7f007f" fill-opacity="0.5" fill-rule="nonzero" stroke="#7f007f" stroke-width="0" d="M 74,106 H 370 V 0 H 74 Z m 0,0" /> <text id="tPreuves" fill="#ffffff" fill-opacity="1" font-variant="small-caps" font-size="11px" font-weight="bold" x="160" y="11" > Preuves & Programmes </text> <g id="actPreuves" fill="#505050" fill-opacity="1" font-size="7.5px" font-weight="bold" > <text id="SyntaxeTypes" x="90" y="29" > Syntaxe et types </text> <g id="TheorieDemonstration" > <text x="300" y="25" > Théorie de la </text> <text x="298" y="34.5" > démonstration </text> </g> </g> </a> <a xlink:href="https://www.irif.fr/equipes/algebre/index" id="aAlgebre" onmouseover=" elt=document.getElementById('rAlgebre'); elt.setAttribute('fill-opacity', '0.67'); elt.setAttribute('stroke-width', '2'); " onmouseout=" elt=document.getElementById('rAlgebre'); elt.setAttribute('fill-opacity', '0.5'); elt.setAttribute('stroke-width', '0'); " > <path id="rAlgebre" fill="#ff7f00" fill-opacity="0.5" fill-rule="nonzero" stroke="#ff7f00" stroke-width="0" d="M 287,34 0,59 8,153 296,128 Z m 0,0" /> <g id="tAlgebre" fill="#ffffff" fill-opacity="1" font-variant="small-caps" font-size="11px" font-weight="bold" > <text transform="translate(6,93)rotate(85)" > Algèbre </text> <text transform="translate(10,150)rotate(-5)" > & Calcul </text> </g> <g id="actSystemes" fill="#505050" fill-opacity="1" font-size="7.5px" font-weight="bold" > <g id="Semantique" > <text x="91" y="72" > Sémantique </text> <text x="84" y="81" > dénotationnelle </text> </g> <g id="CategoriesHomotopie" > <text x="18" y="79" > Catégories et </text> <text x="23" y="88" > homotopie </text> </g> <g id="AlgebreCombinatoireReecriture" > <text x="83" y="119" > Algèbre </text> <text x="68" y="128" > combinatoire et </text> <text x="79" y="137" > réécriture </text> </g> </g> </a> <a id="aSystemes" xlink:href="https://www.irif.fr/equipes/systemes/index" onmouseover=" elt=document.getElementById('rSystemes'); elt.setAttribute('fill-opacity', '0.67'); elt.setAttribute('stroke-width', '2'); " onmouseout=" elt=document.getElementById('rSystemes'); elt.setAttribute('fill-opacity', '0.5'); elt.setAttribute('stroke-width', '0'); " > <path id="rSystemes" fill="#59c235" fill-opacity="0.5" fill-rule="nonzero" stroke="#59c235" stroke-width="0" d="M 444,65 162,28 148,130 431,168 Z m 0,0" /> <g id="tSystemes" fill="#ffffff" fill-opacity="1" font-variant="small-caps" font-size="11px" font-weight="bold" > <text transform="translate(307,148)rotate(7.5)" > Analyse & Conception </text> <text transform="translate(429,155)rotate(-82.5)" > de Systèmes </text> </g> <g id="actSystemes" fill="#505050" fill-opacity="1" font-size="7.5px" font-weight="bold" > <g id="Coq" > <text x="196" y="55" > L'assistant de </text> <text x="200" y="65" > preuve Coq </text> </g> <g id="ReecritureLineaire" > <text x="171" y="87" > Réécriture </text> <text x="177" y="97" > linéaire </text> </g> <g id="SystemesConcurrentsProbabilistes" > <text x="236" y="82" > Systèmes </text> <text x="226" y="91" > concurrents et </text> <text x="230" y="101" > probabilistes </text> </g> <g id="LangagesProgrammation" > <text x="308" y="71" > Langages de </text> <text x="302" y="81" > programmation </text> </g> <g id="ComposantsLogiciels" > <text x="377" y="87" > Composants </text> <text x="385" y="96" > logiciels </text> </g> <g id="Babel" > <text x="317" y="122" > Le protocole de </text> <text x="320" y="132" > routage Babel </text> </g> </g> </a> </svg> </div> </div> <div class="level4"> <p> Le pôle PPS héberge l'équipe-projet $\pi r^2$ commune à l'INRIA, au CNRS et à l'Université Paris-Diderot — Paris 7, ainsi qu'une partie des membres de l'IRILL (Initiative de Recherche et d'Innovation sur le Logiciel Libre), une structure commune à l'INRIA, à l'Université Paris-Diderot — Paris 7 et à l'Université Pierre-et-Marie-Curie — Paris 6. </p> <p> <br/> </p> </div> <h4 id="evenements">Evènements</h4> <div class="level4"> <ul class=" fix-media-list-overlap"> <li class="level1"><div class="li"> Séminaire <a href="https://www.irif.fr/seminaires/pps/index" class="wikilink1" title="seminaires:pps:index" data-wiki-id="seminaires:pps:index">Preuves, programmes et systèmes</a></div> </li> <li class="level1"><div class="li"> Séminaire en ligne <a href="https://www.irif.fr/seminaires/greta/index" class="wikilink1" title="seminaires:greta:index" data-wiki-id="seminaires:greta:index">Graph Transformation Theory and Applications</a></div> </li> <li class="level1 node"><div class="li"> Groupes de travail </div> <ul class=" fix-media-list-overlap"> <li class="level2"><div class="li"> <a href="https://www.irif.fr/seminaires/acs/index" class="wikilink1" title="seminaires:acs:index" data-wiki-id="seminaires:acs:index">Séances passées</a></div> </li> <li class="level2"><div class="li"> <a href="https://www.irif.fr/seminaires/cat/index" class="wikilink1" title="seminaires:cat:index" data-wiki-id="seminaires:cat:index">Catégories supérieures, polygraphes et homotopie</a></div> </li> <li class="level2"><div class="li"> <a href="https://www.irif.fr/seminaires/semantique/index" class="wikilink1" title="seminaires:semantique:index" data-wiki-id="seminaires:semantique:index">Sémantique</a></div> </li> <li class="level2"><div class="li"> <a href="https://www.irif.fr/seminaires/programmation/index" class="wikilink1" title="seminaires:programmation:index" data-wiki-id="seminaires:programmation:index">Programmation</a><br/> </div> </li> <li class="level2"><div class="li"> <a href="https://www.irif.fr/seminaires/types/index" class="wikilink1" title="seminaires:types:index" data-wiki-id="seminaires:types:index">Théorie des types et réalisabilité</a></div> </li> </ul> </li> <li class="level1"><div class="li"> Rencontres <a href="https://www.irif.fr/rencontres/pps/index" class="wikilink1" title="rencontres:pps:index" data-wiki-id="rencontres:pps:index">Preuves, programmes et systèmes</a></div> </li> </ul> <p> <br/> </p> </div> <h4 id="permanents">Permanents</h4> <div class="level4"> </div> <div class="plugin_include_content plugin_include__poles:pps:db:annuaire_perm" id="plugin_include__poles__pps__db__annuaire_perm"> <div class="level4"> <div class="dt-wrapper" data-page-length='-1' data-dom='frt'><div class="table-responsive"><table class="inline table table-striped table-condensed"> <thead> <tr class="row0"> <th class="col0">Nom</th><th class="col1">@</th><th class="col2">Téléphone</th><th class="col3">Bureau</th><th class="col4">Fonction</th><th class="col5">Pôle</th><th class="col6">Équipe</th> </tr> </thead> <tr class="row1"> <td class="col0"> <a href="https://www.irif.fr/~abbes" class="urlextern" title="https://www.irif.fr/~abbes" rel="ugc nofollow"> Abbes Samy </a> </td><td class="col1"> <a href="mailto:samy.abbes@univ-paris-diderot.fr" class="mail" title="samy.abbes@univ-paris-diderot.fr">@</a> </td><td class="col2"> 01 57 27 92 37 </td><td class="col3"> 3046 </td><td class="col4"> Maître.sse de conférences </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a> </td> </tr> <tr class="row2"> <td class="col0"> <a href="https://www.irif.fr/~amadio" class="urlextern" title="https://www.irif.fr/~amadio" rel="ugc nofollow"> Amadio Roberto </a> </td><td class="col1"> <a href="mailto:roberto.amadio@univ-paris-diderot.fr" class="mail" title="roberto.amadio@univ-paris-diderot.fr">@</a> </td><td class="col2"> 01 57 27 92 47 </td><td class="col3"> 4020 </td><td class="col4"> Professeur.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row3"> <td class="col0"> <a href="https://www.irif.fr/~baudart/" class="urlextern" title="https://www.irif.fr/~baudart/" rel="ugc nofollow"> Baudart Guillaume </a> </td><td class="col1"> <a href="mailto:Guillaume.Baudart@irif.fr" class="mail" title="Guillaume.Baudart@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4026 </td><td class="col4"> Chargé.e de recherche - INRIA ISFP </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a> </td> </tr> <tr class="row4"> <td class="col0"> <a href="http://nicolasbehr.com" class="urlextern" title="http://nicolasbehr.com" rel="ugc nofollow"> Behr Nicolas </a> </td><td class="col1"> <a href="mailto:Nicolas.Behr@irif.fr" class="mail" title="Nicolas.Behr@irif.fr">@</a> </td><td class="col2"> 01 57 27 90 85 </td><td class="col3"> 3030 </td><td class="col4"> Chargé.e de recherche - CNRS </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row5"> <td class="col0"> <a href="https://www.irif.fr/~gio/index.xhtml" class="urlextern" title="https://www.irif.fr/~gio/index.xhtml" rel="ugc nofollow"> Bernardi Giovanni </a> </td><td class="col1"> <a href="mailto:Giovanni.Bernardi@irif.fr" class="mail" title="Giovanni.Bernardi@irif.fr">@</a> </td><td class="col2"> 01 57 27 93 38 </td><td class="col3"> 4021 </td><td class="col4"> Maître.sse de conférences </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a>, <a href="https://www.irif.fr/poles/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a>, <a href="https://www.irif.fr/equipes/verif/index" class="urlextern" title="https://www.irif.fr/equipes/verif/index" rel="ugc nofollow"> verif </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a> </td> </tr> <tr class="row6"> <td class="col0"> <a href="https://www.irif.fr/~buccia" class="urlextern" title="https://www.irif.fr/~buccia" rel="ugc nofollow"> Bucciarelli Antonio </a> </td><td class="col1"> <a href="mailto:Antonio.Bucciarelli@irif.fr" class="mail" title="Antonio.Bucciarelli@irif.fr">@</a> </td><td class="col2"> 01 57 27 94 33 </td><td class="col3"> 3045 </td><td class="col4"> Maître.sse de conférences </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row7"> <td class="col0"> <a href="https://www.irif.fr/~gc" class="urlextern" title="https://www.irif.fr/~gc" rel="ugc nofollow"> Castagna Giuseppe </a> </td><td class="col1"> <a href="mailto:Giuseppe.Castagna@irif.fr" class="mail" title="Giuseppe.Castagna@irif.fr">@</a> </td><td class="col2"> 01 57 27 93 40 </td><td class="col3"> 3039 </td><td class="col4"> Directeur.rice de recherche - CNRS </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a> </td> </tr> <tr class="row8"> <td class="col0"> <a href="https://www.irif.fr/~curien" class="urlextern" title="https://www.irif.fr/~curien" rel="ugc nofollow"> Curien Pierre-Louis </a> </td><td class="col1"> <a href="mailto:Pierre-Louis.Curien@irif.fr" class="mail" title="Pierre-Louis.Curien@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 23 </td><td class="col3"> 3013 </td><td class="col4"> Directeur.rice de recherche émérite - CNRS </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a>, <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row9"> <td class="col0"> <a href="https://www.irif.fr/~dagand/" class="urlextern" title="https://www.irif.fr/~dagand/" rel="ugc nofollow"> Dagand Pierre-Evariste </a> </td><td class="col1"> <a href="mailto:Pierre-Evariste.Dagand@irif.fr" class="mail" title="Pierre-Evariste.Dagand@irif.fr">@</a> </td><td class="col2"> 01 57 27 94 29 </td><td class="col3"> 3012 </td><td class="col4"> Chargé.e de recherche - CNRS </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a> </td> </tr> <tr class="row10"> <td class="col0"> <a href="https://www.irif.fr/~douteau/" class="urlextern" title="https://www.irif.fr/~douteau/" rel="ugc nofollow"> Douteau Sylvain </a> </td><td class="col1"> <a href="mailto:Sylvain.Douteau@irif.fr" class="mail" title="Sylvain.Douteau@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3030 </td><td class="col4"> Maître.sse de conférences </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row11"> <td class="col0"> <a href="https://www.irif.fr/~ehrhard" class="urlextern" title="https://www.irif.fr/~ehrhard" rel="ugc nofollow"> Ehrhard Thomas </a> </td><td class="col1"> <a href="mailto:Thomas.Ehrhard@irif.fr" class="mail" title="Thomas.Ehrhard@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 17 </td><td class="col3"> 4014a </td><td class="col4"> Directeur.rice de recherche - CNRS </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a>, <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a> </td> </tr> <tr class="row12"> <td class="col0"> <a href="https://www.irif.fr/~faggian" class="urlextern" title="https://www.irif.fr/~faggian" rel="ugc nofollow"> Faggian Claudia </a> </td><td class="col1"> <a href="mailto:Claudia.Faggian@irif.fr" class="mail" title="Claudia.Faggian@irif.fr">@</a> </td><td class="col2"> 01 57 27 90 86 </td><td class="col3"> 3032 </td><td class="col4"> Chargé.e de recherche - CNRS </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row13"> <td class="col0"> <a href="https://hugo.feree.fr" class="urlextern" title="https://hugo.feree.fr" rel="ugc nofollow"> Férée Hugo </a> </td><td class="col1"> <a href="mailto:Hugo.Feree@irif.fr" class="mail" title="Hugo.Feree@irif.fr">@</a> </td><td class="col2 leftalign"> 01 57 27 94 05 </td><td class="col3"> 4011 </td><td class="col4"> Maître.sse de conférences </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row14"> <td class="col0"> <a href="https://www.irif.fr/~gaucher" class="urlextern" title="https://www.irif.fr/~gaucher" rel="ugc nofollow"> Gaucher Philippe </a> </td><td class="col1"> <a href="mailto:Philippe.Gaucher@irif.fr" class="mail" title="Philippe.Gaucher@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 55 </td><td class="col3"> 3049 </td><td class="col4"> Chargé.e de recherche - CNRS </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a> </td> </tr> <tr class="row15"> <td class="col0"> <a href="https://geoffroy.re" class="urlextern" title="https://geoffroy.re" rel="ugc nofollow"> Geoffroy Guillaume </a> </td><td class="col1"> <a href="mailto:Guillaume.Geoffroy@irif.fr" class="mail" title="Guillaume.Geoffroy@irif.fr">@</a> </td><td class="col2"> 01 57 27 94 15 </td><td class="col3"> 3019 </td><td class="col4"> Maître.sse de conférences </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row16"> <td class="col0"> <a href="https://www.irif.fr/~guatto/" class="urlextern" title="https://www.irif.fr/~guatto/" rel="ugc nofollow"> Guatto Adrien </a> </td><td class="col1"> <a href="mailto:Adrien.Guatto@irif.fr" class="mail" title="Adrien.Guatto@irif.fr">@</a> </td><td class="col2"> 01 57 27 94 15 </td><td class="col3"> 3019 </td><td class="col4"> Maître.sse de conférences </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row17"> <td class="col0"> <a href="http://pauillac.inria.fr/~herbelin" class="urlextern" title="http://pauillac.inria.fr/~herbelin" rel="ugc nofollow"> Herbelin Hugo </a> </td><td class="col1"> <a href="mailto:Hugo.Herbelin@irif.fr" class="mail" title="Hugo.Herbelin@irif.fr">@</a> </td><td class="col2"> 01 57 27 90 87 </td><td class="col3"> 3029 </td><td class="col4"> Directeur.rice de recherche - INRIA </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a> </td> </tr> <tr class="row18"> <td class="col0"> <a href="https://www.irif.fr/~joly" class="urlextern" title="https://www.irif.fr/~joly" rel="ugc nofollow"> Joly Thierry </a> </td><td class="col1"> <a href="mailto:Thierry.Joly@irif.fr" class="mail" title="Thierry.Joly@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 55 </td><td class="col3"> 3049 </td><td class="col4"> Maître.sse de conférences </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row19"> <td class="col0"> <a href="https://www.irif.fr/~kesner" class="urlextern" title="https://www.irif.fr/~kesner" rel="ugc nofollow"> Kesner Delia </a> </td><td class="col1"> <a href="mailto:Delia.Kesner@irif.fr" class="mail" title="Delia.Kesner@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 38 </td><td class="col3"> 3020 </td><td class="col4"> Professeur.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row20"> <td class="col0"> <a href="https://www.irif.fr/~krivine" class="urlextern" title="https://www.irif.fr/~krivine" rel="ugc nofollow"> Krivine Jean-Louis </a> </td><td class="col1"> <a href="mailto:Jean-Louis.Krivine@irif.fr" class="mail" title="Jean-Louis.Krivine@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 39 </td><td class="col3"> 3008 </td><td class="col4"> Professeur.e émérite </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row21"> <td class="col0"> <a href="https://www.irif.fr/~jkrivine" class="urlextern" title="https://www.irif.fr/~jkrivine" rel="ugc nofollow"> Krivine Jean </a> </td><td class="col1"> <a href="mailto:Jean.Krivine@irif.fr" class="mail" title="Jean.Krivine@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4027 </td><td class="col4"> Chargé.e de recherche - CNRS </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a> </td> </tr> <tr class="row22"> <td class="col0"> <a href="https://www.irif.fr/~ledent/" class="urlextern" title="https://www.irif.fr/~ledent/" rel="ugc nofollow"> Ledent Jeremy </a> </td><td class="col1"> <a href="mailto:jeremy.ledent@irif.fr" class="mail" title="jeremy.ledent@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 58 </td><td class="col3"> 3022 </td><td class="col4"> Maître.sse de conférences </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a>, <a href="https://www.irif.fr/poles/asd/index" class="urlextern" title="https://www.irif.fr/poles/asd/index" rel="ugc nofollow"> ASD </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/distribue/index" class="urlextern" title="https://www.irif.fr/equipes/distribue/index" rel="ugc nofollow"> distribue </a> </td> </tr> <tr class="row23"> <td class="col0"> <a href="https://www.irif.fr/~letouzey" class="urlextern" title="https://www.irif.fr/~letouzey" rel="ugc nofollow"> Letouzey Pierre </a> </td><td class="col1"> <a href="mailto:Pierre.Letouzey@irif.fr" class="mail" title="Pierre.Letouzey@irif.fr">@</a> </td><td class="col2"> 01 57 27 93 37 </td><td class="col3"> 3040 </td><td class="col4"> Maître.sse de conférences </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row24"> <td class="col0"> <a href="http://jeanjacqueslevy.net" class="urlextern" title="http://jeanjacqueslevy.net" rel="ugc nofollow"> Lévy Jean-Jacques </a> </td><td class="col1"> <a href="mailto:jean-jacques.levy@inria.fr" class="mail" title="jean-jacques.levy@inria.fr">@</a> </td><td class="col2"> 01 57 27 92 68 </td><td class="col3"> 4032 </td><td class="col4"> Directeur.rice de recherche émérite - INRIA </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a>, <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a> </td> </tr> <tr class="row25"> <td class="col0"> <a href="http://www.irif.fr/~gmanzone/" class="urlextern" title="http://www.irif.fr/~gmanzone/" rel="ugc nofollow"> Manzonetto Giulio </a> </td><td class="col1"> <a href="mailto:gmanzone@irif.fr" class="mail" title="gmanzone@irif.fr">@</a> </td><td class="col2"> 01 57 27 93 54 </td><td class="col3"> 4015 </td><td class="col4"> Professeur.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row26"> <td class="col0"> <a href="https://www.irif.fr/~mellies" class="urlextern" title="https://www.irif.fr/~mellies" rel="ugc nofollow"> Melliès Paul-André </a> </td><td class="col1"> <a href="mailto:mellies@irif.fr" class="mail" title="mellies@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 48 </td><td class="col3"> 3023 </td><td class="col4"> Directeur.rice de recherche - CNRS </td><td class="col5"> <a href="https://www.irif.fr/poles/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </a>, <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a>, <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a>, <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a> </td> </tr> <tr class="row27"> <td class="col0"> <a href="https://www.irif.fr/~metayer" class="urlextern" title="https://www.irif.fr/~metayer" rel="ugc nofollow"> Métayer François </a> </td><td class="col1"> <a href="mailto:Francois.Metayer@irif.fr" class="mail" title="Francois.Metayer@irif.fr">@</a> </td><td class="col2"> 01 57 27 94 29 </td><td class="col3"> 3012 </td><td class="col4"> Maître.sse de conférences émérite - Université Paris Nanterre </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a> </td> </tr> <tr class="row28"> <td class="col0"> <a href="https://www.irif.fr/~narboux/" class="urlextern" title="https://www.irif.fr/~narboux/" rel="ugc nofollow"> Narboux Julien </a> </td><td class="col1"> <a href="mailto:Julien.Narboux@irif.fr" class="mail" title="Julien.Narboux@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 58 </td><td class="col3"> 3022 </td><td class="col4"> Maître.sse de conférences </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row29"> <td class="col0"> <a href="https://www.irif.fr/~padovani" class="urlextern" title="https://www.irif.fr/~padovani" rel="ugc nofollow"> Padovani Vincent </a> </td><td class="col1"> <a href="mailto:Vincent.Padovani@irif.fr" class="mail" title="Vincent.Padovani@irif.fr">@</a> </td><td class="col2"> 01 57 27 93 39 </td><td class="col3"> 3045 </td><td class="col4"> Maître.sse de conférences </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row30"> <td class="col0"> <a href="https://www.irif.fr/~petrisan/" class="urlextern" title="https://www.irif.fr/~petrisan/" rel="ugc nofollow"> Petrisan Daniela </a> </td><td class="col1"> <a href="mailto:Daniela.Petrisan@irif.fr" class="mail" title="Daniela.Petrisan@irif.fr">@</a> </td><td class="col2"> 01 57 27 94 00 </td><td class="col3"> 4016 </td><td class="col4"> Maître.sse de conférences </td><td class="col5"> <a href="https://www.irif.fr/poles/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </a>, <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a>, <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a> </td> </tr> <tr class="row31"> <td class="col0"> <a href="https://www.irif.fr/~picantin/" class="urlextern" title="https://www.irif.fr/~picantin/" rel="ugc nofollow"> Picantin Matthieu </a> </td><td class="col1"> <a href="mailto:picantin@irif.fr" class="mail" title="picantin@irif.fr">@</a> </td><td class="col2"> 01 57 27 94 49 </td><td class="col3"> 4043 </td><td class="col4"> Maître.sse de conférences </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a>, <a href="https://www.irif.fr/poles/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a> </td> </tr> <tr class="row32"> <td class="col0"> <a href="https://www.irif.fr/~roziere" class="urlextern" title="https://www.irif.fr/~roziere" rel="ugc nofollow"> Rozière Paul </a> </td><td class="col1"> <a href="mailto:Paul.Roziere@irif.fr" class="mail" title="Paul.Roziere@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 57 </td><td class="col3"> 3057 </td><td class="col4"> Retraité.e - MCF Université Paris Cité </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row33"> <td class="col0"> <a href="https://www.irif.fr/~ruet" class="urlextern" title="https://www.irif.fr/~ruet" rel="ugc nofollow"> Ruet Paul </a> </td><td class="col1"> <a href="mailto:Paul.Ruet@irif.fr" class="mail" title="Paul.Ruet@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 48 </td><td class="col3"> 3023 </td><td class="col4"> Chargé.e de recherche - CNRS </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a> </td> </tr> <tr class="row34"> <td class="col0"> <a href="https://www.irif.fr/users/saurin/index" class="urlextern" title="https://www.irif.fr/users/saurin/index" rel="ugc nofollow"> Saurin Alexis </a> </td><td class="col1"> <a href="mailto:Alexis.Saurin@irif.fr" class="mail" title="Alexis.Saurin@irif.fr">@</a> </td><td class="col2"> 01 57 27 93 37 </td><td class="col3"> 3040 </td><td class="col4"> Chargé.e de recherche - CNRS </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a>, <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a> </td> </tr> <tr class="row35"> <td class="col0"> <a href="http://gallium.inria.fr/~scherer/" class="urlextern" title="http://gallium.inria.fr/~scherer/" rel="ugc nofollow"> Scherer Gabriel </a> </td><td class="col1"> <a href="mailto:Gabriel.Scherer@irif.fr" class="mail" title="Gabriel.Scherer@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4032 </td><td class="col4"> Chargé.e de recherche - INRIA </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a>, <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a> </td> </tr> <tr class="row36"> <td class="col0"> <a href="https://www.irif.fr/~treinen" class="urlextern" title="https://www.irif.fr/~treinen" rel="ugc nofollow"> Treinen Ralf </a> </td><td class="col1"> <a href="mailto:Ralf.Treinen@irif.fr" class="mail" title="Ralf.Treinen@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 44 </td><td class="col3"> 3021 </td><td class="col4"> Professeur.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a>, <a href="https://www.irif.fr/poles/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a>, <a href="https://www.irif.fr/equipes/verif/index" class="urlextern" title="https://www.irif.fr/equipes/verif/index" rel="ugc nofollow"> verif </a> </td> </tr> <tr class="row37"> <td class="col0"> <a href="http://www.samvangool.net" class="urlextern" title="http://www.samvangool.net" rel="ugc nofollow"> van Gool Sam </a> </td><td class="col1"> <a href="mailto:vangool@irif.fr" class="mail" title="vangool@irif.fr">@</a> </td><td class="col2"> 01 57 27 94 05 </td><td class="col3"> 4011 </td><td class="col4"> Maître.sse de conférences </td><td class="col5"> <a href="https://www.irif.fr/poles/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </a>, <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a>, <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a> </td> </tr> </table></div> </div> </div> </div> <div class="level4"> <p> <br/> </p> </div> <h4 id="non-permanents">Non-permanents</h4> <div class="level4"> </div> <div class="plugin_include_content plugin_include__poles:pps:db:annuaire_noperm" id="plugin_include__poles__pps__db__annuaire_noperm"> <div class="level4"> <div class="dt-wrapper" data-page-length='-1' data-dom='frt'><div class="table-responsive"><table class="inline table table-striped table-condensed"> <thead> <tr class="row0"> <th class="col0">Nom</th><th class="col1">@</th><th class="col2">Téléphone</th><th class="col3">Bureau</th><th class="col4">Fonction</th><th class="col5">Pôle</th><th class="col6">Équipe</th> </tr> </thead> <tr class="row1"> <td class="col0"> <a href="https://www.irif.fr/~arambillete/" class="urlextern" title="https://www.irif.fr/~arambillete/" rel="ugc nofollow"> Arambillete Santiago </a> </td><td class="col1"> <a href="mailto:Santiago.Arambillete@irif.fr" class="mail" title="Santiago.Arambillete@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3033 </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row2"> <td class="col0"> <a href="https://quentin.aristote.fr/" class="urlextern" title="https://quentin.aristote.fr/" rel="ugc nofollow"> Aristote Quentin </a> </td><td class="col1"> <a href="mailto:Quentin.Aristote@irif.fr" class="mail" title="Quentin.Aristote@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3010 </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </a>, <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a>, <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a> </td> </tr> <tr class="row3"> <td class="col0"> <a href="https://www.irif.fr/users/arrial/index" class="urlextern" title="https://www.irif.fr/users/arrial/index" rel="ugc nofollow"> Arrial Victor </a> </td><td class="col1"> <a href="mailto:Victor.Arrial@irif.fr" class="mail" title="Victor.Arrial@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3018 </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row4"> <td class="col0"> <a href="https://www.irif.fr/~yoannba/" class="urlextern" title="https://www.irif.fr/~yoannba/" rel="ugc nofollow"> Barszezak Yoann </a> </td><td class="col1"> <a href="mailto:Yoann.Barszezak@irif.fr" class="mail" title="Yoann.Barszezak@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3 leftalign"> </td><td class="col4"> ATER </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a>, <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a> </td> </tr> <tr class="row5"> <td class="col0"> <a href="https://www.irif.fr/~ebauer/" class="urlextern" title="https://www.irif.fr/~ebauer/" rel="ugc nofollow"> Bauer Esaie </a> </td><td class="col1"> <a href="mailto:Esaie.Bauer@irif.fr" class="mail" title="Esaie.Bauer@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3028 </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a>, <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a> </td> </tr> <tr class="row6"> <td class="col0"> <a href="https://www.irif.fr/~catz/" class="urlextern" title="https://www.irif.fr/~catz/" rel="ugc nofollow"> Catz Manu </a> </td><td class="col1"> <a href="mailto:Manu.Catz@irif.fr" class="mail" title="Manu.Catz@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4055 </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row7"> <td class="col0"> <a href="https://www.i2m.univ-amu.fr/perso/remy.cerda/" class="urlextern" title="https://www.i2m.univ-amu.fr/perso/remy.cerda/" rel="ugc nofollow"> Cerda Remy </a> </td><td class="col1"> <a href="mailto:Remy.Cerda@math.cnrs.fr" class="mail" title="Remy.Cerda@math.cnrs.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3057 </td><td class="col4"> Post-Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row8"> <td class="col0"> <a href="https://www.irif.fr/~elmehdi/" class="urlextern" title="https://www.irif.fr/~elmehdi/" rel="ugc nofollow"> Cherradi El-Mehdi </a> </td><td class="col1"> <a href="mailto:El-Mehdi.Cherradi@irif.fr" class="mail" title="El-Mehdi.Cherradi@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4054 </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </a>, <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a>, <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row9"> <td class="col0"> <a href="https://www.irif.fr/~chikhoune/" class="urlextern" title="https://www.irif.fr/~chikhoune/" rel="ugc nofollow"> Chikhoune Idir </a> </td><td class="col1"> <a href="mailto:Idir.Chikhoune@irif.fr" class="mail" title="Idir.Chikhoune@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3 leftalign"> </td><td class="col4"> Visiteur.euse </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a> </td> </tr> <tr class="row10"> <td class="col0"> <a href="https://www.irif.fr/~defaveri/" class="urlextern" title="https://www.irif.fr/~defaveri/" rel="ugc nofollow"> De Faveri Arturo </a> </td><td class="col1"> <a href="mailto:Arturo.De-Faveri@irif.fr" class="mail" title="Arturo.De-Faveri@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4033 </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row11"> <td class="col0"> <a href="https://www.irif.fr/~didonna/" class="urlextern" title="https://www.irif.fr/~didonna/" rel="ugc nofollow"> Di Donna Raffaele </a> </td><td class="col1"> <a href="mailto:didonna@irif.fr" class="mail" title="didonna@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3010 </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row12"> <td class="col0"> <a href="https://www.irif.fr/~gduboc/" class="urlextern" title="https://www.irif.fr/~gduboc/" rel="ugc nofollow"> Duboc Guillaume </a> </td><td class="col1"> <a href="mailto:Guillaume.Duboc@irif.fr" class="mail" title="Guillaume.Duboc@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3010 </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a> </td> </tr> <tr class="row13"> <td class="col0"> <a href="https://www.irif.fr/~erlich/" class="urlextern" title="https://www.irif.fr/~erlich/" rel="ugc nofollow"> Erlich Enzo </a> </td><td class="col1"> <a href="mailto:Enzo.Erlich@irif.fr" class="mail" title="Enzo.Erlich@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3 leftalign"> </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </a>, <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a>, <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a> </td> </tr> <tr class="row14"> <td class="col0"> <a href="https://www.irif.fr/~gallego/" class="urlextern" title="https://www.irif.fr/~gallego/" rel="ugc nofollow"> Gallego Emilio </a> </td><td class="col1"> <a href="mailto:Emilio.Gallego@irif.fr" class="mail" title="Emilio.Gallego@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 24 </td><td class="col3"> 4030 </td><td class="col4"> Starting research position - INRIA </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a>, <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a> </td> </tr> <tr class="row15"> <td class="col0"> <a href="https://www.irif.fr/~giusti/" class="urlextern" title="https://www.irif.fr/~giusti/" rel="ugc nofollow"> Giusti Giulia </a> </td><td class="col1"> <a href="mailto:Giulia.Giusti@irif.fr" class="mail" title="Giulia.Giusti@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4055 </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row16"> <td class="col0"> <a href="https://www.irif.fr/~gonzalez/" class="urlextern" title="https://www.irif.fr/~gonzalez/" rel="ugc nofollow"> Gonzalez Colin </a> </td><td class="col1"> <a href="mailto:Colin.Gonzalez@irif.fr" class="mail" title="Colin.Gonzalez@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3044 </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a> </td> </tr> <tr class="row17"> <td class="col0"> <a href="https://xsnow.live" class="urlextern" title="https://xsnow.live" rel="ugc nofollow"> Huang Xuejing </a> </td><td class="col1"> <a href="mailto:Xuejing.Huang@irif.fr" class="mail" title="Xuejing.Huang@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3018 </td><td class="col4"> Post-Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row18"> <td class="col0"> <a href="https://sites.google.com/site/farzadjafarrahmani/" class="urlextern" title="https://sites.google.com/site/farzadjafarrahmani/" rel="ugc nofollow"> Jafar-Rhamani Farzad </a> </td><td class="col1"> <a href="mailto:Farzad.Jafar-Rhamani@irif.fr" class="mail" title="Farzad.Jafar-Rhamani@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 92 </td><td class="col3"> 3026 </td><td class="col4"> Post-Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a>, <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a> </td> </tr> <tr class="row19"> <td class="col0"> <a href="https://www.irif.fr/~jubert/" class="urlextern" title="https://www.irif.fr/~jubert/" rel="ugc nofollow"> Jubert Moana </a> </td><td class="col1"> <a href="mailto:Moana.Jubert@irif.fr" class="mail" title="Moana.Jubert@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3034 </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a>, <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row20"> <td class="col0"> <a href="https://www.ps.uni-saarland.de/~kirst/" class="urlextern" title="https://www.ps.uni-saarland.de/~kirst/" rel="ugc nofollow"> Kirst Dominik </a> </td><td class="col1"> <a href="mailto:Dominik.Kirst@irif.fr" class="mail" title="Dominik.Kirst@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4053 </td><td class="col4"> Post-Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a>, <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a> </td> </tr> <tr class="row21"> <td class="col0"> <a href="https://www.irif.fr/~kniazev/" class="urlextern" title="https://www.irif.fr/~kniazev/" rel="ugc nofollow"> Kniazev Roman </a> </td><td class="col1"> <a href="mailto:Roman.Kniazev@irif.fr" class="mail" title="Roman.Kniazev@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3018 </td><td class="col4"> ATER </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a> </td> </tr> <tr class="row22"> <td class="col0"> <a href="https://www.irif.fr/~lancelot/" class="urlextern" title="https://www.irif.fr/~lancelot/" rel="ugc nofollow"> Lancelot Adrienne </a> </td><td class="col1"> <a href="mailto:Adrienne.Lancelot@irif.fr" class="mail" title="Adrienne.Lancelot@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3026 </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row23"> <td class="col0"> <a href="https://www.irif.fr/~mlaurent" class="urlextern" title="https://www.irif.fr/~mlaurent" rel="ugc nofollow"> Laurent Mickael </a> </td><td class="col1"> <a href="mailto:mlaurent@irif.fr" class="mail" title="mlaurent@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3033 </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row24"> <td class="col0"> <a href="https://www.irif.fr/~glopez/" class="urlextern" title="https://www.irif.fr/~glopez/" rel="ugc nofollow"> Lopez Gaetan </a> </td><td class="col1"> <a href="mailto:Gaetan.Lopez@irif.fr" class="mail" title="Gaetan.Lopez@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3 leftalign"> </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a> </td> </tr> <tr class="row25"> <td class="col0"> <a href="https://www.irif.fr/~manara/" class="urlextern" title="https://www.irif.fr/~manara/" rel="ugc nofollow"> Manara Giulia </a> </td><td class="col1"> <a href="mailto:Giulia.Manara@irif.fr" class="mail" title="Giulia.Manara@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3014 </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row26"> <td class="col0"> <a href="https://www.irif.fr/~mangel/" class="urlextern" title="https://www.irif.fr/~mangel/" rel="ugc nofollow"> Mangel Eleonore </a> </td><td class="col1"> <a href="mailto:Eleonore.Mangel@irif.fr" class="mail" title="Eleonore.Mangel@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3 leftalign"> </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row27"> <td class="col0"> <a href="https://www.irif.fr/~martinez/" class="urlextern" title="https://www.irif.fr/~martinez/" rel="ugc nofollow"> Martinez Thierry </a> </td><td class="col1"> <a href="mailto:Thierry.Martinez@irif.fr" class="mail" title="Thierry.Martinez@irif.fr">@</a> </td><td class="col2"> 01 57 27 90 87 </td><td class="col3"> 3029 </td><td class="col4"> Ingénieur.e de recherche - INRIA </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a>, <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a> </td> </tr> <tr class="row28"> <td class="col0"> <a href="mailto:marzaioli@irif.fr" class="mail" title="marzaioli@irif.fr"> Marzaioli Miriam </a> </td><td class="col1"> <a href="mailto:Miriam.Marzaioli@irif.fr" class="mail" title="Miriam.Marzaioli@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4055 </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row29"> <td class="col0"> <a href="https://www.irif.fr/~milicich/" class="urlextern" title="https://www.irif.fr/~milicich/" rel="ugc nofollow"> Milicich Mariana </a> </td><td class="col1"> <a href="mailto:Mariana.Milicich@irif.fr" class="mail" title="Mariana.Milicich@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3026 </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row30"> <td class="col0"> <a href="https://www.irif.fr/~moreau/" class="urlextern" title="https://www.irif.fr/~moreau/" rel="ugc nofollow"> Moreau Vincent </a> </td><td class="col1"> <a href="mailto:moreau@irif.fr" class="mail" title="moreau@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4033 </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </a>, <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a>, <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a>, <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a> </td> </tr> <tr class="row31"> <td class="col0"> <a href="https://www.irif.fr/~yndiaye/" class="urlextern" title="https://www.irif.fr/~yndiaye/" rel="ugc nofollow"> Ndiaye Yves </a> </td><td class="col1"> <a href="mailto:Yves.Ndiaye@irif.fr" class="mail" title="Yves.Ndiaye@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3 leftalign"> </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a> </td> </tr> <tr class="row32"> <td class="col0"> <a href="https://www.irif.fr/~astyax/" class="urlextern" title="https://www.irif.fr/~astyax/" rel="ugc nofollow"> Nourel Astyax </a> </td><td class="col1"> <a href="mailto:Astyax.Nourel@irif.fr" class="mail" title="Astyax.Nourel@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3044 </td><td class="col4"> Post-Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a> </td> </tr> <tr class="row33"> <td class="col0"> <a href="https://www.irif.fr/~pasquale/" class="urlextern" title="https://www.irif.fr/~pasquale/" rel="ugc nofollow"> Pasquale Valentin </a> </td><td class="col1"> <a href="mailto:Valentin.Pasquale@irif.fr" class="mail" title="Valentin.Pasquale@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3 leftalign"> </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row34"> <td class="col0"> <a href="https://boilnkettle.github.io/" class="urlextern" title="https://boilnkettle.github.io/" rel="ugc nofollow"> Ramos Miguel </a> </td><td class="col1"> <a href="mailto:Miguel.Ramos@irif.fr" class="mail" title="Miguel.Ramos@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3033 </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row35"> <td class="col0"> <a href="https://www.irif.fr/~reboullet/" class="urlextern" title="https://www.irif.fr/~reboullet/" rel="ugc nofollow"> Reboullet Sarah </a> </td><td class="col1"> <a href="mailto:Sarah.Reboullet@irif.fr" class="mail" title="Sarah.Reboullet@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3034 </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a>, <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a> </td> </tr> <tr class="row36"> <td class="col0"> <a href="https://www.irif.fr/~salibra/" class="urlextern" title="https://www.irif.fr/~salibra/" rel="ugc nofollow"> Salibra Antonino </a> </td><td class="col1"> <a href="mailto:salibra@irif.fr" class="mail" title="salibra@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3 leftalign"> </td><td class="col4"> Membre associé.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row37"> <td class="col0"> <a href="https://www.irif.fr/~tarantino/" class="urlextern" title="https://www.irif.fr/~tarantino/" rel="ugc nofollow"> Tarantino Umberto </a> </td><td class="col1"> <a href="mailto:Umberto.Tarantino@irif.fr" class="mail" title="Umberto.Tarantino@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3 leftalign"> </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </a>, <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a>, <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a> </td> </tr> <tr class="row38"> <td class="col0"> <a href="https://www.irif.fr/~theron/" class="urlextern" title="https://www.irif.fr/~theron/" rel="ugc nofollow"> Theron Clement </a> </td><td class="col1"> <a href="mailto:Clement.Theron@irif.fr" class="mail" title="Clement.Theron@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4060 </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a> </td> </tr> <tr class="row39"> <td class="col0"> <a href="http://vanoni.me" class="urlextern" title="http://vanoni.me" rel="ugc nofollow"> Vanoni Gabriele </a> </td><td class="col1"> <a href="mailto:Gabriele.Vanoni@irif.fr" class="mail" title="Gabriele.Vanoni@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4053 </td><td class="col4"> Post-Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row40"> <td class="col0"> <a href="https://www.irif.fr/~vienot/" class="urlextern" title="https://www.irif.fr/~vienot/" rel="ugc nofollow"> Vienot Ada </a> </td><td class="col1"> <a href="mailto:Ada.Vienot@irif.fr" class="mail" title="Ada.Vienot@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3044 </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row41"> <td class="col0"> <a href="https://www.irif.fr/~walch/" class="urlextern" title="https://www.irif.fr/~walch/" rel="ugc nofollow"> Walch Aymeric </a> </td><td class="col1"> <a href="mailto:Aymeric.Walch@irif.fr" class="mail" title="Aymeric.Walch@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3026 </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a> </td> </tr> </table></div> </div> </div> </div> <div class="level4"> </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=poles%3Apps%3Aindex&1732394070" width="2" height="1" alt="" /> </div> </body> </html>

CINXE.COM

Preuves, programmes et systèmes