Preuves et programmes

<!DOCTYPE html> <html xmlns="http://www.w3.org/1999/xhtml" lang="fr" dir="ltr" class="no-js"> <head> <meta charset="UTF-8" /> <title>Preuves et programmes</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="equipes,preuves,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/equipes/preuves/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/equipes/preuves/index"/> <link rel="alternate" type="text/plain" title="Wiki balise" href="https://www.irif.fr/_export/raw/equipes/preuves/index"/> <link rel="canonical" href="https://www.irif.fr/equipes/preuves/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='equipes:preuves';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":"equipes:preuves:index","namespace":"equipes:preuves","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="equipes:preuves: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"> <strong><a href="https://www.irif.fr/poles/pps/index" class="wikilink1" title="poles:pps:index" >Preuves, programmes et systèmes</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/algebre/index" class="wikilink1" title="equipes:algebre:index" >Algèbre et calcul</a> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/programmes/index" class="wikilink1" title="equipes:programmes:index" >Programmes et Langages (PL)</a> </li> <li class="level2 active"> <a href="https://www.irif.fr/equipes/preuves/index" class="wikilink1" title="equipes:preuves:index" data-wiki-curid="true">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/equipes/preuves/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/equipes/preuves/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/equipes/preuves/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">Équipe thématique</span> </p> <div class=""> <p> <span class="bs-wrap bs-wrap-label label label-default">Pôle</span> <a href="https://www.irif.fr/equipes/preuves/0_pageid" class="wikilink2" title="equipes:preuves:0_pageid" rel="nofollow" data-wiki-id="equipes:preuves:0_pageid"><a href="https://www.irif.fr/poles/pps/index" class="wikilink1" title="poles:pps:index" data-wiki-id="poles:pps:index">Preuves, programmes et systèmes</a></a><br/> </p> </div> <p> </div> </p> </div> <h2 class="sectionedit3 page-header pb-3 mb-4 mt-5" id="preuves_et_programmes">Preuves et programmes</h2> <div class="level2"> <p> <br/> </p> </div> <h4 id="responsable">Responsable</h4> <div class="level4"> <div class=""> <p> <a href="https://www.irif.fr/users/saurin/index" class="urlextern" title="https://www.irif.fr/users/saurin/index" rel="ugc nofollow">Alexis Saurin</a><br/> </p> </div> </div> </div> <p> <br/> </p> <h4 id="themes_de_recherche">Thèmes de recherche</h4> <div class="level4"> <p> Notre méthodologie repose principalement sur la correspondance de Curry-Howard entre preuves et programmes, dans laquelle la réécriture joue un rôle essentiel, représentant à la fois l'élimination des coupures des preuves et la sémantique opérationnelle des programmes. L'objet de base est le lambda-calcul, une théorie très pure de la programmation fonctionnelle, et ses extensions : par des systèmes de types, par des raffinements linéaires ou différentiels, par des mécanismes de pattern-matching et par différentes sortes d'effets non purement fonctionnels (choix non déterministe ou probabiliste, continuations, états internes, locaux ou non, etc.). On obtient alors des formalismes intéressants pour leurs propriétés logiques, donnant par exemple un sens calculatoire à des concepts standard de la logique (tels que le choix ou le raisonnement par l'absurde). On obtient aussi des représentations abstraites des langages de programmation réels, dans un cadre rendu aussi indépendant que possible des implémentations, et permettant d’en analyser la sémantique. Parmi ces extensions, le calcul des constructions inductives est à la fois une logique et un langage de programmation, sur laquelle est fondé l’assistant de preuve Coq. Nous étudions également les fondements théoriques des langages de programmation probabilistes <a href="https://www.irif.fr/anrpps" class="urlextern" title="https://www.irif.fr/anrpps" rel="ugc nofollow">(ici)</a> et des langages de programmation quantiques <a href="https://www.irif.fr/en/equipes/algocomp/quantum/index" class="urlextern" title="https://www.irif.fr/en/equipes/algocomp/quantum/index" rel="ugc nofollow"> (ici)</a>. </p> <p> <br/> </p> </div> <h4 id="seminaire_et_groupes_de_travail">Séminaire et groupes de travail</h4> <div class="level4"> <p> <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> <br/> <a href="https://www.irif.fr/seminaires/semantique/index" class="wikilink1" title="seminaires:semantique:index" data-wiki-id="seminaires:semantique:index">Sémantique</a> <br/> <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> </p> <p> <br/> </p> </div> <h4 id="permanents">Permanents</h4> <div class="level4"> </div> <div class="plugin_include_content plugin_include__equipes:preuves:db:annuaire_perm" id="plugin_include__equipes__preuves__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/~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="row2"> <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="row3"> <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="row4"> <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="row5"> <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="row6"> <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="row7"> <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="row8"> <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="row9"> <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="row10"> <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="row11"> <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="row12"> <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="row13"> <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="row14"> <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="row15"> <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="row16"> <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="row17"> <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="row18"> <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="row19"> <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="row20"> <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="row21"> <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="row22"> <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="row23"> <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="row24"> <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="row25"> <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="row26"> <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> </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__equipes:preuves:db:annuaire_noperm" id="plugin_include__equipes__preuves__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://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="row3"> <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="row4"> <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="row5"> <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="row6"> <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="row7"> <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="row8"> <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="row9"> <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="row10"> <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="row11"> <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="row12"> <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="row13"> <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="row14"> <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="row15"> <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="row16"> <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="row17"> <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="row18"> <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="row19"> <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="row20"> <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="row21"> <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="row22"> <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="row23"> <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="row24"> <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="row25"> <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="row26"> <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="row27"> <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="row28"> <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> </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=equipes%3Apreuves%3Aindex&1732725239" width="2" height="1" alt="" /> </div> </body> </html>

CINXE.COM

Preuves et programmes