Proofs, programs and systems

<!DOCTYPE html> <html xmlns="http://www.w3.org/1999/xhtml" lang="en" dir="ltr" class="no-js"> <head> <meta charset="UTF-8" /> <title>Proofs, programs and systems</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="en,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/en/poles/pps/index?do=index" title="Sitemap"/> <link rel="manifest" href="https://www.irif.fr/lib/exe/manifest.php"/> <link rel="alternate" type="text/html" title="Plain HTML" href="https://www.irif.fr/_export/xhtml/en/poles/pps/index"/> <link rel="alternate" type="text/plain" title="Wiki Markup" href="https://www.irif.fr/_export/raw/en/poles/pps/index"/> <link rel="canonical" href="https://www.irif.fr/en/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='en:poles:pps';var JSINFO = {"plugin":{"datatables":{"config":{"dom":"lBfrtip","language":{"url":"https:\/\/www.irif.fr\/lib\/plugins\/datatables\/assets\/datatables.net-i18n\/en-GB.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":"en:poles:pps:index","namespace":"en: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&lang=en" 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="en: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">INFORMATION <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <a href="https://www.irif.fr/en/informations/presentation" class="wikilink1" title="en:informations:presentation" >Presentation</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/informations/contacts" class="wikilink1" title="en:informations:contacts" >Contact and access</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/informations/charte" class="wikilink1" title="en:informations:charte" >IRIF Members Charter</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/egalite-fh/index" class="wikilink1" title="en:egalite-fh:index" >Equality</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/en/informations/annuaire" class="wikilink1" title="en:informations:annuaire" >Directory</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/informations/mentorat" class="wikilink1" title="en:informations:mentorat" >IRIF’s mentoring program</a> </li> <li class="level2"> <a href="https://www.irif.fr/informations/childcare" class="wikilink1" title="informations:childcare" >Childcare program</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">RESEARCH <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <strong><a href="https://www.irif.fr/en/poles/asd/index" class="wikilink1" title="en:poles:asd:index" >Algorithms and discrete structures</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/en/equipes/algocomp/index" class="wikilink1" title="en:equipes:algocomp:index" >Algorithms and complexity</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/equipes/combi/index" class="wikilink1" title="en:equipes:combi:index" >Combinatorics</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/equipes/distribue/index" class="wikilink1" title="en:equipes:distribue:index" >Distributed computing</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/equipes/graphes/index" class="wikilink1" title="en:equipes:graphes:index" >Theory and algorithmics of graphs</a> </li> <li class="level2"> <strong><a href="https://www.irif.fr/en/poles/asv/index" class="wikilink1" title="en:poles:asv:index" >Automata, structures and verification</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/en/equipes/automates/index" class="wikilink1" title="en:equipes:automates:index" >Automata and applications</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/equipes/verif/index" class="wikilink1" title="en:equipes:verif:index" >Modeling and verification</a> </li> <li class="level2 active"> <strong><a href="https://www.irif.fr/en/poles/pps/index" class="wikilink1" title="en:poles:pps:index" data-wiki-curid="true">Proofs, programs and systems</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/en/equipes/algebre/index" class="wikilink1" title="en:equipes:algebre:index" >Algebra and computation</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/equipes/programmes/index" class="wikilink1" title="en:equipes:programmes:index" >Programs and Languages (PL)</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/equipes/preuves/index" class="wikilink1" title="en:equipes:preuves:index" >Proofs and programs</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/equipes/picube/index" class="wikilink1" title="en: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><br/> </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">EVENTS <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <strong><a href="https://www.irif.fr/en/seminaires/evenements" class="wikilink1" title="en:seminaires:evenements" >IRIF events</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/irif/index" class="wikilink1" title="en:seminaires:irif:index" >IRIF Distinguished Talks Series</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/rencontres/irif/index" class="wikilink1" title="en:rencontres:irif:index" >IRIF days</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/rencontres/poles/index" class="wikilink1" title="en:rencontres:poles:index" >Pole meetings</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/env/index" class="wikilink1" title="en:seminaires:env:index" >IRIF and environment group</a> </li> <li class="level2"> <strong><a href="https://www.irif.fr/en/seminaires/seminaires" class="wikilink1" title="en:seminaires:seminaires" >Research seminars</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/algocomp/index" class="wikilink1" title="en:seminaires:algocomp:index" >Algorithms and complexity</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/asd/index" class="wikilink1" title="en:seminaires:asd:index" >Algorithms and discrete structures</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/automates/index" class="wikilink1" title="en:seminaires:automates:index" >Automata</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/combi/index" class="wikilink1" title="en:seminaires:combi:index" >Enumerative and analytic combinatorics</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/adg/index" class="wikilink1" title="en:seminaires:adg:index" >Graphs and distributed computing</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/picube/index" class="wikilink1" title="en:seminaires:picube:index" >Formath</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/pps/index" class="wikilink1" title="en:seminaires:pps:index" >Proofs, programs and systems</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/verif/index" class="wikilink1" title="en:seminaires:verif:index" >Verification</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/doctorants/index" class="wikilink1" title="en:seminaires:doctorants:index" >Non-permanent members’ seminar</a> </li> <li class="level2"> <strong><a href="https://www.irif.fr/en/seminaires/onlineseminars" class="wikilink1" title="en:seminaires:onlineseminars" >Online seminars</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/greta/index" class="wikilink1" title="en:seminaires:greta:index" >Graph Transformation Theory and Applications</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/numeration/index" class="wikilink1" title="en:seminaires:numeration:index" >One world numeration seminar</a> </li> <li class="level2"> <strong><a href="https://www.irif.fr/en/seminaires/gt" class="wikilink1" title="en:seminaires:gt" >Working groups</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/cat/index" class="wikilink1" title="en:seminaires:cat:index" >Higher categories, polygraphs and homotopy</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/laag/index" class="wikilink1" title="en:seminaires:laag:index" >Logic, automata, algebra and games</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/programmation/index" class="wikilink1" title="en:seminaires:programmation:index" >Programming</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/semantique/index" class="wikilink1" title="en:seminaires:semantique:index" >Semantics</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/sms/index" class="wikilink1" title="en:seminaires:sms:index" >Syntax Meets Semantics</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/hott/index" class="wikilink1" title="en:seminaires:hott:index" >Type theory and homotopy theory</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/types/index" class="wikilink1" title="en:seminaires:types:index" >Type theory and realisability</a> </li> <li class="level2"> <strong><a href="https://www.irif.fr/en/seminaires/soutenances" class="wikilink1" title="en:seminaires:soutenances" >Defences</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/these/index" class="wikilink1" title="en:seminaires:these:index" >PhD defences</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/hdr/index" class="wikilink1" title="en:seminaires:hdr:index" >Habilitation defences</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">MEDIATION <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <a href="https://www.irif.fr/en/mediation/fdls" class="wikilink1" title="en:mediation:fdls" >Fête de la Science</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/mediation/scolaire" class="wikilink1" title="en:mediation:scolaire" >Middle/High school internships</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/portraits/index" class="wikilink1" title="en:portraits:index" >Research profiles</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">50 Years Exhibitation</a> </li> <li class="level2"> <a href="https://qubobs.irif.fr" class="" title="https://qubobs.irif.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">HIGHLIGHTS <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <a href="https://www.irif.fr/en/distinctions/index" class="wikilink1" title="en:distinctions:index" >Awards and Honors</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/logiciels/index" class="wikilink1" title="en:logiciels:index" >Software</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/contrats/index" class="wikilink1" title="en:contrats:index" >Grants</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/international/index" class="wikilink1" title="en:international:index" >International Collaborations</a> </li> <li class="level2"> <a href="https://epit.irif.fr" class="" title="https://epit.irif.fr" rel="ugc nofollow">The EPIT Research School</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/formation/index" class="wikilink1" title="en:formation:index" >Academics</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">JOIN US <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <a href="https://www.irif.fr/en/informations/visit" class="wikilink1" title="en:informations:visit" >Visitor program</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/postes/admin" class="wikilink1" title="en:postes:admin" >Research support position</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/postes/universite" class="wikilink1" title="en:postes:universite" >Faculty members</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/postes/chercheur" class="wikilink1" title="en:postes:chercheur" >Researchers</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/postes/postdoc" class="wikilink1" title="en:postes:postdoc" >Postdocs</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/postes/ater" class="wikilink1" title="en:postes:ater" >Teaching assistants</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/postes/these" class="wikilink1" title="en:postes:these" >PhD Studies</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/postes/stage" class="wikilink1" title="en:postes:stage" >Master Internships</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/postes/stage-scolaire" class="wikilink1" title="en:postes:stage-scolaire" >Middle/High school internships</a> </li> </ul> </li> </ul> <ul class="nav navbar-nav"> <li class="level1"> <a href="https://www.irif.fr/en/intranet/index" class="wikilink1" title="en: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="Translations of this 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">Translations of this 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> Translations of this page </li> <li><div class='li'><a href="https://www.irif.fr/poles/pps/index" class="wikilink1 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 cur'><a href="https://www.irif.fr/en/poles/pps/index" class="wikilink1 cur 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/en/poles/pps/index?do=login&sectok=" title="Log In" 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=""> Log In</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">Pole</span> </p> <div class=""> <p> <span class="bs-wrap bs-wrap-label label label-default">Thematic team</span> <a href="https://www.irif.fr/en/poles/pps/0_pageid" class="wikilink2" title="en:poles:pps:0_pageid" rel="nofollow" data-wiki-id="en:poles:pps:0_pageid"><a href="https://www.irif.fr/en/equipes/algebre/index" class="wikilink1" title="en:equipes:algebre:index" data-wiki-id="en:equipes:algebre:index">Algebra and computation</a></a><br/> <span class="bs-wrap bs-wrap-label label label-default">Inria project-team</span> <a href="https://www.irif.fr/en/poles/pps/1_pageid" class="wikilink2" title="en:poles:pps:1_pageid" rel="nofollow" data-wiki-id="en:poles:pps:1_pageid"><a href="https://www.irif.fr/en/equipes/picube/index" class="wikilink1" title="en:equipes:picube:index" data-wiki-id="en:equipes:picube:index">Picube (Inria)</a></a><br/> <span class="bs-wrap bs-wrap-label label label-default">Thematic team</span> <a href="https://www.irif.fr/en/poles/pps/2_pageid" class="wikilink2" title="en:poles:pps:2_pageid" rel="nofollow" data-wiki-id="en:poles:pps:2_pageid"><a href="https://www.irif.fr/en/equipes/programmes/index" class="wikilink1" title="en:equipes:programmes:index" data-wiki-id="en:equipes:programmes:index">Programs and Languages (PL)</a></a><br/> <span class="bs-wrap bs-wrap-label label label-default">Thematic team</span> <a href="https://www.irif.fr/en/poles/pps/3_pageid" class="wikilink2" title="en:poles:pps:3_pageid" rel="nofollow" data-wiki-id="en:poles:pps:3_pageid"><a href="https://www.irif.fr/en/equipes/preuves/index" class="wikilink1" title="en:equipes:preuves:index" data-wiki-id="en:equipes:preuves:index">Proofs and programs</a></a><br/> </p> </div> <p> </div> </p> </div> <h2 class="sectionedit3 page-header pb-3 mb-4 mt-5" id="proofs_programs_and_systems">Proofs, programs and systems</h2> <div class="level2"> <p> <br/> </p> </div> <h4 id="head">Head</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="research_themes">Research themes</h4> <div class="level4"> <p> The pole Proofs, programs and systems (PPS) aims at advancing the state of the art in the fields of theoretical foundations of programming languages, of interactive proof assistants, and more generally of computational formalisms. We investigate these subjects by combining three different approaches: </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> a <em>syntactic</em> approach, developing theoretical languages based on logical formalisms,</div> </li> <li class="level1"><div class="li"> <i class="dw-icons fa-lg fa fa-circle" style="color:#ffbf7f" title=""></i> an <em>algebraic</em> approach, studying the mathematical structures underlying computation,</div> </li> <li class="level1"><div class="li"> <i class="dw-icons fa-lg fa fa-circle" style="color:#ade09a" title=""></i> a <em>practical</em> approach, modeling and analyzing actual computational systems.</div> </li> </ul> <p> The pole is structured into three thematic teams, according to the three different approaches. These teams use their specific methods to contribute to the common scientific goals: </p> </div> <div class="plugin_include_content plugin_include__en:poles:pps:patates" id="plugin_include__en__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/en/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="170" y="11" > Proofs & Programs </text> <g id="actPreuves" fill="#505050" fill-opacity="1" font-size="7.5px" font-weight="bold" > <text id="SyntaxeTypes" x="90" y="29" > Syntax and types </text> <text id="TheorieDemonstration" x="305" y="29" > Proof theory </text> </g> </a> <a xlink:href="https://www.irif.fr/en/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)" > Algebra </text> <text transform="translate(10,150)rotate(-5)" > & Computation </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" > Denotational </text> <text x="95" y="81" > semantics </text> </g> <g id="CategoriesHomotopie" > <text x="15" y="79" > Categories and </text> <text x="23" y="88" > homotopy </text> </g> <g id="AlgebreCombinatoireReecriture" > <text x="73" y="119" > Combinatorial </text> <text x="60" y="128" > algebra and rewriting </text> </g> </g> </a> <a id="aSystemes" xlink:href="https://www.irif.fr/en/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(304,148)rotate(7.5)" > Analysis & Conception </text> <text transform="translate(429,155)rotate(-82.5)" > of Systems </text> </g> <g id="actSystemes" fill="#505050" fill-opacity="1" font-size="7.5px" font-weight="bold" > <g id="Coq" > <text x="200" y="55" > The Coq </text> <text x="190" y="65" > proof assistant </text> </g> <g id="ReecritureLineaire" > <text x="174" y="87" > Linear </text> <text x="170" y="97" > rewriting </text> </g> <g id="SystemesConcurrentsProbabilistes" > <text x="228" y="80" > Concurrent and </text> <text x="234" y="90" > probabilistic </text> <text x="240" y="100" > systems </text> </g> <g id="LangagesProgrammation" > <text x="305" y="72" > Programming </text> <text x="310" y="82" > languages </text> </g> <g id="ComposantsLogiciels" > <text x="383" y="87" > Software </text> <text x="378" y="97" > components </text> </g> <g id="Babel" > <text x="325" y="122" > The Babel </text> <text x="315" y="132" > routing protocol </text> </g> </g> </a> </svg> </div> </div> <div class="level4"> <p> The PPS pole hosts the project-team $\pi r^2$ which is joined between INRIA, CNRS and Université Paris-Diderot — Paris 7. We also host several members of IRILL, the Center for Research and Innovation on Free Software which is a joined structure of INRIA, Université Paris-Diderot — Paris 7 and Université Pierre-et-Marie-Curie — Paris 6. </p> <p> <br/> </p> </div> <h4 id="events">Events</h4> <div class="level4"> <ul class=" fix-media-list-overlap"> <li class="level1"><div class="li"> Seminar <a href="https://www.irif.fr/en/seminaires/pps/index" class="wikilink1" title="en:seminaires:pps:index" data-wiki-id="en:seminaires:pps:index">Proofs, programs and systems</a></div> </li> <li class="level1"><div class="li"> Online seminar <a href="https://www.irif.fr/en/seminaires/greta/index" class="wikilink1" title="en:seminaires:greta:index" data-wiki-id="en:seminaires:greta:index">Graph Transformation Theory and Applications</a></div> </li> <li class="level1 node"><div class="li"> Working groups </div> <ul class=" fix-media-list-overlap"> <li class="level2"><div class="li"> <a href="https://www.irif.fr/en/seminaires/acs/index" class="wikilink1" title="en:seminaires:acs:index" data-wiki-id="en:seminaires:acs:index">Previous talks</a></div> </li> <li class="level2"><div class="li"> <a href="https://www.irif.fr/en/seminaires/cat/index" class="wikilink1" title="en:seminaires:cat:index" data-wiki-id="en:seminaires:cat:index">Higher categories, polygraphs and homotopy</a></div> </li> <li class="level2"><div class="li"> <a href="https://www.irif.fr/en/seminaires/semantique/index" class="wikilink1" title="en:seminaires:semantique:index" data-wiki-id="en:seminaires:semantique:index">Semantics</a></div> </li> <li class="level2"><div class="li"> <a href="https://www.irif.fr/en/seminaires/programmation/index" class="wikilink1" title="en:seminaires:programmation:index" data-wiki-id="en:seminaires:programmation:index">Programming</a><br/> </div> </li> <li class="level2"><div class="li"> <a href="https://www.irif.fr/en/seminaires/types/index" class="wikilink1" title="en:seminaires:types:index" data-wiki-id="en:seminaires:types:index">Type theory and realisability</a></div> </li> </ul> </li> <li class="level1"><div class="li"> Meetings <a href="https://www.irif.fr/en/rencontres/pps/index" class="wikilink1" title="en:rencontres:pps:index" data-wiki-id="en:rencontres:pps:index">Proofs, programs and systems</a></div> </li> </ul> <p> <br/> </p> </div> <h4 id="permanent_members">Permanent members</h4> <div class="level4"> </div> <div class="plugin_include_content plugin_include__en:poles:pps:db:annuaire_perm_en" id="plugin_include__en__poles__pps__db__annuaire_perm_en"> <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">Name</th><th class="col1">@</th><th class="col2">Phone</th><th class="col3">Office</th><th class="col4">Position</th><th class="col5">Pole</th><th class="col6">Team</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"> Associate Professor </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"> Professor </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"> Research Scientist - 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"> Research Scientist - 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"> Associate Professor </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"> Associate Professor </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"> Senior Research Scientist - 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"> Senior Research Scientist Emeritus - 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"> Research Scientist - 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"> Associate Professor </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"> Senior Research Scientist - 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"> Research Scientist - 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"> Associate Professor </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"> Research Scientist - 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"> Associate Professor </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"> Associate Professor </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"> Senior Research Scientist - 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"> Associate Professor </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"> Professor </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"> Professor Emeritus </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"> Research Scientist - 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"> Associate Professor </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"> Associate Professor </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"> Senior Research Scientist Emeritus - 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"> Professor </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"> Senior Research Scientist - 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"> Associate Professor Emeritus - 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"> Associate Professor </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"> Associate Professor </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"> Associate Professor </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"> Associate Professor </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"> Pensioner - 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"> Research Scientist - 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"> Research Scientist - 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"> Research Scientist - 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"> Professor </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"> Associate Professor </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-permanent_members">Non-permanent members</h4> <div class="level4"> </div> <div class="plugin_include_content plugin_include__en:poles:pps:db:annuaire_noperm_en" id="plugin_include__en__poles__pps__db__annuaire_noperm_en"> <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">Name</th><th class="col1">@</th><th class="col2">Phone</th><th class="col3">Office</th><th class="col4">Position</th><th class="col5">Pole</th><th class="col6">Team</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"> PhD Student </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"> PhD Student </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"> PhD Student </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"> Teaching and Research Assistant </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"> PhD Student </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"> PhD Student </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-Doc </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"> PhD Student </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"> Visitor </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"> PhD Student </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"> PhD Student </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"> PhD Student </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"> 3014 </td><td class="col4"> PhD Student </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"> PhD Student </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"> PhD Student </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-Doc </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-Doc </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"> PhD Student </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-Doc </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"> Teaching and Research Assistant </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"> PhD Student </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"> PhD Student </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"> PhD Student </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"> PhD Student </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"> PhD Student </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"> Research ingenior - 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"> PhD Student </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"> PhD Student </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"> PhD Student </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"> PhD Student </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-Doc </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"> PhD Student </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"> PhD Student </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"> PhD Student </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"> Associated Member </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"> PhD Student </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"> PhD Student </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-Doc </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"> PhD Student </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"> PhD Student </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="skip to content" 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=en%3Apoles%3Apps%3Aindex&1732765851" width="2" height="1" alt="" /> </div> </body> </html>

CINXE.COM

Proofs, programs and systems