CINXE.COM
Algèbre et calcul
<!DOCTYPE html> <html xmlns="http://www.w3.org/1999/xhtml" lang="fr" dir="ltr" class="no-js"> <head> <meta charset="UTF-8" /> <title>Algèbre et calcul</title> <!-- Matomo --> <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> <!-- End Matomo Code --> <script>(function(H){H.className=H.className.replace(/\bno-js\b/,'js')})(document.documentElement)</script> <meta name="viewport" content="width=device-width,initial-scale=1" /> <link rel="shortcut icon" href="https://www.irif.fr/_media/favicon.ico" /> <link rel="apple-touch-icon" href="https://www.irif.fr/_media/apple-touch-icon.png" /> <meta name="generator" content="DokuWiki"/> <meta name="robots" content="index,follow"/> <meta name="keywords" content="equipes,algebre,index"/> <link rel="search" type="application/opensearchdescription+xml" href="https://www.irif.fr/lib/exe/opensearch.php" title=""/> <link rel="start" href="https://www.irif.fr/"/> <link rel="contents" href="https://www.irif.fr/equipes/algebre/index?do=index" title="Plan du site"/> <link rel="manifest" href="https://www.irif.fr/lib/exe/manifest.php"/> <link rel="alternate" type="text/html" title="HTML brut" href="https://www.irif.fr/_export/xhtml/equipes/algebre/index"/> <link rel="alternate" type="text/plain" title="Wiki balise" href="https://www.irif.fr/_export/raw/equipes/algebre/index"/> <link rel="canonical" href="https://www.irif.fr/equipes/algebre/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"/> <!--[if gte IE 9]><!--> <script >/*<![CDATA[*/var NS='equipes:algebre';var JSINFO = {"plugin":{"datatables":{"config":{"dom":"lBfrtip","language":{"url":"https:\/\/www.irif.fr\/lib\/plugins\/datatables\/assets\/datatables.net-i18n\/fr-FR.json"}},"enableForAllTables":1}},"move_renameokay":false,"move_allowrename":false,"bootstrap3":{"mode":"show","toc":[],"config":{"collapsibleSections":0,"fixedTopNavbar":1,"showSemanticPopup":0,"sidebarOnNavbar":1,"tagsOnTop":1,"tocAffix":1,"tocCollapseOnScroll":1,"tocCollapsed":0,"tocLayout":"default","useAnchorJS":1,"useAlternativeToolbarIcons":1}},"id":"equipes:algebre:index","namespace":"equipes:algebre","ACT":"show","useHeadingNavigation":1,"useHeadingContent":1}; /*!]]>*/</script> <script src="https://www.irif.fr/lib/exe/jquery.php?tseed=34a552433bc33cc9c3bc32527289a0b2" defer="defer"></script> <script src="https://www.irif.fr/lib/exe/js.php?t=bootstrap3&tseed=999b1f07158911a883ed4b945a522775" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net/js/jquery.dataTables.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-fixedheader-dt/js/fixedHeader.dataTables.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-fixedcolumns-dt/js/fixedColumns.dataTables.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-buttons/js/dataTables.buttons.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-buttons/js/buttons.html5.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-buttons/js/buttons.print.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/jszip/jszip.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/pdfmake/pdfmake.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/pdfmake/vfs_fonts.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net/js/dataTables.bootstrap.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-buttons/js/buttons.bootstrap.min.js" defer="defer"></script> <script type="text/x-mathjax-config">/*<![CDATA[*/MathJax.Hub.Config({ tex2jax: { inlineMath: [ ["$","$"], ["\\(","\\)"] ], displayMath: [ ["$$","$$"], ["\\[","\\]"] ], processEscapes: true } }); /*!]]>*/</script> <script type="text/javascript" charset="utf-8" src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.9/MathJax.js?config=TeX-AMS_CHTML.js"></script> <!--<![endif]--> <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> <!--[if lt IE 9]> <script type="text/javascript" src="https://oss.maxcdn.com/html5shiv/3.7.2/html5shiv.min.js"></script> <script type="text/javascript" src="https://oss.maxcdn.com/respond/1.4.2/respond.min.js"></script> <![endif]--> </head> <body class="simplex dokuwiki mode_show tpl_bootstrap3 dw-fluid-container" data-page-id="equipes:algebre:index"><div class="dokuwiki"> <header id="dokuwiki__header" class="dw-container dokuwiki container-fluid mx-5"> <!-- navbar --> <nav id="dw__navbar" class="navbar navbar-fixed-top navbar-inverse" role="navigation"> <div class="dw-container container-fluid mx-5"> <div class="navbar-header"> <button class="navbar-toggle" type="button" data-toggle="collapse" data-target=".navbar-collapse"> <span class="icon-bar"></span> <span class="icon-bar"></span> <span class="icon-bar"></span> </button> <a class="navbar-brand d-flex align-items-center" href="https://www.irif.fr/index" accesskey="h" title=""><img id="dw__logo" class="pull-left h-100 mr-4" alt="" src="https://www.irif.fr/_media/logo.png" /><div class="pull-right"><div id="dw__title"></div></div></a> </div> <div class="collapse navbar-collapse"> <ul class="nav navbar-nav"> <li class="level1 node dropdown"><a href="#" class="dropdown-toggle" data-target="#" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">INFORMATIONS <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <a href="https://www.irif.fr/informations/presentation" class="wikilink1" title="informations:presentation" >Présentation</a> </li> <li class="level2"> <a href="https://www.irif.fr/informations/contacts" class="wikilink1" title="informations:contacts" >Contacts et accès</a> </li> <li class="level2"> <a href="https://www.irif.fr/informations/charte" class="wikilink1" title="informations:charte" >Charte des membres de l’IRIF</a> </li> <li class="level2"> <a href="https://www.irif.fr/egalite-fh/index" class="wikilink1" title="egalite-fh:index" >Égalités</a> </li> <li class="level2"> <a href="https://www.irif.fr/environnement/index" class="wikilink1" title="environnement:index" >Environment</a> </li> <li class="level2"> <a href="https://www.irif.fr/informations/annuaire" class="wikilink1" title="informations:annuaire" >Annuaire</a> </li> <li class="level2"> <a href="https://www.irif.fr/informations/mentorat" class="wikilink1" title="informations:mentorat" >Programme de mentorat</a> </li> <li class="level2"> <a href="https://www.irif.fr/informations/childcare" class="wikilink1" title="informations:childcare" >Childcare program</a> </li> <li class="level2"> <a href="https://www.irif.fr/informations/hceres" class="wikilink1" title="informations:hceres" >Évaluation HCERES - 28 au 30 Novembre 2023 (vague D)</a> </li> </ul> </li> </ul> <ul class="nav navbar-nav"> <li class="level1 node active dropdown"><a href="#" class="dropdown-toggle" data-target="#" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">RECHERCHE <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <strong><a href="https://www.irif.fr/poles/asd/index" class="wikilink1" title="poles:asd:index" >Algorithmes et structures discrètes</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/algocomp/index" class="wikilink1" title="equipes:algocomp:index" >Algorithmes et complexité</a> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/distribue/index" class="wikilink1" title="equipes:distribue:index" >Calcul distribué</a> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/combi/index" class="wikilink1" title="equipes:combi:index" >Combinatoire</a> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/graphes/index" class="wikilink1" title="equipes:graphes:index" >Théorie et algorithmique des graphes</a> </li> <li class="level2"> <strong><a href="https://www.irif.fr/poles/asv/index" class="wikilink1" title="poles:asv:index" >Automates, structures et vérification</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/automates/index" class="wikilink1" title="equipes:automates:index" >Automates et applications</a> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/verif/index" class="wikilink1" title="equipes:verif:index" >Modélisation et vérification</a> </li> <li class="level2"> <strong><a href="https://www.irif.fr/poles/pps/index" class="wikilink1" title="poles:pps:index" >Preuves, programmes et systèmes</a></strong> </li> <li class="level2 active"> <a href="https://www.irif.fr/equipes/algebre/index" class="wikilink1" title="equipes:algebre:index" data-wiki-curid="true">Algèbre et calcul</a> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/programmes/index" class="wikilink1" title="equipes:programmes:index" >Programmes et Langages (PL)</a> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/preuves/index" class="wikilink1" title="equipes:preuves:index" >Preuves et programmes</a> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/picube/index" class="wikilink1" title="equipes:picube:index" >Picube (Inria)</a> <hr/> </li> <li class="level2"> <strong><a href="https://cnrs.hal.science/IRIF/" class="" title="https://cnrs.hal.science/IRIF/" rel="ugc nofollow">PUBLICATIONS (hal)</a></strong> </li> </ul> </li> </ul> <ul class="nav navbar-nav"> <li class="level1 node dropdown"><a href="#" class="dropdown-toggle" data-target="#" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">ÉVÉNEMENTS <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <strong><a href="https://www.irif.fr/seminaires/evenements" class="wikilink1" title="seminaires:evenements" >Evénements de l'IRIF</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/irif/index" class="wikilink1" title="seminaires:irif:index" >IRIF Distinguished Talks Series</a> </li> <li class="level2"> <a href="https://www.irif.fr/rencontres/irif/index" class="wikilink1" title="rencontres:irif:index" >Journées de l'IRIF</a> </li> <li class="level2"> <a href="https://www.irif.fr/rencontres/poles/index" class="wikilink1" title="rencontres:poles:index" >Rencontres de pôles</a> </li> <li class="level2"> <strong><a href="https://www.irif.fr/seminaires/seminaires" class="wikilink1" title="seminaires:seminaires" >Séminaires de recherche</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/algocomp/index" class="wikilink1" title="seminaires:algocomp:index" >Algorithmes et complexité</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/asd/index" class="wikilink1" title="seminaires:asd:index" >Algorithmes et structures discrètes</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/automates/index" class="wikilink1" title="seminaires:automates:index" >Automates</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/combi/index" class="wikilink1" title="seminaires:combi:index" >Combinatoire énumérative et analytique</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/picube/index" class="wikilink1" title="seminaires:picube:index" >Séminaire Formath (Formalized Mathematics)</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/adg/index" class="wikilink1" title="seminaires:adg:index" >Graphes et calcul distribué</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/pps/index" class="wikilink1" title="seminaires:pps:index" >Preuves, programmes et systèmes</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/verif/index" class="wikilink1" title="seminaires:verif:index" >Vérification</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/doctorants/index" class="wikilink1" title="seminaires:doctorants:index" >Séminaire des membres non-permanents</a> </li> <li class="level2"> <strong><a href="https://www.irif.fr/seminaires/onlineseminars" class="wikilink1" title="seminaires:onlineseminars" >Séminaires en ligne</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/greta/index" class="wikilink1" title="seminaires:greta:index" >Graph Transformation Theory and Applications</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/numeration/index" class="wikilink1" title="seminaires:numeration:index" >One world numeration seminar</a> </li> <li class="level2"> <strong><a href="https://www.irif.fr/seminaires/gt" class="wikilink1" title="seminaires:gt" >Groupes de travail</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/cat/index" class="wikilink1" title="seminaires:cat:index" >Catégories supérieures, polygraphes et homotopie</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/sms/index" class="wikilink1" title="seminaires:sms:index" >La syntaxe rencontre la sémantique</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/hott/index" class="wikilink1" title="seminaires:hott:index" >La théorie des types et la théorie de l'homotopie</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/laag/index" class="wikilink1" title="seminaires:laag:index" >Logique, automates, algèbre et jeux</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/programmation/index" class="wikilink1" title="seminaires:programmation:index" >Programmation</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/semantique/index" class="wikilink1" title="seminaires:semantique:index" >Sémantique</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/types/index" class="wikilink1" title="seminaires:types:index" >Théorie des types et réalisabilité</a> </li> <li class="level2"> <strong><a href="https://www.irif.fr/seminaires/soutenances" class="wikilink1" title="seminaires:soutenances" >Soutenances</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/these/index" class="wikilink1" title="seminaires:these:index" >Soutenances de thèses</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/hdr/index" class="wikilink1" title="seminaires:hdr:index" >Soutenances d'habilitation</a> </li> </ul> </li> </ul> <ul class="nav navbar-nav"> <li class="level1 node dropdown"><a href="#" class="dropdown-toggle" data-target="#" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">MÉDIATION <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <a href="https://www.irif.fr/mediation/fdls" class="wikilink1" title="mediation:fdls" >Fête de la Science</a> </li> <li class="level2"> <a href="https://www.irif.fr/mediation/confcrypto" class="wikilink1" title="mediation:confcrypto" >Conférence vidéo “Manuel de Cryptanalyse à l’usage de la NSA”</a> </li> <li class="level2"> <a href="https://www.irif.fr/mediation/scolaire" class="wikilink1" title="mediation:scolaire" >Stages scolaires d’observation</a> </li> <li class="level2"> <a href="https://www.irif.fr/portraits/index" class="wikilink1" title="portraits:index" >Portraits de recherche</a> </li> <li class="level2"> <a href="https://icalp2022.irif.fr/?page_id=1111" class="" title="https://icalp2022.irif.fr/?page_id=1111" rel="ugc nofollow">Exposition 50 ans</a> </li> <li class="level2"> <a href="https://qubobs.irif.fr/fr/" class="" title="https://qubobs.irif.fr/fr/" rel="ugc nofollow">Projet QuBOBS (quantum computing explained)</a> </li> </ul> </li> </ul> <ul class="nav navbar-nav"> <li class="level1 node dropdown"><a href="#" class="dropdown-toggle" data-target="#" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">POINTS CLÉS <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <a href="https://www.irif.fr/distinctions/index" class="wikilink1" title="distinctions:index" > Prix et distinctions</a> </li> <li class="level2"> <a href="https://www.irif.fr/logiciels/index" class="wikilink1" title="logiciels:index" >Logiciels</a> </li> <li class="level2"> <a href="https://www.irif.fr/contrats/index" class="wikilink1" title="contrats:index" >Contrats</a> </li> <li class="level2"> <a href="https://www.irif.fr/international/index" class="wikilink1" title="international:index" >Collaborations internationales</a> </li> <li class="level2"> <a href="https://epit.irif.fr" class="" title="https://epit.irif.fr" rel="ugc nofollow">L'école thématique EPIT</a> </li> <li class="level2"> <a href="https://www.irif.fr/formation/index" class="wikilink1" title="formation:index" >Formation</a> </li> </ul> </li> </ul> <ul class="nav navbar-nav"> <li class="level1 node dropdown"><a href="#" class="dropdown-toggle" data-target="#" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">REJOIGNEZ-NOUS <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <a href="https://www.irif.fr/informations/visit" class="wikilink1" title="informations:visit" >Programme visiteurs</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/admin" class="wikilink1" title="postes:admin" >Postes soutien à la recherche</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/universite" class="wikilink1" title="postes:universite" >Enseignant·e·s-chercheurs·euses</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/chercheur" class="wikilink1" title="postes:chercheur" >Chercheurs·euses</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/postdoc" class="wikilink1" title="postes:postdoc" >Postdocs</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/ater" class="wikilink1" title="postes:ater" >ATER</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/these" class="wikilink1" title="postes:these" >Thèses</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/stage" class="wikilink1" title="postes:stage" >Stages de master</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/stage-scolaire" class="wikilink1" title="postes:stage-scolaire" >Stages scolaires d’observation</a> </li> </ul> </li> </ul> <ul class="nav navbar-nav"> <li class="level1"> <a href="https://www.irif.fr/intranet/index" class="wikilink1" title="intranet:index" >INTRANET</a> </li> </ul> <div class="navbar-right" id="dw__navbar_items"> <!-- translation --> <ul class="nav navbar-nav" id="dw__translation"> <li class="dropdown"> <a href="" class="dropdown-toggle" data-target="#" data-toggle="dropdown" title="Traductions de cette page" role="button" aria-haspopup="true" aria-expanded="false"> <span class="iconify" data-icon="mdi:flag"></span> <span class="hidden-lg hidden-md hidden-sm">Traductions de cette page</span><span class="caret"></span> </a> <ul class="dropdown-menu" role="menu"> <li class="dropdown-header hidden-xs hidden-sm"> <span class="iconify" data-icon="mdi:flag"></span> Traductions de cette page </li> <li><div class='li cur'><a href="https://www.irif.fr/equipes/algebre/index" class="wikilink1 cur flag" title="Français"><img src="https://www.irif.fr/lib/plugins/translation/flags/fr.gif" alt="fr" height="11" />Français</a></li><li><div class='li'><a href="https://www.irif.fr/en/equipes/algebre/index" class="wikilink1 flag" title="English"><img src="https://www.irif.fr/lib/plugins/translation/flags/en.gif" alt="en" height="11" />English</a></li> </ul> </li> </ul> <!-- /translation --> <ul class="nav navbar-nav"> <li> <span class="dw__actions dw-action-icon"> <a href="https://www.irif.fr/equipes/algebre/index?do=login&sectok=" title="S'identifier" rel="nofollow" class="menuitem login btn btn-default navbar-btn"><svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 24 24"><path d="M10 17.25V14H3v-4h7V6.75L15.25 12 10 17.25M8 2h9a2 2 0 0 1 2 2v16a2 2 0 0 1-2 2H8a2 2 0 0 1-2-2v-4h2v4h9V4H8v4H6V4a2 2 0 0 1 2-2z"/></svg><span class=""> S'identifier</span></a> </span> </li> </ul> </div> </div> </div> </nav> <!-- navbar --> </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"> <!-- /page-tools --> <div class="no-panel" itemprop="articleBody"> <div class="page "> <div class="dw-content-page "><!-- content --><div class="dw-content"><div class="datatemplateentry"> <p> <br/> </p> <div class="wrap_right plugin_wrap"> <p> <div class="bs-wrap bs-wrap-well well"> <span class="bs-wrap bs-wrap-button" data-btn-type="primary" data-btn-size="sm" data-btn-disabled="1">Équipe thématique</span> </p> <div class=""> <p> <span class="bs-wrap bs-wrap-label label label-default">Pôle</span> <a href="https://www.irif.fr/equipes/algebre/0_pageid" class="wikilink2" title="equipes:algebre:0_pageid" rel="nofollow" data-wiki-id="equipes:algebre:0_pageid"><a href="https://www.irif.fr/poles/pps/index" class="wikilink1" title="poles:pps:index" data-wiki-id="poles:pps:index">Preuves, programmes et systèmes</a></a><br/> </p> </div> <p> </div> </p> </div> <h2 class="sectionedit3 page-header pb-3 mb-4 mt-5" id="algebre_et_calcul">Algèbre et calcul</h2> <div class="level2"> <p> <br/> </p> </div> <h4 id="responsable">Responsable</h4> <div class="level4"> <div class=""> <p> <a href="https://www.irif.fr/~ehrhard" class="urlextern" title="https://www.irif.fr/~ehrhard" rel="ugc nofollow">Thomas Ehrhard</a><br/> </p> </div> </div> </div> <p> <br/> </p> <h4 id="themes_de_recherche">Thèmes de recherche</h4> <div class="level4"> <p> Une bonne compréhension des mécanismes de calcul exige le développement d'outils mathématiques toujours plus sophistiqués, et apporte de nouvelles idées mathématiques. Cela se manifeste notamment dans la construction de modèles abstraits des programmes probabilistes et quantiques, et dans l'utilisation de structures géométriques et topologiques pour représenter des situations de calculs distribués ou concurrents. On fait aussi appel à des notions générales de monades, d'opérades et d'espèces de structures pour représenter des structures de données ou des mécanismes de calcul (comme certains effets faisant appel à des états internes ou à de la mémoire modifiable), et aux catégories de dimension supérieure pour modéliser la théorie des types dans un cadre homotopique. Enfin, l'étude de la réécriture est un objectif majeur de cette équipe thématique, notamment pour ses applications à l'algèbre et aux catégories, mais aussi aux différents types de lambda-calcul, à l'étude des systèmes concurrents et des langages probabilistes, dont elle permet de décrire naturellement la sémantique opérationnelle. </p> <p> <br/> </p> </div> <h4 id="seminaire_et_groupes_de_travail">Séminaire et groupes de travail</h4> <div class="level4"> <p> <a href="https://www.irif.fr/seminaires/pps/index" class="wikilink1" title="seminaires:pps:index" data-wiki-id="seminaires:pps:index">Preuves, programmes et systèmes</a> <br/> <a href="https://www.irif.fr/seminaires/cat/index" class="wikilink1" title="seminaires:cat:index" data-wiki-id="seminaires:cat:index">Catégories supérieures, polygraphes et homotopie</a> <br/> <a href="https://www.irif.fr/seminaires/semantique/index" class="wikilink1" title="seminaires:semantique:index" data-wiki-id="seminaires:semantique:index">Sémantique</a> <br/> </p> <p> <br/> </p> </div> <h4 id="permanents">Permanents</h4> <div class="level4"> </div> <div class="plugin_include_content plugin_include__equipes:algebre:db:annuaire_perm" id="plugin_include__equipes__algebre__db__annuaire_perm"> <div class="level4"> <div class="dt-wrapper" data-page-length='-1' data-dom='frt'><div class="table-responsive"><table class="inline table table-striped table-condensed"> <thead> <tr class="row0"> <th class="col0">Nom</th><th class="col1">@</th><th class="col2">Téléphone</th><th class="col3">Bureau</th><th class="col4">Fonction</th><th class="col5">Pôle</th><th class="col6">Équipe</th> </tr> </thead> <tr class="row1"> <td class="col0"> <a href="https://www.irif.fr/~abbes" class="urlextern" title="https://www.irif.fr/~abbes" rel="ugc nofollow"> Abbes Samy </a> </td><td class="col1"> <a href="mailto:samy.abbes@univ-paris-diderot.fr" class="mail" title="samy.abbes@univ-paris-diderot.fr">@</a> </td><td class="col2"> 01 57 27 92 37 </td><td class="col3"> 3046 </td><td class="col4"> Maître.sse de conférences </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a> </td> </tr> <tr class="row2"> <td class="col0"> <a href="http://nicolasbehr.com" class="urlextern" title="http://nicolasbehr.com" rel="ugc nofollow"> Behr Nicolas </a> </td><td class="col1"> <a href="mailto:Nicolas.Behr@irif.fr" class="mail" title="Nicolas.Behr@irif.fr">@</a> </td><td class="col2"> 01 57 27 90 85 </td><td class="col3"> 3030 </td><td class="col4"> Chargé.e de recherche - CNRS </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row3"> <td class="col0"> <a href="https://www.irif.fr/~buccia" class="urlextern" title="https://www.irif.fr/~buccia" rel="ugc nofollow"> Bucciarelli Antonio </a> </td><td class="col1"> <a href="mailto:Antonio.Bucciarelli@irif.fr" class="mail" title="Antonio.Bucciarelli@irif.fr">@</a> </td><td class="col2"> 01 57 27 94 33 </td><td class="col3"> 3045 </td><td class="col4"> Maître.sse de conférences </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row4"> <td class="col0"> <a href="https://www.irif.fr/~curien" class="urlextern" title="https://www.irif.fr/~curien" rel="ugc nofollow"> Curien Pierre-Louis </a> </td><td class="col1"> <a href="mailto:Pierre-Louis.Curien@irif.fr" class="mail" title="Pierre-Louis.Curien@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 23 </td><td class="col3"> 3013 </td><td class="col4"> Directeur.rice de recherche émérite - CNRS </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a>, <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row5"> <td class="col0"> <a href="https://www.irif.fr/~douteau/" class="urlextern" title="https://www.irif.fr/~douteau/" rel="ugc nofollow"> Douteau Sylvain </a> </td><td class="col1"> <a href="mailto:Sylvain.Douteau@irif.fr" class="mail" title="Sylvain.Douteau@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3030 </td><td class="col4"> Maître.sse de conférences </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row6"> <td class="col0"> <a href="https://www.irif.fr/~ehrhard" class="urlextern" title="https://www.irif.fr/~ehrhard" rel="ugc nofollow"> Ehrhard Thomas </a> </td><td class="col1"> <a href="mailto:Thomas.Ehrhard@irif.fr" class="mail" title="Thomas.Ehrhard@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 17 </td><td class="col3"> 4014a </td><td class="col4"> Directeur.rice de recherche - CNRS </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a>, <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a> </td> </tr> <tr class="row7"> <td class="col0"> <a href="https://www.irif.fr/~faggian" class="urlextern" title="https://www.irif.fr/~faggian" rel="ugc nofollow"> Faggian Claudia </a> </td><td class="col1"> <a href="mailto:Claudia.Faggian@irif.fr" class="mail" title="Claudia.Faggian@irif.fr">@</a> </td><td class="col2"> 01 57 27 90 86 </td><td class="col3"> 3032 </td><td class="col4"> Chargé.e de recherche - CNRS </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row8"> <td class="col0"> <a href="https://www.irif.fr/~gaucher" class="urlextern" title="https://www.irif.fr/~gaucher" rel="ugc nofollow"> Gaucher Philippe </a> </td><td class="col1"> <a href="mailto:Philippe.Gaucher@irif.fr" class="mail" title="Philippe.Gaucher@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 55 </td><td class="col3"> 3049 </td><td class="col4"> Chargé.e de recherche - CNRS </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a> </td> </tr> <tr class="row9"> <td class="col0"> <a href="https://geoffroy.re" class="urlextern" title="https://geoffroy.re" rel="ugc nofollow"> Geoffroy Guillaume </a> </td><td class="col1"> <a href="mailto:Guillaume.Geoffroy@irif.fr" class="mail" title="Guillaume.Geoffroy@irif.fr">@</a> </td><td class="col2"> 01 57 27 94 15 </td><td class="col3"> 3019 </td><td class="col4"> Maître.sse de conférences </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row10"> <td class="col0"> <a href="https://www.irif.fr/~guatto/" class="urlextern" title="https://www.irif.fr/~guatto/" rel="ugc nofollow"> Guatto Adrien </a> </td><td class="col1"> <a href="mailto:Adrien.Guatto@irif.fr" class="mail" title="Adrien.Guatto@irif.fr">@</a> </td><td class="col2"> 01 57 27 94 15 </td><td class="col3"> 3019 </td><td class="col4"> Maître.sse de conférences </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row11"> <td class="col0"> <a href="http://pauillac.inria.fr/~herbelin" class="urlextern" title="http://pauillac.inria.fr/~herbelin" rel="ugc nofollow"> Herbelin Hugo </a> </td><td class="col1"> <a href="mailto:Hugo.Herbelin@irif.fr" class="mail" title="Hugo.Herbelin@irif.fr">@</a> </td><td class="col2"> 01 57 27 90 87 </td><td class="col3"> 3029 </td><td class="col4"> Directeur.rice de recherche - INRIA </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a> </td> </tr> <tr class="row12"> <td class="col0"> <a href="https://www.irif.fr/~kesner" class="urlextern" title="https://www.irif.fr/~kesner" rel="ugc nofollow"> Kesner Delia </a> </td><td class="col1"> <a href="mailto:Delia.Kesner@irif.fr" class="mail" title="Delia.Kesner@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 38 </td><td class="col3"> 3020 </td><td class="col4"> Professeur.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row13"> <td class="col0"> <a href="https://www.irif.fr/~krivine" class="urlextern" title="https://www.irif.fr/~krivine" rel="ugc nofollow"> Krivine Jean-Louis </a> </td><td class="col1"> <a href="mailto:Jean-Louis.Krivine@irif.fr" class="mail" title="Jean-Louis.Krivine@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 39 </td><td class="col3"> 3008 </td><td class="col4"> Professeur.e émérite </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row14"> <td class="col0"> <a href="https://www.irif.fr/~jkrivine" class="urlextern" title="https://www.irif.fr/~jkrivine" rel="ugc nofollow"> Krivine Jean </a> </td><td class="col1"> <a href="mailto:Jean.Krivine@irif.fr" class="mail" title="Jean.Krivine@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4027 </td><td class="col4"> Chargé.e de recherche - CNRS </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a> </td> </tr> <tr class="row15"> <td class="col0"> <a href="https://www.irif.fr/~ledent/" class="urlextern" title="https://www.irif.fr/~ledent/" rel="ugc nofollow"> Ledent Jeremy </a> </td><td class="col1"> <a href="mailto:jeremy.ledent@irif.fr" class="mail" title="jeremy.ledent@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 58 </td><td class="col3"> 3022 </td><td class="col4"> Maître.sse de conférences </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a>, <a href="https://www.irif.fr/poles/asd/index" class="urlextern" title="https://www.irif.fr/poles/asd/index" rel="ugc nofollow"> ASD </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/distribue/index" class="urlextern" title="https://www.irif.fr/equipes/distribue/index" rel="ugc nofollow"> distribue </a> </td> </tr> <tr class="row16"> <td class="col0"> <a href="http://www.irif.fr/~gmanzone/" class="urlextern" title="http://www.irif.fr/~gmanzone/" rel="ugc nofollow"> Manzonetto Giulio </a> </td><td class="col1"> <a href="mailto:gmanzone@irif.fr" class="mail" title="gmanzone@irif.fr">@</a> </td><td class="col2"> 01 57 27 93 54 </td><td class="col3"> 4015 </td><td class="col4"> Professeur.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row17"> <td class="col0"> <a href="https://www.irif.fr/~mellies" class="urlextern" title="https://www.irif.fr/~mellies" rel="ugc nofollow"> Melliès Paul-André </a> </td><td class="col1"> <a href="mailto:mellies@irif.fr" class="mail" title="mellies@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 48 </td><td class="col3"> 3023 </td><td class="col4"> Directeur.rice de recherche - CNRS </td><td class="col5"> <a href="https://www.irif.fr/poles/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </a>, <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a>, <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a>, <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a> </td> </tr> <tr class="row18"> <td class="col0"> <a href="https://www.irif.fr/~metayer" class="urlextern" title="https://www.irif.fr/~metayer" rel="ugc nofollow"> Métayer François </a> </td><td class="col1"> <a href="mailto:Francois.Metayer@irif.fr" class="mail" title="Francois.Metayer@irif.fr">@</a> </td><td class="col2"> 01 57 27 94 29 </td><td class="col3"> 3012 </td><td class="col4"> Maître.sse de conférences émérite - Université Paris Nanterre </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a> </td> </tr> <tr class="row19"> <td class="col0"> <a href="https://www.irif.fr/~petrisan/" class="urlextern" title="https://www.irif.fr/~petrisan/" rel="ugc nofollow"> Petrisan Daniela </a> </td><td class="col1"> <a href="mailto:Daniela.Petrisan@irif.fr" class="mail" title="Daniela.Petrisan@irif.fr">@</a> </td><td class="col2"> 01 57 27 94 00 </td><td class="col3"> 4016 </td><td class="col4"> Maître.sse de conférences </td><td class="col5"> <a href="https://www.irif.fr/poles/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </a>, <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a>, <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a> </td> </tr> <tr class="row20"> <td class="col0"> <a href="https://www.irif.fr/~picantin/" class="urlextern" title="https://www.irif.fr/~picantin/" rel="ugc nofollow"> Picantin Matthieu </a> </td><td class="col1"> <a href="mailto:picantin@irif.fr" class="mail" title="picantin@irif.fr">@</a> </td><td class="col2"> 01 57 27 94 49 </td><td class="col3"> 4043 </td><td class="col4"> Maître.sse de conférences </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a>, <a href="https://www.irif.fr/poles/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a> </td> </tr> <tr class="row21"> <td class="col0"> <a href="https://www.irif.fr/~ruet" class="urlextern" title="https://www.irif.fr/~ruet" rel="ugc nofollow"> Ruet Paul </a> </td><td class="col1"> <a href="mailto:Paul.Ruet@irif.fr" class="mail" title="Paul.Ruet@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 48 </td><td class="col3"> 3023 </td><td class="col4"> Chargé.e de recherche - CNRS </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a> </td> </tr> <tr class="row22"> <td class="col0"> <a href="https://www.irif.fr/users/saurin/index" class="urlextern" title="https://www.irif.fr/users/saurin/index" rel="ugc nofollow"> Saurin Alexis </a> </td><td class="col1"> <a href="mailto:Alexis.Saurin@irif.fr" class="mail" title="Alexis.Saurin@irif.fr">@</a> </td><td class="col2"> 01 57 27 93 37 </td><td class="col3"> 3040 </td><td class="col4"> Chargé.e de recherche - CNRS </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a>, <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a> </td> </tr> <tr class="row23"> <td class="col0"> <a href="http://gallium.inria.fr/~scherer/" class="urlextern" title="http://gallium.inria.fr/~scherer/" rel="ugc nofollow"> Scherer Gabriel </a> </td><td class="col1"> <a href="mailto:Gabriel.Scherer@irif.fr" class="mail" title="Gabriel.Scherer@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4032 </td><td class="col4"> Chargé.e de recherche - INRIA </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a>, <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a> </td> </tr> <tr class="row24"> <td class="col0"> <a href="http://www.samvangool.net" class="urlextern" title="http://www.samvangool.net" rel="ugc nofollow"> van Gool Sam </a> </td><td class="col1"> <a href="mailto:vangool@irif.fr" class="mail" title="vangool@irif.fr">@</a> </td><td class="col2"> 01 57 27 94 05 </td><td class="col3"> 4011 </td><td class="col4"> Maître.sse de conférences </td><td class="col5"> <a href="https://www.irif.fr/poles/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </a>, <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a>, <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a> </td> </tr> </table></div> </div> </div> </div> <div class="level4"> <p> <br/> </p> </div> <h4 id="non-permanents">Non-permanents</h4> <div class="level4"> </div> <div class="plugin_include_content plugin_include__equipes:algebre:db:annuaire_noperm" id="plugin_include__equipes__algebre__db__annuaire_noperm"> <div class="level4"> <div class="dt-wrapper" data-page-length='-1' data-dom='frt'><div class="table-responsive"><table class="inline table table-striped table-condensed"> <thead> <tr class="row0"> <th class="col0">Nom</th><th class="col1">@</th><th class="col2">Téléphone</th><th class="col3">Bureau</th><th class="col4">Fonction</th><th class="col5">Pôle</th><th class="col6">Équipe</th> </tr> </thead> <tr class="row1"> <td class="col0"> <a href="https://www.irif.fr/~yoannba/" class="urlextern" title="https://www.irif.fr/~yoannba/" rel="ugc nofollow"> Barszezak Yoann </a> </td><td class="col1"> <a href="mailto:Yoann.Barszezak@irif.fr" class="mail" title="Yoann.Barszezak@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3 leftalign"> </td><td class="col4"> ATER </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a>, <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a> </td> </tr> <tr class="row2"> <td class="col0"> <a href="https://www.i2m.univ-amu.fr/perso/remy.cerda/" class="urlextern" title="https://www.i2m.univ-amu.fr/perso/remy.cerda/" rel="ugc nofollow"> Cerda Remy </a> </td><td class="col1"> <a href="mailto:Remy.Cerda@math.cnrs.fr" class="mail" title="Remy.Cerda@math.cnrs.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3057 </td><td class="col4"> Post-Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row3"> <td class="col0"> <a href="https://www.irif.fr/~elmehdi/" class="urlextern" title="https://www.irif.fr/~elmehdi/" rel="ugc nofollow"> Cherradi El-Mehdi </a> </td><td class="col1"> <a href="mailto:El-Mehdi.Cherradi@irif.fr" class="mail" title="El-Mehdi.Cherradi@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4054 </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </a>, <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a>, <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row4"> <td class="col0"> <a href="https://www.irif.fr/~defaveri/" class="urlextern" title="https://www.irif.fr/~defaveri/" rel="ugc nofollow"> De Faveri Arturo </a> </td><td class="col1"> <a href="mailto:Arturo.De-Faveri@irif.fr" class="mail" title="Arturo.De-Faveri@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4033 </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row5"> <td class="col0"> <a href="https://www.irif.fr/~didonna/" class="urlextern" title="https://www.irif.fr/~didonna/" rel="ugc nofollow"> Di Donna Raffaele </a> </td><td class="col1"> <a href="mailto:didonna@irif.fr" class="mail" title="didonna@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3010 </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row6"> <td class="col0"> <a href="https://www.irif.fr/~erlich/" class="urlextern" title="https://www.irif.fr/~erlich/" rel="ugc nofollow"> Erlich Enzo </a> </td><td class="col1"> <a href="mailto:Enzo.Erlich@irif.fr" class="mail" title="Enzo.Erlich@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3 leftalign"> </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </a>, <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a>, <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a> </td> </tr> <tr class="row7"> <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="row8"> <td class="col0"> <a href="https://www.irif.fr/~giusti/" class="urlextern" title="https://www.irif.fr/~giusti/" rel="ugc nofollow"> Giusti Giulia </a> </td><td class="col1"> <a href="mailto:Giulia.Giusti@irif.fr" class="mail" title="Giulia.Giusti@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4055 </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row9"> <td class="col0"> <a href="https://sites.google.com/site/farzadjafarrahmani/" class="urlextern" title="https://sites.google.com/site/farzadjafarrahmani/" rel="ugc nofollow"> Jafar-Rhamani Farzad </a> </td><td class="col1"> <a href="mailto:Farzad.Jafar-Rhamani@irif.fr" class="mail" title="Farzad.Jafar-Rhamani@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 92 </td><td class="col3"> 3026 </td><td class="col4"> Post-Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a>, <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a> </td> </tr> <tr class="row10"> <td class="col0"> <a href="https://www.irif.fr/~jubert/" class="urlextern" title="https://www.irif.fr/~jubert/" rel="ugc nofollow"> Jubert Moana </a> </td><td class="col1"> <a href="mailto:Moana.Jubert@irif.fr" class="mail" title="Moana.Jubert@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3034 </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a>, <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row11"> <td class="col0"> <a href="https://www.irif.fr/~kniazev/" class="urlextern" title="https://www.irif.fr/~kniazev/" rel="ugc nofollow"> Kniazev Roman </a> </td><td class="col1"> <a href="mailto:Roman.Kniazev@irif.fr" class="mail" title="Roman.Kniazev@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3018 </td><td class="col4"> ATER </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a> </td> </tr> <tr class="row12"> <td class="col0"> <a href="https://www.irif.fr/~glopez/" class="urlextern" title="https://www.irif.fr/~glopez/" rel="ugc nofollow"> Lopez Gaetan </a> </td><td class="col1"> <a href="mailto:Gaetan.Lopez@irif.fr" class="mail" title="Gaetan.Lopez@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3 leftalign"> </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a> </td> </tr> <tr class="row13"> <td class="col0"> <a href="mailto:marzaioli@irif.fr" class="mail" title="marzaioli@irif.fr"> Marzaioli Miriam </a> </td><td class="col1"> <a href="mailto:Miriam.Marzaioli@irif.fr" class="mail" title="Miriam.Marzaioli@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4055 </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row14"> <td class="col0"> <a href="https://www.irif.fr/~milicich/" class="urlextern" title="https://www.irif.fr/~milicich/" rel="ugc nofollow"> Milicich Mariana </a> </td><td class="col1"> <a href="mailto:Mariana.Milicich@irif.fr" class="mail" title="Mariana.Milicich@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3026 </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row15"> <td class="col0"> <a href="https://www.irif.fr/~moreau/" class="urlextern" title="https://www.irif.fr/~moreau/" rel="ugc nofollow"> Moreau Vincent </a> </td><td class="col1"> <a href="mailto:moreau@irif.fr" class="mail" title="moreau@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4033 </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </a>, <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a>, <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a>, <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a> </td> </tr> <tr class="row16"> <td class="col0"> <a href="https://www.irif.fr/~pasquale/" class="urlextern" title="https://www.irif.fr/~pasquale/" rel="ugc nofollow"> Pasquale Valentin </a> </td><td class="col1"> <a href="mailto:Valentin.Pasquale@irif.fr" class="mail" title="Valentin.Pasquale@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3 leftalign"> </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row17"> <td class="col0"> <a href="https://boilnkettle.github.io/" class="urlextern" title="https://boilnkettle.github.io/" rel="ugc nofollow"> Ramos Miguel </a> </td><td class="col1"> <a href="mailto:Miguel.Ramos@irif.fr" class="mail" title="Miguel.Ramos@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3033 </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row18"> <td class="col0"> <a href="https://www.irif.fr/~salibra/" class="urlextern" title="https://www.irif.fr/~salibra/" rel="ugc nofollow"> Salibra Antonino </a> </td><td class="col1"> <a href="mailto:salibra@irif.fr" class="mail" title="salibra@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3 leftalign"> </td><td class="col4"> Membre associé.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row19"> <td class="col0"> <a href="https://www.irif.fr/~tarantino/" class="urlextern" title="https://www.irif.fr/~tarantino/" rel="ugc nofollow"> Tarantino Umberto </a> </td><td class="col1"> <a href="mailto:Umberto.Tarantino@irif.fr" class="mail" title="Umberto.Tarantino@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3 leftalign"> </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </a>, <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a>, <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a> </td> </tr> <tr class="row20"> <td class="col0"> <a href="https://www.irif.fr/~theron/" class="urlextern" title="https://www.irif.fr/~theron/" rel="ugc nofollow"> Theron Clement </a> </td><td class="col1"> <a href="mailto:Clement.Theron@irif.fr" class="mail" title="Clement.Theron@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4060 </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a> </td> </tr> <tr class="row21"> <td class="col0"> <a href="http://vanoni.me" class="urlextern" title="http://vanoni.me" rel="ugc nofollow"> Vanoni Gabriele </a> </td><td class="col1"> <a href="mailto:Gabriele.Vanoni@irif.fr" class="mail" title="Gabriele.Vanoni@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4053 </td><td class="col4"> Post-Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row22"> <td class="col0"> <a href="https://www.irif.fr/~vienot/" class="urlextern" title="https://www.irif.fr/~vienot/" rel="ugc nofollow"> Vienot Ada </a> </td><td class="col1"> <a href="mailto:Ada.Vienot@irif.fr" class="mail" title="Ada.Vienot@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3044 </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row23"> <td class="col0"> <a href="https://www.irif.fr/~walch/" class="urlextern" title="https://www.irif.fr/~walch/" rel="ugc nofollow"> Walch Aymeric </a> </td><td class="col1"> <a href="mailto:Aymeric.Walch@irif.fr" class="mail" title="Aymeric.Walch@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3026 </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a> </td> </tr> </table></div> </div> </div> </div> <div class="level4"> </div> </div><!-- /content --></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"> <!-- footer --> <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:32px" />--> <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 --> </footer> <a href="#dokuwiki__top" class="back-to-top hidden-print btn btn-default" title="Aller au contenu" accesskey="t"> <span class="iconify" data-icon="mdi:chevron-up"></span> </a> <div id="screen__mode"> <span class="visible-xs-block"></span> <span class="visible-sm-block"></span> <span class="visible-md-block"></span> <span class="visible-lg-block"></span> </div> <img src="https://www.irif.fr/lib/exe/taskrunner.php?id=equipes%3Aalgebre%3Aindex&1732401102" width="2" height="1" alt="" /> </div> </body> </html>