Automates, structures et vérification

<!DOCTYPE html> <html xmlns="http://www.w3.org/1999/xhtml" lang="fr" dir="ltr" class="no-js"> <head> <meta charset="UTF-8" /> <title>Automates, structures et vérification</title>  <script> var _paq = window._paq = window._paq || []; /* tracker methods like "setCustomDimension" should be called before "trackPageView" */ _paq.push(['trackPageView']); _paq.push(['enableLinkTracking']); (function() { var u="//apps.roulois.fr/matomo/"; _paq.push(['setTrackerUrl', u+'matomo.php']); _paq.push(['setSiteId', '1']); var d=document, g=d.createElement('script'), s=d.getElementsByTagName('script')[0]; g.async=true; g.src=u+'matomo.js'; s.parentNode.insertBefore(g,s); })(); </script>  <script>(function(H){H.className=H.className.replace(/\bno-js\b/,'js')})(document.documentElement)</script> <meta name="viewport" content="width=device-width,initial-scale=1" /> <link rel="shortcut icon" href="https://www.irif.fr/_media/favicon.ico" /> <link rel="apple-touch-icon" href="https://www.irif.fr/_media/apple-touch-icon.png" /> <meta name="generator" content="DokuWiki"/> <meta name="robots" content="index,follow"/> <meta name="keywords" content="poles,asv,index"/> <link rel="search" type="application/opensearchdescription+xml" href="https://www.irif.fr/lib/exe/opensearch.php" title=""/> <link rel="start" href="https://www.irif.fr/"/> <link rel="contents" href="https://www.irif.fr/poles/asv/index?do=index" title="Plan du site"/> <link rel="manifest" href="https://www.irif.fr/lib/exe/manifest.php"/> <link rel="alternate" type="text/html" title="HTML brut" href="https://www.irif.fr/_export/xhtml/poles/asv/index"/> <link rel="alternate" type="text/plain" title="Wiki balise" href="https://www.irif.fr/_export/raw/poles/asv/index"/> <link rel="canonical" href="https://www.irif.fr/poles/asv/index"/> <link rel="stylesheet" href="https://www.irif.fr/lib/exe/css.php?t=bootstrap3&tseed=999b1f07158911a883ed4b945a522775"/> <link type="text/css" rel="stylesheet" href="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-fixedheader-dt/css/fixedHeader.dataTables.min.css"/> <link type="text/css" rel="stylesheet" href="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-fixedcolumns-dt/css/fixedColumns.dataTables.min.css"/> <link type="text/css" rel="stylesheet" href="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net/css/dataTables.bootstrap.min.css"/> <link type="text/css" rel="stylesheet" href="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-buttons/css/buttons.bootstrap.min.css"/> <link type="text/css" rel="stylesheet" href="https://www.irif.fr/lib/plugins/icons/assets/font-awesome/css/font-awesome.min.css"/> <link type="text/css" rel="stylesheet" href="https://www.irif.fr/lib/plugins/icons/assets/material-design-icons/css/materialdesignicons.min.css"/>  <script >/*<![CDATA[*/var NS='poles:asv';var JSINFO = {"plugin":{"datatables":{"config":{"dom":"lBfrtip","language":{"url":"https:\/\/www.irif.fr\/lib\/plugins\/datatables\/assets\/datatables.net-i18n\/fr-FR.json"}},"enableForAllTables":1}},"move_renameokay":false,"move_allowrename":false,"bootstrap3":{"mode":"show","toc":[],"config":{"collapsibleSections":0,"fixedTopNavbar":1,"showSemanticPopup":0,"sidebarOnNavbar":1,"tagsOnTop":1,"tocAffix":1,"tocCollapseOnScroll":1,"tocCollapsed":0,"tocLayout":"default","useAnchorJS":1,"useAlternativeToolbarIcons":1}},"id":"poles:asv:index","namespace":"poles:asv","ACT":"show","useHeadingNavigation":1,"useHeadingContent":1}; /*!]]>*/</script> <script src="https://www.irif.fr/lib/exe/jquery.php?tseed=34a552433bc33cc9c3bc32527289a0b2" defer="defer"></script> <script src="https://www.irif.fr/lib/exe/js.php?t=bootstrap3&tseed=999b1f07158911a883ed4b945a522775" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net/js/jquery.dataTables.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-fixedheader-dt/js/fixedHeader.dataTables.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-fixedcolumns-dt/js/fixedColumns.dataTables.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-buttons/js/dataTables.buttons.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-buttons/js/buttons.html5.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-buttons/js/buttons.print.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/jszip/jszip.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/pdfmake/pdfmake.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/pdfmake/vfs_fonts.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net/js/dataTables.bootstrap.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-buttons/js/buttons.bootstrap.min.js" defer="defer"></script> <script type="text/x-mathjax-config">/*<![CDATA[*/MathJax.Hub.Config({ tex2jax: { inlineMath: [ ["$","$"], ["\$","\$"] ], displayMath: [ ["$$","$$"], ["\\[","\\]"] ], processEscapes: true } }); /*!]]>*/</script> <script type="text/javascript" charset="utf-8" src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.9/MathJax.js?config=TeX-AMS_CHTML.js"></script>  <style type="text/css">@media screen { body { margin-top: 60px; } #dw__toc.affix { top: 50px; position: fixed !important; } #dw__toc .nav .nav .nav { display: none; } }</style>  </head> <body class="simplex dokuwiki mode_show tpl_bootstrap3 dw-fluid-container" data-page-id="poles:asv:index"><div class="dokuwiki"> <header id="dokuwiki__header" class="dw-container dokuwiki container-fluid mx-5">  <nav id="dw__navbar" class="navbar navbar-fixed-top navbar-inverse" role="navigation"> <div class="dw-container container-fluid mx-5"> <div class="navbar-header"> <button class="navbar-toggle" type="button" data-toggle="collapse" data-target=".navbar-collapse"> <span class="icon-bar"></span> <span class="icon-bar"></span> <span class="icon-bar"></span> </button> <a class="navbar-brand d-flex align-items-center" href="https://www.irif.fr/index" accesskey="h" title=""><img id="dw__logo" class="pull-left h-100 mr-4" alt="" src="https://www.irif.fr/_media/logo.png" /><div class="pull-right"><div id="dw__title"></div></div></a> </div> <div class="collapse navbar-collapse"> <ul class="nav navbar-nav"> <li class="level1 node dropdown"><a href="#" class="dropdown-toggle" data-target="#" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">INFORMATIONS <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <a href="https://www.irif.fr/informations/presentation" class="wikilink1" title="informations:presentation" >Présentation</a> </li> <li class="level2"> <a href="https://www.irif.fr/informations/contacts" class="wikilink1" title="informations:contacts" >Contacts et accès</a> </li> <li class="level2"> <a href="https://www.irif.fr/informations/charte" class="wikilink1" title="informations:charte" >Charte des membres de l’IRIF</a> </li> <li class="level2"> <a href="https://www.irif.fr/egalite-fh/index" class="wikilink1" title="egalite-fh:index" >Égalités</a> </li> <li class="level2"> <a href="https://www.irif.fr/environnement/index" class="wikilink1" title="environnement:index" >Environment</a> </li> <li class="level2"> <a href="https://www.irif.fr/informations/annuaire" class="wikilink1" title="informations:annuaire" >Annuaire</a> </li> <li class="level2"> <a href="https://www.irif.fr/informations/mentorat" class="wikilink1" title="informations:mentorat" >Programme de mentorat</a> </li> <li class="level2"> <a href="https://www.irif.fr/informations/childcare" class="wikilink1" title="informations:childcare" >Childcare program</a> </li> <li class="level2"> <a href="https://www.irif.fr/informations/hceres" class="wikilink1" title="informations:hceres" >Évaluation HCERES - 28 au 30 Novembre 2023 (vague D)</a> </li> </ul> </li> </ul> <ul class="nav navbar-nav"> <li class="level1 node active dropdown"><a href="#" class="dropdown-toggle" data-target="#" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">RECHERCHE <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <strong><a href="https://www.irif.fr/poles/asd/index" class="wikilink1" title="poles:asd:index" >Algorithmes et structures discrètes</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/algocomp/index" class="wikilink1" title="equipes:algocomp:index" >Algorithmes et complexité</a> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/distribue/index" class="wikilink1" title="equipes:distribue:index" >Calcul distribué</a> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/combi/index" class="wikilink1" title="equipes:combi:index" >Combinatoire</a> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/graphes/index" class="wikilink1" title="equipes:graphes:index" >Théorie et algorithmique des graphes</a> </li> <li class="level2 active"> <strong><a href="https://www.irif.fr/poles/asv/index" class="wikilink1" title="poles:asv:index" data-wiki-curid="true">Automates, structures et vérification</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/automates/index" class="wikilink1" title="equipes:automates:index" >Automates et applications</a> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/verif/index" class="wikilink1" title="equipes:verif:index" >Modélisation et vérification</a> </li> <li class="level2"> <strong><a href="https://www.irif.fr/poles/pps/index" class="wikilink1" title="poles:pps:index" >Preuves, programmes et systèmes</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/algebre/index" class="wikilink1" title="equipes:algebre:index" >Algèbre et calcul</a> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/programmes/index" class="wikilink1" title="equipes:programmes:index" >Programmes et Langages (PL)</a> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/preuves/index" class="wikilink1" title="equipes:preuves:index" >Preuves et programmes</a> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/picube/index" class="wikilink1" title="equipes:picube:index" >Picube (Inria)</a> <hr/> </li> <li class="level2"> <strong><a href="https://cnrs.hal.science/IRIF/" class="" title="https://cnrs.hal.science/IRIF/" rel="ugc nofollow">PUBLICATIONS (hal)</a></strong> </li> </ul> </li> </ul> <ul class="nav navbar-nav"> <li class="level1 node dropdown"><a href="#" class="dropdown-toggle" data-target="#" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">ÉVÉNEMENTS <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <strong><a href="https://www.irif.fr/seminaires/evenements" class="wikilink1" title="seminaires:evenements" >Evénements de l'IRIF</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/irif/index" class="wikilink1" title="seminaires:irif:index" >IRIF Distinguished Talks Series</a> </li> <li class="level2"> <a href="https://www.irif.fr/rencontres/irif/index" class="wikilink1" title="rencontres:irif:index" >Journées de l'IRIF</a> </li> <li class="level2"> <a href="https://www.irif.fr/rencontres/poles/index" class="wikilink1" title="rencontres:poles:index" >Rencontres de pôles</a> </li> <li class="level2"> <strong><a href="https://www.irif.fr/seminaires/seminaires" class="wikilink1" title="seminaires:seminaires" >Séminaires de recherche</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/algocomp/index" class="wikilink1" title="seminaires:algocomp:index" >Algorithmes et complexité</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/asd/index" class="wikilink1" title="seminaires:asd:index" >Algorithmes et structures discrètes</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/automates/index" class="wikilink1" title="seminaires:automates:index" >Automates</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/combi/index" class="wikilink1" title="seminaires:combi:index" >Combinatoire énumérative et analytique</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/picube/index" class="wikilink1" title="seminaires:picube:index" >Séminaire Formath (Formalized Mathematics)</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/adg/index" class="wikilink1" title="seminaires:adg:index" >Graphes et calcul distribué</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/pps/index" class="wikilink1" title="seminaires:pps:index" >Preuves, programmes et systèmes</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/verif/index" class="wikilink1" title="seminaires:verif:index" >Vérification</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/doctorants/index" class="wikilink1" title="seminaires:doctorants:index" >Séminaire des membres non-permanents</a> </li> <li class="level2"> <strong><a href="https://www.irif.fr/seminaires/onlineseminars" class="wikilink1" title="seminaires:onlineseminars" >Séminaires en ligne</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/greta/index" class="wikilink1" title="seminaires:greta:index" >Graph Transformation Theory and Applications</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/numeration/index" class="wikilink1" title="seminaires:numeration:index" >One world numeration seminar</a> </li> <li class="level2"> <strong><a href="https://www.irif.fr/seminaires/gt" class="wikilink1" title="seminaires:gt" >Groupes de travail</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/cat/index" class="wikilink1" title="seminaires:cat:index" >Catégories supérieures, polygraphes et homotopie</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/sms/index" class="wikilink1" title="seminaires:sms:index" >La syntaxe rencontre la sémantique</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/hott/index" class="wikilink1" title="seminaires:hott:index" >La théorie des types et la théorie de l'homotopie</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/laag/index" class="wikilink1" title="seminaires:laag:index" >Logique, automates, algèbre et jeux</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/programmation/index" class="wikilink1" title="seminaires:programmation:index" >Programmation</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/semantique/index" class="wikilink1" title="seminaires:semantique:index" >Sémantique</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/types/index" class="wikilink1" title="seminaires:types:index" >Théorie des types et réalisabilité</a> </li> <li class="level2"> <strong><a href="https://www.irif.fr/seminaires/soutenances" class="wikilink1" title="seminaires:soutenances" >Soutenances</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/these/index" class="wikilink1" title="seminaires:these:index" >Soutenances de thèses</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/hdr/index" class="wikilink1" title="seminaires:hdr:index" >Soutenances d'habilitation</a> </li> </ul> </li> </ul> <ul class="nav navbar-nav"> <li class="level1 node dropdown"><a href="#" class="dropdown-toggle" data-target="#" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">MÉDIATION <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <a href="https://www.irif.fr/mediation/fdls" class="wikilink1" title="mediation:fdls" >Fête de la Science</a> </li> <li class="level2"> <a href="https://www.irif.fr/mediation/confcrypto" class="wikilink1" title="mediation:confcrypto" >Conférence vidéo “Manuel de Cryptanalyse à l’usage de la NSA”</a> </li> <li class="level2"> <a href="https://www.irif.fr/mediation/scolaire" class="wikilink1" title="mediation:scolaire" >Stages scolaires d’observation</a> </li> <li class="level2"> <a href="https://www.irif.fr/portraits/index" class="wikilink1" title="portraits:index" >Portraits de recherche</a> </li> <li class="level2"> <a href="https://icalp2022.irif.fr/?page_id=1111" class="" title="https://icalp2022.irif.fr/?page_id=1111" rel="ugc nofollow">Exposition 50 ans</a> </li> <li class="level2"> <a href="https://qubobs.irif.fr/fr/" class="" title="https://qubobs.irif.fr/fr/" rel="ugc nofollow">Projet QuBOBS (quantum computing explained)</a> </li> </ul> </li> </ul> <ul class="nav navbar-nav"> <li class="level1 node dropdown"><a href="#" class="dropdown-toggle" data-target="#" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">POINTS CLÉS <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <a href="https://www.irif.fr/distinctions/index" class="wikilink1" title="distinctions:index" > Prix et distinctions</a> </li> <li class="level2"> <a href="https://www.irif.fr/logiciels/index" class="wikilink1" title="logiciels:index" >Logiciels</a> </li> <li class="level2"> <a href="https://www.irif.fr/contrats/index" class="wikilink1" title="contrats:index" >Contrats</a> </li> <li class="level2"> <a href="https://www.irif.fr/international/index" class="wikilink1" title="international:index" >Collaborations internationales</a> </li> <li class="level2"> <a href="https://epit.irif.fr" class="" title="https://epit.irif.fr" rel="ugc nofollow">L'école thématique EPIT</a> </li> <li class="level2"> <a href="https://www.irif.fr/formation/index" class="wikilink1" title="formation:index" >Formation</a> </li> </ul> </li> </ul> <ul class="nav navbar-nav"> <li class="level1 node dropdown"><a href="#" class="dropdown-toggle" data-target="#" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">REJOIGNEZ-NOUS <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <a href="https://www.irif.fr/informations/visit" class="wikilink1" title="informations:visit" >Programme visiteurs</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/admin" class="wikilink1" title="postes:admin" >Postes soutien à la recherche</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/universite" class="wikilink1" title="postes:universite" >Enseignant·e·s-chercheurs·euses</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/chercheur" class="wikilink1" title="postes:chercheur" >Chercheurs·euses</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/postdoc" class="wikilink1" title="postes:postdoc" >Postdocs</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/ater" class="wikilink1" title="postes:ater" >ATER</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/these" class="wikilink1" title="postes:these" >Thèses</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/stage" class="wikilink1" title="postes:stage" >Stages de master</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/stage-scolaire" class="wikilink1" title="postes:stage-scolaire" >Stages scolaires d’observation</a> </li> </ul> </li> </ul> <ul class="nav navbar-nav"> <li class="level1"> <a href="https://www.irif.fr/intranet/index" class="wikilink1" title="intranet:index" >INTRANET</a> </li> </ul> <div class="navbar-right" id="dw__navbar_items">  <ul class="nav navbar-nav" id="dw__translation"> <li class="dropdown"> <a href="" class="dropdown-toggle" data-target="#" data-toggle="dropdown" title="Traductions de cette page" role="button" aria-haspopup="true" aria-expanded="false"> <span class="iconify" data-icon="mdi:flag"></span> <span class="hidden-lg hidden-md hidden-sm">Traductions de cette page</span><span class="caret"></span> </a> <ul class="dropdown-menu" role="menu"> <li class="dropdown-header hidden-xs hidden-sm"> <span class="iconify" data-icon="mdi:flag"></span> Traductions de cette page </li> <li><div class='li cur'><a href="https://www.irif.fr/poles/asv/index" class="wikilink1 cur flag" title="Français"><img src="https://www.irif.fr/lib/plugins/translation/flags/fr.gif" alt="fr" height="11" />Français</a></li><li><div class='li'><a href="https://www.irif.fr/en/poles/asv/index" class="wikilink1 flag" title="English"><img src="https://www.irif.fr/lib/plugins/translation/flags/en.gif" alt="en" height="11" />English</a></li> </ul> </li> </ul>  <ul class="nav navbar-nav"> <li> <span class="dw__actions dw-action-icon"> <a href="https://www.irif.fr/poles/asv/index?do=login&sectok=" title="S'identifier" rel="nofollow" class="menuitem login btn btn-default navbar-btn"><svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 24 24"><path d="M10 17.25V14H3v-4h7V6.75L15.25 12 10 17.25M8 2h9a2 2 0 0 1 2 2v16a2 2 0 0 1-2 2H8a2 2 0 0 1-2-2v-4h2v4h9V4H8v4H6V4a2 2 0 0 1 2-2z"/></svg><span class=""> S'identifier</span></a> </span> </li> </ul> </div> </div> </div> </nav>  </header> <a name="dokuwiki__top" id="dokuwiki__top"></a> <main role="main" class="dw-container pb-5 dokuwiki container-fluid mx-5"> <div id="dokuwiki__pageheader"> <p class="text-right"> </p> <div id="dw__msgarea" class="small"> </div> </div> <div class="row"> <article id="dokuwiki__content" class="col-sm-12 col-md-12 " itemscope itemtype="http://schema.org/Article" itemref="dw__license">  <div class="no-panel" itemprop="articleBody"> <div class="page "> <div class="dw-content-page "><div class="dw-content"><div class="datatemplateentry"> <p> <br/> </p> <div class="wrap_right plugin_wrap"> <p> <div class="bs-wrap bs-wrap-well well"> <span class="bs-wrap bs-wrap-button" data-btn-type="primary" data-btn-size="sm" data-btn-disabled="1">Pôle</span> </p> <div class=""> <p> <span class="bs-wrap bs-wrap-label label label-default">Équipe thématique</span> <a href="https://www.irif.fr/poles/asv/0_pageid" class="wikilink2" title="poles:asv:0_pageid" rel="nofollow" data-wiki-id="poles:asv:0_pageid"><a href="https://www.irif.fr/equipes/automates/index" class="wikilink1" title="equipes:automates:index" data-wiki-id="equipes:automates:index">Automates et applications</a></a><br/> <span class="bs-wrap bs-wrap-label label label-default">Équipe thématique</span> <a href="https://www.irif.fr/poles/asv/1_pageid" class="wikilink2" title="poles:asv:1_pageid" rel="nofollow" data-wiki-id="poles:asv:1_pageid"><a href="https://www.irif.fr/equipes/verif/index" class="wikilink1" title="equipes:verif:index" data-wiki-id="equipes:verif:index">Modélisation et vérification</a></a><br/> </p> </div> <p> </div> </p> </div> <h2 class="sectionedit3 page-header pb-3 mb-4 mt-5" id="automates_structures_et_verification">Automates, structures et vérification</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/~carton/" class="urlextern" title="https://www.irif.fr/~carton/" rel="ugc nofollow">Olivier Carton</a><br/> </p> </div> </div> </div> <p> <br/> </p> <h4 id="themes_de_recherche">Thèmes de recherche</h4> <div class="level4"> <p> Les activités du pôle “Automates, Structures, et Vérification” portent de manière générale sur l'étude des systèmes informatiques du point de vue de leur puissance de calcul et des propriétés de leurs comportements. Ces activités couvrent un large spectre de thèmes de recherche, allant de la théorie aux applications. Elle comprennent notamment: </p> <ul class=" fix-media-list-overlap"> <li class="level1"><div class="li">l'étude de modèles mathématiques permettant de décrire à différent niveaux d’abstraction les comportements de différentes classes de systèmes,</div> </li> <li class="level1"><div class="li">la définition de formalismes de spécification pour exprimer et raisonner sur les propriétés des comportements de différents types de systèmes, et l’étude des liens effectifs entre différentes classes de modèles formels et de formalismes de spécification,</div> </li> <li class="level1"><div class="li">l’étude des problèmes de décision concernant différentes classes de systèmes, de modèles formels, et de propriétés, et l’étude d'approches algorithmiques permettant de résoudre de manière efficace et automatisée ces problèmes de décision, </div> </li> <li class="level1"><div class="li">le développement d'outils innovants qui implémentent ces approches, en ciblant différents types d'applications concrètes. Les applications visées concernent en particulier: les systèmes cyber-physiques, les systèmes embarqués, les infrastructures modernes systèmes et réseaux, les bases de données, etc.</div> </li> </ul> <p> Le pôle regroupe deux équipes thématiques, l'équipe “Automates et applications” et l'équipe “Modélisation et vérification”. Ces deux équipes sont proches et complémentaires, elles partagent de nombreux objets d’étude (mots, structures arborescentes, ordres, automates, logique, etc.) ainsi que les questions les concernant et les outils pour aborder ces questions (questions de décidabilité et de complexité, questions d’expressivité, étude des liens automates-logiques, model-checking, résolution algorithmique de jeux, etc.). </p> <p> Les activités du pôle sont organisées en plusieurs axes de recherches transversaux aux deux équipes thématiques du pôle: </p> <ul class=" fix-media-list-overlap"> <li class="level1"><div class="li"> Structures et modèles de calcul, </div> </li> <li class="level1"><div class="li"> Systèmes manipulant des données, </div> </li> <li class="level1"><div class="li"> Raisonnements quantitatifs, </div> </li> <li class="level1"><div class="li"> Systèmes concurrents et distribués, </div> </li> <li class="level1"><div class="li"> Systèmes dynamiques appliqués à l’informatique. </div> </li> </ul> <p> <br/> </p> </div> <h4 id="evenements">Evènements</h4> <div class="level4"> <ul class=" fix-media-list-overlap"> <li class="level1 node"><div class="li"> Séminaires</div> <ul class=" fix-media-list-overlap"> <li class="level2"><div class="li"> <a href="https://www.irif.fr/seminaires/automates/index" class="wikilink1" title="seminaires:automates:index" data-wiki-id="seminaires:automates:index">Automates</a></div> </li> <li class="level2"><div class="li"> <a href="https://www.irif.fr/seminaires/verif/index" class="wikilink1" title="seminaires:verif:index" data-wiki-id="seminaires:verif:index">Vérification</a></div> </li> </ul> </li> <li class="level1"><div class="li"> Séminaire en ligne <a href="https://www.irif.fr/seminaires/numeration/index" class="wikilink1" title="seminaires:numeration:index" data-wiki-id="seminaires:numeration:index">One world numeration seminar</a></div> </li> <li class="level1"><div class="li"> Groupe de travail <a href="https://www.irif.fr/seminaires/laag/index" class="wikilink1" title="seminaires:laag:index" data-wiki-id="seminaires:laag:index">Logique, automates, algèbre et jeux</a></div> </li> <li class="level1"><div class="li"> Rencontres <a href="https://www.irif.fr/rencontres/asv/index" class="wikilink1" title="rencontres:asv:index" data-wiki-id="rencontres:asv:index">Automates, structures et vérification</a></div> </li> </ul> <p> <br/> </p> </div> <h4 id="permanents">Permanents</h4> <div class="level4"> </div> <div class="plugin_include_content plugin_include__poles:asv:db:annuaire_perm" id="plugin_include__poles__asv__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/~asarin/" class="urlextern" title="https://www.irif.fr/~asarin/" rel="ugc nofollow"> Asarin Eugène </a> </td><td class="col1"> <a href="mailto:Eugene.ASARIN@irif.fr" class="mail" title="Eugene.ASARIN@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 34 </td><td class="col3"> 4040 </td><td class="col4"> Professeur.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> </td><td class="col6"> <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="row2"> <td class="col0"> <a href="https://www.irif.fr/~gio/index.xhtml" class="urlextern" title="https://www.irif.fr/~gio/index.xhtml" rel="ugc nofollow"> Bernardi Giovanni </a> </td><td class="col1"> <a href="mailto:Giovanni.Bernardi@irif.fr" class="mail" title="Giovanni.Bernardi@irif.fr">@</a> </td><td class="col2"> 01 57 27 93 38 </td><td class="col3"> 4021 </td><td class="col4"> Maître.sse de conférences </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a>, <a href="https://www.irif.fr/poles/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a>, <a href="https://www.irif.fr/equipes/verif/index" class="urlextern" title="https://www.irif.fr/equipes/verif/index" rel="ugc nofollow"> verif </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a> </td> </tr> <tr class="row3"> <td class="col0"> <a href="https://www.irif.fr/~berthe/" class="urlextern" title="https://www.irif.fr/~berthe/" rel="ugc nofollow"> Berthé Valérie </a> </td><td class="col1"> <a href="mailto:Valerie.Berthe@irif.fr" class="mail" title="Valerie.Berthe@irif.fr">@</a> </td><td class="col2"> 01 57 27 93 35 </td><td class="col3"> 4014 </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/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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a>, <a href="https://www.irif.fr/equipes/combi/index" class="urlextern" title="https://www.irif.fr/equipes/combi/index" rel="ugc nofollow"> combi </a> </td> </tr> <tr class="row4"> <td class="col0"> <a href="https://www.irif.fr/~abou/" class="urlextern" title="https://www.irif.fr/~abou/" rel="ugc nofollow"> Bouajjani Ahmed </a> </td><td class="col1"> <a href="mailto:Ahmed.Bouajjani@irif.fr" class="mail" title="Ahmed.Bouajjani@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 64 </td><td class="col3"> 4023 </td><td class="col4"> Professeur.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> </td><td class="col6"> <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="row5"> <td class="col0"> <a href="https://www.irif.fr/~carton/" class="urlextern" title="https://www.irif.fr/~carton/" rel="ugc nofollow"> Carton Olivier </a> </td><td class="col1"> <a href="mailto:Olivier.Carton@irif.fr" class="mail" title="Olivier.Carton@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 54 </td><td class="col3"> 4037 </td><td class="col4"> Professeur.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> </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> </td> </tr> <tr class="row6"> <td class="col0"> <a href="https://www.irif.fr/~cc/" class="urlextern" title="https://www.irif.fr/~cc/" rel="ugc nofollow"> Choffrut Christian </a> </td><td class="col1"> <a href="mailto:Christian.Choffrut@irif.fr" class="mail" title="Christian.Choffrut@irif.fr">@</a> </td><td class="col2"> 01 57 27 94 45 </td><td class="col3"> 4007 </td><td class="col4"> Professeur.e émérite </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> </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> </td> </tr> <tr class="row7"> <td class="col0"> <a href="https://www.irif.fr/~colcombe/" class="urlextern" title="https://www.irif.fr/~colcombe/" rel="ugc nofollow"> Colcombet Thomas </a> </td><td class="col1"> <a href="mailto:Thomas.COLCOMBET@irif.fr" class="mail" title="Thomas.COLCOMBET@irif.fr">@</a> </td><td class="col2"> 01 57 27 94 32 </td><td class="col3"> 3042 </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> </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> </td> </tr> <tr class="row8"> <td class="col0"> <a href="https://www.irif.fr/~adegorre/" class="urlextern" title="https://www.irif.fr/~adegorre/" rel="ugc nofollow"> Degorre Aldric </a> </td><td class="col1"> <a href="mailto:Aldric.Degorre@irif.fr" class="mail" title="Aldric.Degorre@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 32 </td><td class="col3"> 4018 </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> </td><td class="col6"> <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="row9"> <td class="col0"> <a href="https://www.irif.fr/~mfortin/" class="urlextern" title="https://www.irif.fr/~mfortin/" rel="ugc nofollow"> Fortin Marie </a> </td><td class="col1"> <a href="mailto:Marie.Fortin@irif.fr" class="mail" title="Marie.Fortin@irif.fr">@</a> </td><td class="col2"> 01 57 27 94 00 </td><td class="col3"> 4016 </td><td class="col4"> Chargé.e 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> </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> </td> </tr> <tr class="row10"> <td class="col0"> <a href="https://mo-f.github.io/Mo-F/" class="urlextern" title="https://mo-f.github.io/Mo-F/" rel="ugc nofollow"> Foughali Mohammed </a> </td><td class="col1"> <a href="mailto:foughali@irif.fr" class="mail" title="foughali@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/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/verif/index" class="urlextern" title="https://www.irif.fr/equipes/verif/index" rel="ugc nofollow"> verif </a> </td> </tr> <tr class="row11"> <td class="col0"> <a href="https://www.irif.fr/~amelie/" class="urlextern" title="https://www.irif.fr/~amelie/" rel="ugc nofollow"> Gheerbrant Amelie </a> </td><td class="col1"> <a href="mailto:Amelie.Gheerbrant@irif.fr" class="mail" title="Amelie.Gheerbrant@irif.fr">@</a> </td><td class="col2"> 01 57 27 94 46 </td><td class="col3"> 4039 </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> </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> </td> </tr> <tr class="row12"> <td class="col0"> <a href="https://www.irif.fr/~ig/" class="urlextern" title="https://www.irif.fr/~ig/" rel="ugc nofollow"> Guessarian Irène </a> </td><td class="col1"> <a href="mailto:Irene.GUESSARIAN@irif.fr" class="mail" title="Irene.GUESSARIAN@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 59 </td><td class="col3"> 3032 </td><td class="col4"> Professeur.e émérite - Sorbonne Université </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> </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/verif/index" class="urlextern" title="https://www.irif.fr/equipes/verif/index" rel="ugc nofollow"> verif </a> </td> </tr> <tr class="row13"> <td class="col0"> <a href="https://www.irif.fr/~haberm" class="urlextern" title="https://www.irif.fr/~haberm" rel="ugc nofollow"> Habermehl Peter </a> </td><td class="col1"> <a href="mailto:Peter.HABERMEHL@irif.fr" class="mail" title="Peter.HABERMEHL@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 58 </td><td class="col3"> 3009 </td><td class="col4"> Professeur.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> </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/verif/index" class="urlextern" title="https://www.irif.fr/equipes/verif/index" rel="ugc nofollow"> verif </a> </td> </tr> <tr class="row14"> <td class="col0"> <a href="https://www.irif.fr/~horn/" class="urlextern" title="https://www.irif.fr/~horn/" rel="ugc nofollow"> Horn Florian </a> </td><td class="col1"> <a href="mailto:Florian.HORN@irif.fr" class="mail" title="Florian.HORN@irif.fr">@</a> </td><td class="col2"> 01 57 27 94 46 </td><td class="col3"> 4039 </td><td class="col4"> Chargé.e 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> </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/verif/index" class="urlextern" title="https://www.irif.fr/equipes/verif/index" rel="ugc nofollow"> verif </a> </td> </tr> <tr class="row15"> <td class="col0"> <a href="https://www.irif.fr/~jurski/" class="urlextern" title="https://www.irif.fr/~jurski/" rel="ugc nofollow"> Jurski Yan </a> </td><td class="col1"> <a href="mailto:jurski@irif.fr" class="mail" title="jurski@irif.fr">@</a> </td><td class="col2"> 01 57 27 94 41 </td><td class="col3"> 4027 </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> </td><td class="col6"> <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="row16"> <td class="col0"> <a href="https://www.irif.fr/~francoisl/" class="urlextern" title="https://www.irif.fr/~francoisl/" rel="ugc nofollow"> Laroussinie François </a> </td><td class="col1"> <a href="mailto:Francois.Laroussinie@irif.fr" class="mail" title="Francois.Laroussinie@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 42 </td><td class="col3"> 4034 </td><td class="col4"> Professeur.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> </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/verif/index" class="urlextern" title="https://www.irif.fr/equipes/verif/index" rel="ugc nofollow"> verif </a> </td> </tr> <tr class="row17"> <td class="col0"> <a href="http://libk.in" class="urlextern" title="http://libk.in" rel="ugc nofollow"> Libkin Leonid </a> </td><td class="col1"> <a href="mailto:Leonid.Libkin@irif.fr" class="mail" title="Leonid.Libkin@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3042 </td><td class="col4"> Professeur.e - Chaire industrielle </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> </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> </td> </tr> <tr class="row18"> <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="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/~jep/" class="urlextern" title="https://www.irif.fr/~jep/" rel="ugc nofollow"> Pin Jean-Éric </a> </td><td class="col1"> <a href="mailto:Jean-Eric.PIN@irif.fr" class="mail" title="Jean-Eric.PIN@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 18 </td><td class="col3"> 4007 </td><td class="col4"> Directeur.rice de recherche émérite - 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> </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> </td> </tr> <tr class="row22"> <td class="col0"> <a href="https://www.pouly.fr" class="urlextern" title="https://www.pouly.fr" rel="ugc nofollow"> Pouly Amaury </a> </td><td class="col1"> <a href="mailto:Amaury.Pouly@irif.fr" class="mail" title="Amaury.Pouly@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3 leftalign"> </td><td class="col4"> Chargé.e de recherche - CNRS - Currently on leave </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> </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> </td> </tr> <tr class="row23"> <td class="col0"> <a href="https://www.irif.fr/~sakarovitch/" class="urlextern" title="https://www.irif.fr/~sakarovitch/" rel="ugc nofollow"> Sakarovitch Jacques </a> </td><td class="col1"> <a href="mailto:Jacques.Sakarovitch@irif.fr" class="mail" title="Jacques.Sakarovitch@irif.fr">@</a> </td><td class="col2"> 01 57 27 90 86 </td><td class="col3"> 3032 </td><td class="col4"> Directeur.rice de recherche émérite - 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> </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> </td> </tr> <tr class="row24"> <td class="col0"> <a href="https://www.irif.fr/~schmitz/" class="urlextern" title="https://www.irif.fr/~schmitz/" rel="ugc nofollow"> Schmitz Sylvain </a> </td><td class="col1"> <a href="mailto:Sylvain.Schmitz@irif.fr" class="mail" title="Sylvain.Schmitz@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 16 </td><td class="col3"> 3048 </td><td class="col4"> Professeur.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> </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/verif/index" class="urlextern" title="https://www.irif.fr/equipes/verif/index" rel="ugc nofollow"> verif </a> </td> </tr> <tr class="row25"> <td class="col0"> <a href="https://www.irif.fr/~serre/" class="urlextern" title="https://www.irif.fr/~serre/" rel="ugc nofollow"> Serre Olivier </a> </td><td class="col1"> <a href="mailto:Olivier.SERRE@irif.fr" class="mail" title="Olivier.SERRE@irif.fr">@</a> </td><td class="col2"> 01 57 27 94 18 </td><td class="col3"> 4029 </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> </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> </td> </tr> <tr class="row26"> <td class="col0"> <a href="https://www.irif.fr/~mahsa/" class="urlextern" title="https://www.irif.fr/~mahsa/" rel="ugc nofollow"> Shirmohammadi Mahsa </a> </td><td class="col1"> <a href="mailto:Mahsa.Shirmohammadi@irif.fr" class="mail" title="Mahsa.Shirmohammadi@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 29 </td><td class="col3"> 4017 </td><td class="col4"> Chargé.e 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> </td><td class="col6"> <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="row27"> <td class="col0"> <a href="https://www.irif.fr/~cristina/" class="urlextern" title="https://www.irif.fr/~cristina/" rel="ugc nofollow"> Sirangelo Cristina </a> </td><td class="col1"> <a href="mailto:Cristina.Sirangelo@irif.fr" class="mail" title="Cristina.Sirangelo@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 35 </td><td class="col3"> 4042 </td><td class="col4"> Professeur.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> </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> </td> </tr> <tr class="row28"> <td class="col0"> <a href="https://www.irif.fr/~steiner/" class="urlextern" title="https://www.irif.fr/~steiner/" rel="ugc nofollow"> Steiner Wolfgang </a> </td><td class="col1"> <a href="mailto:Wolfgang.Steiner@irif.fr" class="mail" title="Wolfgang.Steiner@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 33 </td><td class="col3"> 4044 </td><td class="col4"> Chargé.e 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/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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a>, <a href="https://www.irif.fr/equipes/combi/index" class="urlextern" title="https://www.irif.fr/equipes/combi/index" rel="ugc nofollow"> combi </a> </td> </tr> <tr class="row29"> <td class="col0"> <a href="https://www.irif.fr/~touili/" class="urlextern" title="https://www.irif.fr/~touili/" rel="ugc nofollow"> Touili Tayssir </a> </td><td class="col1"> <a href="mailto:touili@irif.fr" class="mail" title="touili@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 61 </td><td class="col3"> 4028a </td><td class="col4"> Directeur.rice de recherche </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> </td><td class="col6"> <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="row30"> <td class="col0"> <a href="https://www.irif.fr/~treinen" class="urlextern" title="https://www.irif.fr/~treinen" rel="ugc nofollow"> Treinen Ralf </a> </td><td class="col1"> <a href="mailto:Ralf.Treinen@irif.fr" class="mail" title="Ralf.Treinen@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 44 </td><td class="col3"> 3021 </td><td class="col4"> Professeur.e </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a>, <a href="https://www.irif.fr/poles/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a>, <a href="https://www.irif.fr/equipes/verif/index" class="urlextern" title="https://www.irif.fr/equipes/verif/index" rel="ugc nofollow"> verif </a> </td> </tr> <tr class="row31"> <td class="col0"> <a href="https://www.irif.fr/~winter" class="urlextern" title="https://www.irif.fr/~winter" rel="ugc nofollow"> Winter Sarah </a> </td><td class="col1"> <a href="mailto:Sarah.Winter@irif.fr" class="mail" title="Sarah.Winter@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4026 </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> </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> </td> </tr> <tr class="row32"> <td class="col0"> <a href="http://yunes.informatique.univ-paris-diderot.fr/" class="urlextern" title="http://yunes.informatique.univ-paris-diderot.fr/" rel="ugc nofollow"> Yunès Jean-Baptiste </a> </td><td class="col1"> <a href="mailto:Jean-Baptiste.Yunes@univ-paris-diderot.fr" class="mail" title="Jean-Baptiste.Yunes@univ-paris-diderot.fr">@</a> </td><td class="col2"> 01 57 27 92 62 </td><td class="col3"> 4047 </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> </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> </td> </tr> <tr class="row33"> <td class="col0"> <a href="https://www.irif.fr/~zielonka" class="urlextern" title="https://www.irif.fr/~zielonka" rel="ugc nofollow"> Zielonka Wiesław </a> </td><td class="col1"> <a href="mailto:Wieslaw.Zielonka@irif.fr" class="mail" title="Wieslaw.Zielonka@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3015 </td><td class="col4"> Professeur.e émérite </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> </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> </td> </tr> <tr class="row34"> <td class="col0"> <a href="http://www.samvangool.net" class="urlextern" title="http://www.samvangool.net" rel="ugc nofollow"> van Gool Sam </a> </td><td class="col1"> <a href="mailto:vangool@irif.fr" class="mail" title="vangool@irif.fr">@</a> </td><td class="col2"> 01 57 27 94 05 </td><td class="col3"> 4011 </td><td class="col4"> Maître.sse de conférences </td><td class="col5"> <a href="https://www.irif.fr/poles/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </a>, <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a>, <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a> </td> </tr> </table></div> </div> </div> </div> <div class="level4"> <p> <br/> </p> </div> <h4 id="non-permanents">Non-permanents</h4> <div class="level4"> </div> <div class="plugin_include_content plugin_include__poles:asv:db:annuaire_noperm" id="plugin_include__poles__asv__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://ridaaitelmanssour.com/" class="urlextern" title="https://ridaaitelmanssour.com/" rel="ugc nofollow"> Ait-El-Manssour Rida </a> </td><td class="col1"> <a href="mailto:Rida.Ait-El-Manssour@irif.fr" class="mail" title="Rida.Ait-El-Manssour@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/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/verif/index" class="urlextern" title="https://www.irif.fr/equipes/verif/index" rel="ugc nofollow"> verif </a> </td> </tr> <tr class="row2"> <td class="col0"> <a href="https://quentin.aristote.fr/" class="urlextern" title="https://quentin.aristote.fr/" rel="ugc nofollow"> Aristote Quentin </a> </td><td class="col1"> <a href="mailto:Quentin.Aristote@irif.fr" class="mail" title="Quentin.Aristote@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3010 </td><td class="col4"> Doctorant.e </td><td class="col5"> <a href="https://www.irif.fr/poles/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </a>, <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a>, <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a> </td> </tr> <tr class="row3"> <td class="col0"> <a href="https://www.irif.fr/~boutglay/" class="urlextern" title="https://www.irif.fr/~boutglay/" rel="ugc nofollow"> Boutglay Wael-Amine </a> </td><td class="col1"> <a href="mailto:boutglay@irif.fr" class="mail" title="boutglay@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4059 </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> </td><td class="col6"> <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="row4"> <td class="col0"> <a href="https://www.irif.fr/~buffiere/" class="urlextern" title="https://www.irif.fr/~buffiere/" rel="ugc nofollow"> Buffiere Hector </a> </td><td class="col1"> <a href="mailto:Hector.Buffiere@irif.fr" class="mail" title="Hector.Buffiere@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/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a>, <a href="https://www.irif.fr/equipes/graphes/index" class="urlextern" title="https://www.irif.fr/equipes/graphes/index" rel="ugc nofollow"> graphes </a> </td> </tr> <tr class="row5"> <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="row6"> <td class="col0"> <a href="https://www.irif.fr/~werneck/" class="urlextern" title="https://www.irif.fr/~werneck/" rel="ugc nofollow"> De-Lacerda-Werneck Maria-Clara </a> </td><td class="col1"> <a href="mailto:Maria-Clara.De-Lacerda-Werneck@irif.fr" class="mail" title="Maria-Clara.De-Lacerda-Werneck@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/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a>, <a href="https://www.irif.fr/equipes/combi/index" class="urlextern" title="https://www.irif.fr/equipes/combi/index" rel="ugc nofollow"> combi </a> </td> </tr> <tr class="row7"> <td class="col0"> <a href="https://www.logiqueconsult.eu" class="urlextern" title="https://www.logiqueconsult.eu" rel="ugc nofollow"> Dzamonja Mirna </a> </td><td class="col1"> <a href="mailto:Mirna.Dzamonja@irif.fr" class="mail" title="Mirna.Dzamonja@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 51 </td><td class="col3"> 3047 </td><td class="col4"> Membre associé.e - Chercheuse projet UE </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> </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> </td> </tr> <tr class="row8"> <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="row9"> <td class="col0"> <a href="https://www.irif.fr/~guillou/" class="urlextern" title="https://www.irif.fr/~guillou/" rel="ugc nofollow"> Guillou Lucie </a> </td><td class="col1"> <a href="mailto:Lucie.Guillou@irif.fr" class="mail" title="Lucie.Guillou@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4057 </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> </td><td class="col6"> <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="row10"> <td class="col0"> <a href="https://www.irif.fr/~idir/" class="urlextern" title="https://www.irif.fr/~idir/" rel="ugc nofollow"> Idir Olivier </a> </td><td class="col1"> <a href="mailto:Olivier.Idir@irif.fr" class="mail" title="Olivier.Idir@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> </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> </td> </tr> <tr class="row11"> <td class="col0"> <a href="https://www.irif.fr/~jacoboinclan/" class="urlextern" title="https://www.irif.fr/~jacoboinclan/" rel="ugc nofollow"> Jacobo-Inclan Bernardo </a> </td><td class="col1"> <a href="mailto:Bernardo.Jacobo-Inclan@irif.fr" class="mail" title="Bernardo.Jacobo-Inclan@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3035 </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> </td><td class="col6"> <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="row12"> <td class="col0"> <a href="https://www.irif.fr/~kochdumper/" class="urlextern" title="https://www.irif.fr/~kochdumper/" rel="ugc nofollow"> Kochdumper Niklas </a> </td><td class="col1"> <a href="mailto:Niklas.Kochdumper@irif.fr" class="mail" title="Niklas.Kochdumper@irif.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/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/verif/index" class="urlextern" title="https://www.irif.fr/equipes/verif/index" rel="ugc nofollow"> verif </a> </td> </tr> <tr class="row13"> <td class="col0"> <a href="https://www.irif.fr/~larroque/" class="urlextern" title="https://www.irif.fr/~larroque/" rel="ugc nofollow"> Larroque Emile </a> </td><td class="col1"> <a href="mailto:Emile.Larroque@irif.fr" class="mail" title="Emile.Larroque@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> </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/verif/index" class="urlextern" title="https://www.irif.fr/equipes/verif/index" rel="ugc nofollow"> verif </a> </td> </tr> <tr class="row14"> <td class="col0"> <a href="https://www.irif.fr/~laversa/" class="urlextern" title="https://www.irif.fr/~laversa/" rel="ugc nofollow"> Laversa Laetitia </a> </td><td class="col1"> <a href="mailto:Laetitia.Laversa@irif.fr" class="mail" title="Laetitia.Laversa@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3044 </td><td class="col4"> ATER </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> </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/verif/index" class="urlextern" title="https://www.irif.fr/equipes/verif/index" rel="ugc nofollow"> verif </a> </td> </tr> <tr class="row15"> <td class="col0"> <a href="https://www.irif.fr/~leclercq/" class="urlextern" title="https://www.irif.fr/~leclercq/" rel="ugc nofollow"> Leclercq Loriane </a> </td><td class="col1"> <a href="mailto:Loriane.Leclercq@irif.fr" class="mail" title="Loriane.Leclercq@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3044 </td><td class="col4"> ATER </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> </td><td class="col6"> <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="row16"> <td class="col0"> <a href="https://www.irif.fr/~shilin/" class="urlextern" title="https://www.irif.fr/~shilin/" rel="ugc nofollow"> Lin Shijie </a> </td><td class="col1"> <a href="mailto:Shijie.Lin@irif.fr" class="mail" title="Shijie.Lin@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> </td><td class="col6"> <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="row17"> <td class="col0"> <a href="https://jeremie-marques.name/" class="urlextern" title="https://jeremie-marques.name/" rel="ugc nofollow"> Marques Jeremie </a> </td><td class="col1"> <a href="mailto:Jeremie.Marques@irif.fr" class="mail" title="Jeremie.Marques@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3028 </td><td class="col4"> Post-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> </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> </td> </tr> <tr class="row18"> <td class="col0"> <a href="https://www.irif.fr/~iamcgham/" class="urlextern" title="https://www.irif.fr/~iamcgham/" rel="ugc nofollow"> Mollo-Cunningham Ignacio-Agustin </a> </td><td class="col1"> <a href="mailto:Ignacio-Agustin.Mollo-Cunningham@irif.fr" class="mail" title="Ignacio-Agustin.Mollo-Cunningham@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3 leftalign"> </td><td class="col4"> Visiteur.euse </td><td class="col5"> <a href="https://www.irif.fr/poles/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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a> </td> </tr> <tr class="row19"> <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="row20"> <td class="col0"> <a href="https://srinidhin.com" class="urlextern" title="https://srinidhin.com" rel="ugc nofollow"> Nagendra Srinidhi </a> </td><td class="col1"> <a href="mailto:Srinidhi.Nagendra@irif.fr" class="mail" title="Srinidhi.Nagendra@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/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/verif/index" class="urlextern" title="https://www.irif.fr/equipes/verif/index" rel="ugc nofollow"> verif </a> </td> </tr> <tr class="row21"> <td class="col0"> <a href="https://www.irif.fr/~nosan/" class="urlextern" title="https://www.irif.fr/~nosan/" rel="ugc nofollow"> Nosan Klara </a> </td><td class="col1"> <a href="mailto:nosan@irif.fr" class="mail" title="nosan@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4031 </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> </td><td class="col6"> <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="row22"> <td class="col0"> <a href="https://www.irif.fr/~passemard/" class="urlextern" title="https://www.irif.fr/~passemard/" rel="ugc nofollow"> Passemard Luc </a> </td><td class="col1"> <a href="mailto:Luc.Passemard@irif.fr" class="mail" title="Luc.Passemard@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/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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a> </td> </tr> <tr class="row23"> <td class="col0"> <a href="https://www.irif.fr/~frenkin/index.php" class="urlextern" title="https://www.irif.fr/~frenkin/index.php" rel="ugc nofollow"> Renkin Florian </a> </td><td class="col1"> <a href="mailto:Florian.Renkin@irif.fr" class="mail" title="Florian.Renkin@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3028 </td><td class="col4"> Post-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> </td><td class="col6"> <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="row24"> <td class="col0"> <a href="https://www.irif.fr/~rogova/" class="urlextern" title="https://www.irif.fr/~rogova/" rel="ugc nofollow"> Rogova Alexandra </a> </td><td class="col1"> <a href="mailto:rogova@irif.fr" class="mail" title="rogova@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3035 </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> </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> </td> </tr> <tr class="row25"> <td class="col0"> <a href="https://www.irif.fr/~calvo/" class="urlextern" title="https://www.irif.fr/~calvo/" rel="ugc nofollow"> Roman-Calvo Enrique </a> </td><td class="col1"> <a href="mailto:Enrique.Roman-Calvo@irif.fr" class="mail" title="Enrique.Roman-Calvo@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/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/verif/index" class="urlextern" title="https://www.irif.fr/equipes/verif/index" rel="ugc nofollow"> verif </a> </td> </tr> <tr class="row26"> <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="row27"> <td class="col0"> <a href="https://www.irif.fr/~vansintjan/" class="urlextern" title="https://www.irif.fr/~vansintjan/" rel="ugc nofollow"> Van Sint Jan Nicolàs </a> </td><td class="col1"> <a href="mailto:nicovsj@irif.fr" class="mail" title="nicovsj@irif.fr">@</a> </td><td class="col2"> 07 68 11 74 69 </td><td class="col3"> 3035 </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> </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> </td> </tr> <tr class="row28"> <td class="col0"> <a href="https://www.irif.fr/~dyilmaz/" class="urlextern" title="https://www.irif.fr/~dyilmaz/" rel="ugc nofollow"> Yilmaz Deniz </a> </td><td class="col1"> <a href="mailto:Deniz.Yilmaz@irif.fr" class="mail" title="Deniz.Yilmaz@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/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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a> </td> </tr> <tr class="row29"> <td class="col0"> <a href="https://www.irif.fr/~mzhang/" class="urlextern" title="https://www.irif.fr/~mzhang/" rel="ugc nofollow"> Zhang Maryline </a> </td><td class="col1"> <a href="mailto:Maryline.Zhang@irif.fr" class="mail" title="Maryline.Zhang@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4057 </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> </td><td class="col6"> <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> </table></div> </div> </div> </div> <div class="level4"> </div> </div></div><p> <style> .page a.urlextern, .page a.interwiki, .page a.windows, .page a.mail, .page a.media { padding-left: 0 !important; background: none !important; } .page { text-align: justify; } body {font-size: 15px; font-weight: 300; color: #333333; } b,strong {font-weight: 600; color: #333333; } p {margin-bottom:1.3em} h1 {font-size: 2.8em; margin-bottom:1.5em; font-weight: 400; } h2 {font-size: 2.2em; margin-bottom:1.2em; font-weight: 400; } h3 {font-size: 1.9em; margin-bottom:0.9em; font-weight: 400; } h4 {font-size: 1.7em; margin-bottom:0.8em; font-weight: 300; } h5 {font-size: 1.5em; margin-bottom:0.8em; font-weight: 300; } h5 {font-size: 1.4em; margin-bottom:0.8em; font-weight: 300; } </style> </p> </div> </div> <div class="small text-right"> </div> </article> </div> </main> <footer id="dw__footer" class="dw-container py-5 dokuwiki container-fluid">  <div class="dw-container small container-fluid mx-5"> <div class="footer-dw-title"> <div class="media"> <div class="media-left">  <img src="https://www.irif.fr/_media/logo_footer.png" alt="" class="media-object" style="height:10px" /> </div> <div class="media-body"> <div class="row"> <div class="col-sm-2"> <h4 class="media-heading"></h4> <p> </p> </div> <div class="col-sm-10"> </div> </div> </div> </div> </div> <a style="font-size:12px" href="https://www.irif.fr/informations/mentions-legales">Mentions légales</a> <div class="footer-license row"> <hr/> <div id="dw__license" class="col-sm-6"> </div> <div class="col-sm-6"> </div> </div> </div>  </footer> <a href="#dokuwiki__top" class="back-to-top hidden-print btn btn-default" title="Aller au contenu" accesskey="t"> <span class="iconify" data-icon="mdi:chevron-up"></span> </a> <div id="screen__mode"> <span class="visible-xs-block"></span> <span class="visible-sm-block"></span> <span class="visible-md-block"></span> <span class="visible-lg-block"></span> </div> <img src="https://www.irif.fr/lib/exe/taskrunner.php?id=poles%3Aasv%3Aindex&1732402869" width="2" height="1" alt="" /> </div> </body> </html>

CINXE.COM

Automates, structures et vérification