CINXE.COM

<!DOCTYPE html> <html class="client-nojs vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-sticky-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-enabled skin-theme-clientpref-day vector-toc-available" lang="fr" dir="ltr"> <head> <meta charset="UTF-8"> <title>International Colloquium on Automata, Languages and Programming — Wikipédia</title> <script>(function(){var className="client-js vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-sticky-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-enabled skin-theme-clientpref-day vector-toc-available";var cookie=document.cookie.match(/(?:^|; )frwikimwclientpreferences=([^;]+)/);if(cookie){cookie[1].split('%2C').forEach(function(pref){className=className.replace(new RegExp('(^| )'+pref.replace(/-clientpref-\w+$|[^\w-]+/g,'')+'-clientpref-\\w+( |$)'),'$1'+pref+'$2');});}document.documentElement.className=className;}());RLCONF={"wgBreakFrames":false,"wgSeparatorTransformTable":[",\t."," \t,"],"wgDigitTransformTable":["",""], "wgDefaultDateFormat":"dmy","wgMonthNames":["","janvier","février","mars","avril","mai","juin","juillet","août","septembre","octobre","novembre","décembre"],"wgRequestId":"102bb576-3cf9-40c7-a7eb-2103234e9c01","wgCanonicalNamespace":"","wgCanonicalSpecialPageName":false,"wgNamespaceNumber":0,"wgPageName":"International_Colloquium_on_Automata,_Languages_and_Programming","wgTitle":"International Colloquium on Automata, Languages and Programming","wgCurRevisionId":220177098,"wgRevisionId":220177098,"wgArticleId":9786899,"wgIsArticle":true,"wgIsRedirect":false,"wgAction":"view","wgUserName":null,"wgUserGroups":["*"],"wgCategories":["Article à illustrer Événement","Page géolocalisable sans coordonnées paramétrées","Article utilisant une Infobox","Portail:Informatique théorique/Articles liés","Portail:Informatique/Articles liés","Projet:Mathématiques/Articles","Portail:Recherche scientifique/Articles liés","Portail:Sciences/Articles liés", "Conférence en informatique théorique"],"wgPageViewLanguage":"fr","wgPageContentLanguage":"fr","wgPageContentModel":"wikitext","wgRelevantPageName":"International_Colloquium_on_Automata,_Languages_and_Programming","wgRelevantArticleId":9786899,"wgIsProbablyEditable":true,"wgRelevantPageIsProbablyEditable":true,"wgRestrictionEdit":[],"wgRestrictionMove":[],"wgNoticeProject":"wikipedia","wgCiteReferencePreviewsActive":true,"wgMediaViewerOnClick":true,"wgMediaViewerEnabledByDefault":true,"wgPopupsFlags":0,"wgVisualEditor":{"pageLanguageCode":"fr","pageLanguageDir":"ltr","pageVariantFallbacks":"fr"},"wgMFDisplayWikibaseDescriptions":{"search":true,"watchlist":true,"tagline":true,"nearby":true},"wgWMESchemaEditAttemptStepOversample":false,"wgWMEPageLength":10000,"wgRelatedArticlesCompat":[],"wgCentralAuthMobileDomain":false,"wgEditSubmitButtonLabelPublish":true,"wgULSPosition":"interlanguage","wgULSisCompactLinksEnabled":false,"wgVector2022LanguageInHeader":true, "wgULSisLanguageSelectorEmpty":false,"wgWikibaseItemId":"Q6049376","wgCheckUserClientHintsHeadersJsApi":["brands","architecture","bitness","fullVersionList","mobile","model","platform","platformVersion"],"GEHomepageSuggestedEditsEnableTopics":true,"wgGETopicsMatchModeEnabled":false,"wgGEStructuredTaskRejectionReasonTextInputEnabled":false,"wgGELevelingUpEnabledForUser":false};RLSTATE={"ext.globalCssJs.user.styles":"ready","site.styles":"ready","user.styles":"ready","ext.globalCssJs.user":"ready","user":"ready","user.options":"loading","ext.cite.styles":"ready","skins.vector.search.codex.styles":"ready","skins.vector.styles":"ready","skins.vector.icons":"ready","ext.wikimediamessages.styles":"ready","ext.visualEditor.desktopArticleTarget.noscript":"ready","ext.uls.interlanguage":"ready","wikibase.client.init":"ready","ext.wikimediaBadges":"ready"};RLPAGEMODULES=["ext.cite.ux-enhancements","site","mediawiki.page.ready","mediawiki.toc","skins.vector.js","ext.centralNotice.geoIP", "ext.centralNotice.startUp","ext.gadget.ArchiveLinks","ext.gadget.Wdsearch","ext.urlShortener.toolbar","ext.centralauth.centralautologin","mmv.bootstrap","ext.popups","ext.visualEditor.desktopArticleTarget.init","ext.visualEditor.targetLoader","ext.echo.centralauth","ext.eventLogging","ext.wikimediaEvents","ext.navigationTiming","ext.uls.interface","ext.cx.eventlogging.campaigns","ext.cx.uls.quick.actions","wikibase.client.vector-2022","ext.checkUser.clientHints","ext.growthExperiments.SuggestedEditSession","wikibase.sidebar.tracking"];</script> <script>(RLQ=window.RLQ||[]).push(function(){mw.loader.impl(function(){return["user.options@12s5i",function($,jQuery,require,module){mw.user.tokens.set({"patrolToken":"+\\","watchToken":"+\\","csrfToken":"+\\"}); }];});});</script> <link rel="stylesheet" href="/w/load.php?lang=fr&modules=ext.cite.styles%7Cext.uls.interlanguage%7Cext.visualEditor.desktopArticleTarget.noscript%7Cext.wikimediaBadges%7Cext.wikimediamessages.styles%7Cskins.vector.icons%2Cstyles%7Cskins.vector.search.codex.styles%7Cwikibase.client.init&only=styles&skin=vector-2022"> <script async="" src="/w/load.php?lang=fr&modules=startup&only=scripts&raw=1&skin=vector-2022"></script> <meta name="ResourceLoaderDynamicStyles" content=""> <link rel="stylesheet" href="/w/load.php?lang=fr&modules=site.styles&only=styles&skin=vector-2022"> <meta name="generator" content="MediaWiki 1.44.0-wmf.4"> <meta name="referrer" content="origin"> <meta name="referrer" content="origin-when-cross-origin"> <meta name="robots" content="max-image-preview:standard"> <meta name="format-detection" content="telephone=no"> <meta name="viewport" content="width=1120"> <meta property="og:title" content="International Colloquium on Automata, Languages and Programming — Wikipédia"> <meta property="og:type" content="website"> <link rel="preconnect" href="//upload.wikimedia.org"> <link rel="alternate" media="only screen and (max-width: 640px)" href="//fr.m.wikipedia.org/wiki/International_Colloquium_on_Automata,_Languages_and_Programming"> <link rel="alternate" type="application/x-wiki" title="Modifier" href="/w/index.php?title=International_Colloquium_on_Automata,_Languages_and_Programming&action=edit"> <link rel="apple-touch-icon" href="/static/apple-touch/wikipedia.png"> <link rel="icon" href="/static/favicon/wikipedia.ico"> <link rel="search" type="application/opensearchdescription+xml" href="/w/rest.php/v1/search" title="Wikipédia (fr)"> <link rel="EditURI" type="application/rsd+xml" href="//fr.wikipedia.org/w/api.php?action=rsd"> <link rel="canonical" href="https://fr.wikipedia.org/wiki/International_Colloquium_on_Automata,_Languages_and_Programming"> <link rel="license" href="https://creativecommons.org/licenses/by-sa/4.0/deed.fr"> <link rel="alternate" type="application/atom+xml" title="Flux Atom de Wikipédia" href="/w/index.php?title=Sp%C3%A9cial:Modifications_r%C3%A9centes&feed=atom"> <link rel="dns-prefetch" href="//meta.wikimedia.org" /> <link rel="dns-prefetch" href="//login.wikimedia.org"> </head> <body class="skin--responsive skin-vector skin-vector-search-vue mediawiki ltr sitedir-ltr mw-hide-empty-elt ns-0 ns-subject mw-editable page-International_Colloquium_on_Automata_Languages_and_Programming rootpage-International_Colloquium_on_Automata_Languages_and_Programming skin-vector-2022 action-view"><a class="mw-jump-link" href="#bodyContent">Aller au contenu</a> <div class="vector-header-container"> <header class="vector-header mw-header"> <div class="vector-header-start"> <nav class="vector-main-menu-landmark" aria-label="Site"> <div id="vector-main-menu-dropdown" class="vector-dropdown vector-main-menu-dropdown vector-button-flush-left vector-button-flush-right" > <input type="checkbox" id="vector-main-menu-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-main-menu-dropdown" class="vector-dropdown-checkbox " aria-label="Menu principal" > <label id="vector-main-menu-dropdown-label" for="vector-main-menu-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-menu mw-ui-icon-wikimedia-menu"></span> <span class="vector-dropdown-label-text">Menu principal</span> </label> <div class="vector-dropdown-content"> <div id="vector-main-menu-unpinned-container" class="vector-unpinned-container"> <div id="vector-main-menu" class="vector-main-menu vector-pinnable-element"> <div class="vector-pinnable-header vector-main-menu-pinnable-header vector-pinnable-header-unpinned" data-feature-name="main-menu-pinned" data-pinnable-element-id="vector-main-menu" data-pinned-container-id="vector-main-menu-pinned-container" data-unpinned-container-id="vector-main-menu-unpinned-container" > <div class="vector-pinnable-header-label">Menu principal</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-main-menu.pin">déplacer vers la barre latérale</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-main-menu.unpin">masquer</button> </div> <div id="p-navigation" class="vector-menu mw-portlet mw-portlet-navigation" > <div class="vector-menu-heading"> Navigation </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-mainpage-description" class="mw-list-item"><a href="/wiki/Wikip%C3%A9dia:Accueil_principal" title="Accueil général [z]" accesskey="z"><span>Accueil</span></a></li><li id="n-thema" class="mw-list-item"><a href="/wiki/Portail:Accueil"><span>Portails thématiques</span></a></li><li id="n-randompage" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Page_au_hasard" title="Affiche un article au hasard [x]" accesskey="x"><span>Article au hasard</span></a></li><li id="n-contact" class="mw-list-item"><a href="/wiki/Wikip%C3%A9dia:Contact"><span>Contact</span></a></li> </ul> </div> </div> <div id="p-Contribuer" class="vector-menu mw-portlet mw-portlet-Contribuer" > <div class="vector-menu-heading"> Contribuer </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-aboutwp" class="mw-list-item"><a href="/wiki/Aide:D%C3%A9buter"><span>Débuter sur Wikipédia</span></a></li><li id="n-help" class="mw-list-item"><a href="/wiki/Aide:Accueil" title="Accès à l’aide"><span>Aide</span></a></li><li id="n-portal" class="mw-list-item"><a href="/wiki/Wikip%C3%A9dia:Accueil_de_la_communaut%C3%A9" title="À propos du projet, ce que vous pouvez faire, où trouver les informations"><span>Communauté</span></a></li><li id="n-recentchanges" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Modifications_r%C3%A9centes" title="Liste des modifications récentes sur le wiki [r]" accesskey="r"><span>Modifications récentes</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> <a href="/wiki/Wikip%C3%A9dia:Accueil_principal" class="mw-logo"> <img class="mw-logo-icon" src="/static/images/icons/wikipedia.png" alt="" aria-hidden="true" height="50" width="50"> <span class="mw-logo-container skin-invert"> <img class="mw-logo-wordmark" alt="Wikipédia" src="/static/images/mobile/copyright/wikipedia-wordmark-fr.svg" style="width: 7.4375em; height: 1.125em;"> <img class="mw-logo-tagline" alt="l'encyclopédie libre" src="/static/images/mobile/copyright/wikipedia-tagline-fr.svg" width="120" height="13" style="width: 7.5em; height: 0.8125em;"> </span> </a> </div> <div class="vector-header-end"> <div id="p-search" role="search" class="vector-search-box-vue vector-search-box-collapses vector-search-box-show-thumbnail vector-search-box-auto-expand-width vector-search-box"> <a href="/wiki/Sp%C3%A9cial:Recherche" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only search-toggle" title="Rechercher sur Wikipédia [f]" accesskey="f"><span class="vector-icon mw-ui-icon-search mw-ui-icon-wikimedia-search"></span> <span>Rechercher</span> </a> <div class="vector-typeahead-search-container"> <div class="cdx-typeahead-search cdx-typeahead-search--show-thumbnail cdx-typeahead-search--auto-expand-width"> <form action="/w/index.php" id="searchform" class="cdx-search-input cdx-search-input--has-end-button"> <div id="simpleSearch" class="cdx-search-input__input-wrapper" data-search-loc="header-moved"> <div class="cdx-text-input cdx-text-input--has-start-icon"> <input class="cdx-text-input__input" type="search" name="search" placeholder="Rechercher sur Wikipédia" aria-label="Rechercher sur Wikipédia" autocapitalize="sentences" title="Rechercher sur Wikipédia [f]" accesskey="f" id="searchInput" > <span class="cdx-text-input__icon cdx-text-input__start-icon"></span> </div> <input type="hidden" name="title" value="Spécial:Recherche"> </div> <button class="cdx-button cdx-search-input__end-button">Rechercher</button> </form> </div> </div> </div> <nav class="vector-user-links vector-user-links-wide" aria-label="Outils personnels"> <div class="vector-user-links-main"> <div id="p-vector-user-menu-preferences" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <div id="p-vector-user-menu-userpage" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <nav class="vector-appearance-landmark" aria-label="Apparence"> <div id="vector-appearance-dropdown" class="vector-dropdown " title="Modifier l'apparence de la taille, de la largeur et de la couleur de la police de la page" > <input type="checkbox" id="vector-appearance-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-appearance-dropdown" class="vector-dropdown-checkbox " aria-label="Apparence" > <label id="vector-appearance-dropdown-label" for="vector-appearance-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-appearance mw-ui-icon-wikimedia-appearance"></span> <span class="vector-dropdown-label-text">Apparence</span> </label> <div class="vector-dropdown-content"> <div id="vector-appearance-unpinned-container" class="vector-unpinned-container"> </div> </div> </div> </nav> <div id="p-vector-user-menu-notifications" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <div id="p-vector-user-menu-overflow" class="vector-menu mw-portlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-sitesupport-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="//donate.wikimedia.org/wiki/Special:FundraiserRedirector?utm_source=donate&utm_medium=sidebar&utm_campaign=C13_fr.wikipedia.org&uselang=fr" class=""><span>Faire un don</span></a> </li> <li id="pt-createaccount-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="/w/index.php?title=Sp%C3%A9cial:Cr%C3%A9er_un_compte&returnto=International+Colloquium+on+Automata%2C+Languages+and+Programming" title="Nous vous encourageons à créer un compte utilisateur et vous connecter ; ce n’est cependant pas obligatoire." class=""><span>Créer un compte</span></a> </li> <li id="pt-login-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="/w/index.php?title=Sp%C3%A9cial:Connexion&returnto=International+Colloquium+on+Automata%2C+Languages+and+Programming" title="Nous vous encourageons à vous connecter ; ce n’est cependant pas obligatoire. [o]" accesskey="o" class=""><span>Se connecter</span></a> </li> </ul> </div> </div> </div> <div id="vector-user-links-dropdown" class="vector-dropdown vector-user-menu vector-button-flush-right vector-user-menu-logged-out" title="Plus d’options" > <input type="checkbox" id="vector-user-links-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-user-links-dropdown" class="vector-dropdown-checkbox " aria-label="Outils personnels" > <label id="vector-user-links-dropdown-label" for="vector-user-links-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-ellipsis mw-ui-icon-wikimedia-ellipsis"></span> <span class="vector-dropdown-label-text">Outils personnels</span> </label> <div class="vector-dropdown-content"> <div id="p-personal" class="vector-menu mw-portlet mw-portlet-personal user-links-collapsible-item" title="Menu utilisateur" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-sitesupport" class="user-links-collapsible-item mw-list-item"><a href="//donate.wikimedia.org/wiki/Special:FundraiserRedirector?utm_source=donate&utm_medium=sidebar&utm_campaign=C13_fr.wikipedia.org&uselang=fr"><span>Faire un don</span></a></li><li id="pt-createaccount" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:Cr%C3%A9er_un_compte&returnto=International+Colloquium+on+Automata%2C+Languages+and+Programming" title="Nous vous encourageons à créer un compte utilisateur et vous connecter ; ce n’est cependant pas obligatoire."><span class="vector-icon mw-ui-icon-userAdd mw-ui-icon-wikimedia-userAdd"></span> <span>Créer un compte</span></a></li><li id="pt-login" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:Connexion&returnto=International+Colloquium+on+Automata%2C+Languages+and+Programming" title="Nous vous encourageons à vous connecter ; ce n’est cependant pas obligatoire. [o]" accesskey="o"><span class="vector-icon mw-ui-icon-logIn mw-ui-icon-wikimedia-logIn"></span> <span>Se connecter</span></a></li> </ul> </div> </div> <div id="p-user-menu-anon-editor" class="vector-menu mw-portlet mw-portlet-user-menu-anon-editor" > <div class="vector-menu-heading"> Pages pour les contributeurs déconnectés <a href="/wiki/Aide:Premiers_pas" aria-label="En savoir plus sur la contribution"><span>en savoir plus</span></a> </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-anoncontribs" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Mes_contributions" title="Une liste des modifications effectuées depuis cette adresse IP [y]" accesskey="y"><span>Contributions</span></a></li><li id="pt-anontalk" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Mes_discussions" title="La page de discussion pour les contributions depuis cette adresse IP [n]" accesskey="n"><span>Discussion</span></a></li> </ul> </div> </div> </div> </div> </nav> </div> </header> </div> <div class="mw-page-container"> <div class="mw-page-container-inner"> <div class="vector-sitenotice-container"> <div id="siteNotice"></div> </div> <div class="vector-column-start"> <div class="vector-main-menu-container"> <div id="mw-navigation"> <nav id="mw-panel" class="vector-main-menu-landmark" aria-label="Site"> <div id="vector-main-menu-pinned-container" class="vector-pinned-container"> </div> </nav> </div> </div> <div class="vector-sticky-pinned-container"> <nav id="mw-panel-toc" aria-label="Sommaire" data-event-name="ui.sidebar-toc" class="mw-table-of-contents-container vector-toc-landmark"> <div id="vector-toc-pinned-container" class="vector-pinned-container"> <div id="vector-toc" class="vector-toc vector-pinnable-element"> <div class="vector-pinnable-header vector-toc-pinnable-header vector-pinnable-header-pinned" data-feature-name="toc-pinned" data-pinnable-element-id="vector-toc" > <h2 class="vector-pinnable-header-label">Sommaire</h2> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-toc.pin">déplacer vers la barre latérale</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-toc.unpin">masquer</button> </div> <ul class="vector-toc-contents" id="mw-panel-toc-list"> <li id="toc-mw-content-text" class="vector-toc-list-item vector-toc-level-1"> <a href="#" class="vector-toc-link"> <div class="vector-toc-text">Début</div> </a> </li> <li id="toc-Organisation" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Organisation"> <div class="vector-toc-text"> <span class="vector-toc-numb">1</span> <span>Organisation</span> </div> </a> <button aria-controls="toc-Organisation-sublist" class="cdx-button cdx-button--weight-quiet cdx-button--icon-only vector-toc-toggle"> <span class="vector-icon mw-ui-icon-wikimedia-expand"></span> <span>Afficher / masquer la sous-section Organisation</span> </button> <ul id="toc-Organisation-sublist" class="vector-toc-list"> <li id="toc-Publication_des_actes" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Publication_des_actes"> <div class="vector-toc-text"> <span class="vector-toc-numb">1.1</span> <span>Publication des actes</span> </div> </a> <ul id="toc-Publication_des_actes-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Thématique" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Thématique"> <div class="vector-toc-text"> <span class="vector-toc-numb">1.2</span> <span>Thématique</span> </div> </a> <ul id="toc-Thématique-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Les_colloques_récents" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Les_colloques_récents"> <div class="vector-toc-text"> <span class="vector-toc-numb">1.3</span> <span>Les colloques récents</span> </div> </a> <ul id="toc-Les_colloques_récents-sublist" class="vector-toc-list"> </ul> </li> </ul> </li> <li id="toc-Notoriété" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Notoriété"> <div class="vector-toc-text"> <span class="vector-toc-numb">2</span> <span>Notoriété</span> </div> </a> <ul id="toc-Notoriété-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Prix" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Prix"> <div class="vector-toc-text"> <span class="vector-toc-numb">3</span> <span>Prix</span> </div> </a> <ul id="toc-Prix-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Notes_et_références" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Notes_et_références"> <div class="vector-toc-text"> <span class="vector-toc-numb">4</span> <span>Notes et références</span> </div> </a> <button aria-controls="toc-Notes_et_références-sublist" class="cdx-button cdx-button--weight-quiet cdx-button--icon-only vector-toc-toggle"> <span class="vector-icon mw-ui-icon-wikimedia-expand"></span> <span>Afficher / masquer la sous-section Notes et références</span> </button> <ul id="toc-Notes_et_références-sublist" class="vector-toc-list"> <li id="toc-Bibliographie" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Bibliographie"> <div class="vector-toc-text"> <span class="vector-toc-numb">4.1</span> <span>Bibliographie</span> </div> </a> <ul id="toc-Bibliographie-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Article_lié" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Article_lié"> <div class="vector-toc-text"> <span class="vector-toc-numb">4.2</span> <span>Article lié</span> </div> </a> <ul id="toc-Article_lié-sublist" class="vector-toc-list"> </ul> </li> </ul> </li> </ul> </div> </div> </nav> </div> </div> <div class="mw-content-container"> <main id="content" class="mw-body"> <header class="mw-body-header vector-page-titlebar"> <nav aria-label="Sommaire" class="vector-toc-landmark"> <div id="vector-page-titlebar-toc" class="vector-dropdown vector-page-titlebar-toc vector-button-flush-left" > <input type="checkbox" id="vector-page-titlebar-toc-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-page-titlebar-toc" class="vector-dropdown-checkbox " aria-label="Basculer la table des matières" > <label id="vector-page-titlebar-toc-label" for="vector-page-titlebar-toc-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-listBullet mw-ui-icon-wikimedia-listBullet"></span> <span class="vector-dropdown-label-text">Basculer la table des matières</span> </label> <div class="vector-dropdown-content"> <div id="vector-page-titlebar-toc-unpinned-container" class="vector-unpinned-container"> </div> </div> </div> </nav> <h1 id="firstHeading" class="firstHeading mw-first-heading"><i>International Colloquium on Automata, Languages and Programming</i></h1> <div id="p-lang-btn" class="vector-dropdown mw-portlet mw-portlet-lang" > <input type="checkbox" id="p-lang-btn-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-p-lang-btn" class="vector-dropdown-checkbox mw-interlanguage-selector" aria-label="Aller à un article dans une autre langue. Disponible en 1 langue." > <label id="p-lang-btn-label" for="p-lang-btn-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--action-progressive mw-portlet-lang-heading-1" aria-hidden="true" ><span class="vector-icon mw-ui-icon-language-progressive mw-ui-icon-wikimedia-language-progressive"></span> <span class="vector-dropdown-label-text">1 langue</span> </label> <div class="vector-dropdown-content"> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li class="interlanguage-link interwiki-en mw-list-item"><a href="https://en.wikipedia.org/wiki/International_Colloquium_on_Automata,_Languages_and_Programming" title="International Colloquium on Automata, Languages and Programming – anglais" lang="en" hreflang="en" data-title="International Colloquium on Automata, Languages and Programming" data-language-autonym="English" data-language-local-name="anglais" class="interlanguage-link-target"><span>English</span></a></li> </ul> <div class="after-portlet after-portlet-lang"><span class="wb-langlinks-edit wb-langlinks-link"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q6049376#sitelinks-wikipedia" title="Modifier les liens interlangues" class="wbc-editpage">Modifier les liens</a></span></div> </div> </div> </div> </header> <div class="vector-page-toolbar"> <div class="vector-page-toolbar-container"> <div id="left-navigation"> <nav aria-label="Espaces de noms"> <div id="p-associated-pages" class="vector-menu vector-menu-tabs mw-portlet mw-portlet-associated-pages" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-nstab-main" class="selected vector-tab-noicon mw-list-item"><a href="/wiki/International_Colloquium_on_Automata,_Languages_and_Programming" title="Voir le contenu de la page [c]" accesskey="c"><span>Article</span></a></li><li id="ca-talk" class="vector-tab-noicon mw-list-item"><a href="/wiki/Discussion:International_Colloquium_on_Automata,_Languages_and_Programming" rel="discussion" title="Discussion au sujet de cette page de contenu [t]" accesskey="t"><span>Discussion</span></a></li> </ul> </div> </div> <div id="vector-variants-dropdown" class="vector-dropdown emptyPortlet" > <input type="checkbox" id="vector-variants-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-variants-dropdown" class="vector-dropdown-checkbox " aria-label="Modifier la variante de langue" > <label id="vector-variants-dropdown-label" for="vector-variants-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet" aria-hidden="true" ><span class="vector-dropdown-label-text">français</span> </label> <div class="vector-dropdown-content"> <div id="p-variants" class="vector-menu mw-portlet mw-portlet-variants emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> </div> </div> </nav> </div> <div id="right-navigation" class="vector-collapsible"> <nav aria-label="Affichages"> <div id="p-views" class="vector-menu vector-menu-tabs mw-portlet mw-portlet-views" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-view" class="selected vector-tab-noicon mw-list-item"><a href="/wiki/International_Colloquium_on_Automata,_Languages_and_Programming"><span>Lire</span></a></li><li id="ca-ve-edit" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=International_Colloquium_on_Automata,_Languages_and_Programming&veaction=edit" title="Modifier cette page [v]" accesskey="v"><span>Modifier</span></a></li><li id="ca-edit" class="collapsible vector-tab-noicon mw-list-item"><a href="/w/index.php?title=International_Colloquium_on_Automata,_Languages_and_Programming&action=edit" title="Modifier le wikicode de cette page [e]" accesskey="e"><span>Modifier le code</span></a></li><li id="ca-history" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=International_Colloquium_on_Automata,_Languages_and_Programming&action=history" title="Historique des versions de cette page [h]" accesskey="h"><span>Voir l’historique</span></a></li> </ul> </div> </div> </nav> <nav class="vector-page-tools-landmark" aria-label="Outils de la page"> <div id="vector-page-tools-dropdown" class="vector-dropdown vector-page-tools-dropdown" > <input type="checkbox" id="vector-page-tools-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-page-tools-dropdown" class="vector-dropdown-checkbox " aria-label="Outils" > <label id="vector-page-tools-dropdown-label" for="vector-page-tools-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet" aria-hidden="true" ><span class="vector-dropdown-label-text">Outils</span> </label> <div class="vector-dropdown-content"> <div id="vector-page-tools-unpinned-container" class="vector-unpinned-container"> <div id="vector-page-tools" class="vector-page-tools vector-pinnable-element"> <div class="vector-pinnable-header vector-page-tools-pinnable-header vector-pinnable-header-unpinned" data-feature-name="page-tools-pinned" data-pinnable-element-id="vector-page-tools" data-pinned-container-id="vector-page-tools-pinned-container" data-unpinned-container-id="vector-page-tools-unpinned-container" > <div class="vector-pinnable-header-label">Outils</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-page-tools.pin">déplacer vers la barre latérale</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-page-tools.unpin">masquer</button> </div> <div id="p-cactions" class="vector-menu mw-portlet mw-portlet-cactions emptyPortlet vector-has-collapsible-items" title="Plus d’options" > <div class="vector-menu-heading"> Actions </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-more-view" class="selected vector-more-collapsible-item mw-list-item"><a href="/wiki/International_Colloquium_on_Automata,_Languages_and_Programming"><span>Lire</span></a></li><li id="ca-more-ve-edit" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=International_Colloquium_on_Automata,_Languages_and_Programming&veaction=edit" title="Modifier cette page [v]" accesskey="v"><span>Modifier</span></a></li><li id="ca-more-edit" class="collapsible vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=International_Colloquium_on_Automata,_Languages_and_Programming&action=edit" title="Modifier le wikicode de cette page [e]" accesskey="e"><span>Modifier le code</span></a></li><li id="ca-more-history" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=International_Colloquium_on_Automata,_Languages_and_Programming&action=history"><span>Voir l’historique</span></a></li> </ul> </div> </div> <div id="p-tb" class="vector-menu mw-portlet mw-portlet-tb" > <div class="vector-menu-heading"> Général </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="t-whatlinkshere" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Pages_li%C3%A9es/International_Colloquium_on_Automata,_Languages_and_Programming" title="Liste des pages liées qui pointent sur celle-ci [j]" accesskey="j"><span>Pages liées</span></a></li><li id="t-recentchangeslinked" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Suivi_des_liens/International_Colloquium_on_Automata,_Languages_and_Programming" rel="nofollow" title="Liste des modifications récentes des pages appelées par celle-ci [k]" accesskey="k"><span>Suivi des pages liées</span></a></li><li id="t-upload" class="mw-list-item"><a href="/wiki/Aide:Importer_un_fichier" title="Téléverser des fichiers [u]" accesskey="u"><span>Téléverser un fichier</span></a></li><li id="t-specialpages" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Pages_sp%C3%A9ciales" title="Liste de toutes les pages spéciales [q]" accesskey="q"><span>Pages spéciales</span></a></li><li id="t-permalink" class="mw-list-item"><a href="/w/index.php?title=International_Colloquium_on_Automata,_Languages_and_Programming&oldid=220177098" title="Adresse permanente de cette version de cette page"><span>Lien permanent</span></a></li><li id="t-info" class="mw-list-item"><a href="/w/index.php?title=International_Colloquium_on_Automata,_Languages_and_Programming&action=info" title="Davantage d’informations sur cette page"><span>Informations sur la page</span></a></li><li id="t-cite" class="mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:Citer&page=International_Colloquium_on_Automata%2C_Languages_and_Programming&id=220177098&wpFormIdentifier=titleform" title="Informations sur la manière de citer cette page"><span>Citer cette page</span></a></li><li id="t-urlshortener" class="mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:UrlShortener&url=https%3A%2F%2Ffr.wikipedia.org%2Fwiki%2FInternational_Colloquium_on_Automata%2C_Languages_and_Programming"><span>Obtenir l'URL raccourcie</span></a></li><li id="t-urlshortener-qrcode" class="mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:QrCode&url=https%3A%2F%2Ffr.wikipedia.org%2Fwiki%2FInternational_Colloquium_on_Automata%2C_Languages_and_Programming"><span>Télécharger le code QR</span></a></li> </ul> </div> </div> <div id="p-coll-print_export" class="vector-menu mw-portlet mw-portlet-coll-print_export" > <div class="vector-menu-heading"> Imprimer / exporter </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="coll-create_a_book" class="mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:Livre&bookcmd=book_creator&referer=International+Colloquium+on+Automata%2C+Languages+and+Programming"><span>Créer un livre</span></a></li><li id="coll-download-as-rl" class="mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:DownloadAsPdf&page=International_Colloquium_on_Automata%2C_Languages_and_Programming&action=show-download-screen"><span>Télécharger comme PDF</span></a></li><li id="t-print" class="mw-list-item"><a href="/w/index.php?title=International_Colloquium_on_Automata,_Languages_and_Programming&printable=yes" title="Version imprimable de cette page [p]" accesskey="p"><span>Version imprimable</span></a></li> </ul> </div> </div> <div id="p-wikibase-otherprojects" class="vector-menu mw-portlet mw-portlet-wikibase-otherprojects" > <div class="vector-menu-heading"> Dans d’autres projets </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="t-wikibase" class="wb-otherproject-link wb-otherproject-wikibase-dataitem mw-list-item"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q6049376" title="Lien vers l’élément dans le dépôt de données connecté [g]" accesskey="g"><span>Élément Wikidata</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> </div> </div> </div> <div class="vector-column-end"> <div class="vector-sticky-pinned-container"> <nav class="vector-page-tools-landmark" aria-label="Outils de la page"> <div id="vector-page-tools-pinned-container" class="vector-pinned-container"> </div> </nav> <nav class="vector-appearance-landmark" aria-label="Apparence"> <div id="vector-appearance-pinned-container" class="vector-pinned-container"> <div id="vector-appearance" class="vector-appearance vector-pinnable-element"> <div class="vector-pinnable-header vector-appearance-pinnable-header vector-pinnable-header-pinned" data-feature-name="appearance-pinned" data-pinnable-element-id="vector-appearance" data-pinned-container-id="vector-appearance-pinned-container" data-unpinned-container-id="vector-appearance-unpinned-container" > <div class="vector-pinnable-header-label">Apparence</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-appearance.pin">déplacer vers la barre latérale</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-appearance.unpin">masquer</button> </div> </div> </div> </nav> </div> </div> <div id="bodyContent" class="vector-body" aria-labelledby="firstHeading" data-mw-ve-target-container> <div class="vector-body-before-content"> <div class="mw-indicators"> </div> <div id="siteSub" class="noprint">Un article de Wikipédia, l'encyclopédie libre.</div> </div> <div id="contentSub"><div id="mw-content-subtitle"></div></div> <div id="mw-content-text" class="mw-body-content"><div class="mw-content-ltr mw-parser-output" lang="fr" dir="ltr"><p class="mw-empty-elt"> </p> <table class="infobox_v2 infobox infobox--frwiki noarchive"> <tbody><tr> <td colspan="2" class="entete defaut" style="background-color:#1290CB;color:#000;"><i>International Colloquium on Automata, Languages and Programming</i> (ICALP) </td></tr> <tr><td colspan="2" style="display:none;"> </td></tr> <tr> <th scope="row">Type </th> <td>Conférence académique </td> </tr> <tr> <th scope="row">Création </th> <td>1972 </td> </tr> <tr> <th scope="row">Localisation </th> <td>villes variées en Europe </td> </tr> <tr> <th scope="row">Organisateur </th> <td><a href="/wiki/European_Association_for_Theoretical_Computer_Science" title="European Association for Theoretical Computer Science">European Association for Theoretical Computer Science</a> </td> </tr> <tr> <th scope="row">Date </th> <td>annuelle depuis 1976 </td> </tr> <tr> <th scope="row">Site web </th> <td><a rel="nofollow" class="external free" href="http://eatcs.org/index.php/conferences">http://eatcs.org/index.php/conferences</a> </td> </tr> <tr> <td class="navigation-only" colspan="2" style="border-top: 2px #1290CB solid; font-size: 80%; background:inherit; text-align: right;"><span class="plainlinks" style="float:left;"><a class="external text" href="https://fr.wikipedia.org/w/index.php?title=International_Colloquium_on_Automata,_Languages_and_Programming&action=edit&section=0"><span class="infodoc">modifier</span></a></span> <span typeof="mw:File"><a href="/wiki/Mod%C3%A8le:Infobox_%C3%89v%C3%A9nement" title="Consultez la documentation du modèle"><img alt="" src="//upload.wikimedia.org/wikipedia/commons/thumb/3/38/Info_Simple.svg/12px-Info_Simple.svg.png" decoding="async" width="12" height="12" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/3/38/Info_Simple.svg/18px-Info_Simple.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/3/38/Info_Simple.svg/24px-Info_Simple.svg.png 2x" data-file-width="512" data-file-height="512" /></a></span></td> </tr> </tbody></table> <p><i><b>International Colloquium on Automata, Languages and Programming</b></i> (abrégé en <b>ICALP</b>) est la principale conférence académique européenne en <a href="/wiki/Informatique_th%C3%A9orique" title="Informatique théorique">informatique théorique</a>. Elle est organisée par la <a href="/wiki/European_Association_for_Theoretical_Computer_Science" title="European Association for Theoretical Computer Science">European Association for Theoretical Computer Science</a>, et a lieu annuellement à des endroits variables à travers l'<a href="/wiki/Europe" title="Europe">Europe</a>. </p> <meta property="mw:PageProp/toc" /> <div class="mw-heading mw-heading2"><h2 id="Organisation">Organisation</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=International_Colloquium_on_Automata,_Languages_and_Programming&veaction=edit&section=1" title="Modifier la section : Organisation" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=International_Colloquium_on_Automata,_Languages_and_Programming&action=edit&section=1" title="Modifier le code source de la section : Organisation"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <div class="mw-heading mw-heading3"><h3 id="Publication_des_actes">Publication des actes</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=International_Colloquium_on_Automata,_Languages_and_Programming&veaction=edit&section=2" title="Modifier la section : Publication des actes" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=International_Colloquium_on_Automata,_Languages_and_Programming&action=edit&section=2" title="Modifier le code source de la section : Publication des actes"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>Comme c'est le cas pour la plupart des conférences en informatique théorique, les contributions proposées sont évaluées au préalable par des pairs. Les actes des colloques ont fait l'objet d'une publication dans les <i>Lecture Notes in Computer Science</i> de <a href="/wiki/Springer_Science%2BBusiness_Media" title="Springer Science+Business Media">Springer</a> jusqu'en 2015; à partir de 2016, ils sont publiés par le <a href="/wiki/Leibniz-Zentrum_f%C3%BCr_Informatik" title="Leibniz-Zentrum für Informatik">Leibniz-Zentrum für Informatik</a> dans la collection <i>Leibniz International Proceedings in Informatics</i> (LIPcs)<sup id="cite_ref-1" class="reference"><a href="#cite_note-1"><span class="cite_crochet">[</span>1<span class="cite_crochet">]</span></a></sup><sup class="reference cite_virgule">,</sup><sup id="cite_ref-2" class="reference"><a href="#cite_note-2"><span class="cite_crochet">[</span>2<span class="cite_crochet">]</span></a></sup>. </p><p>La première conférence de la série a eu lieu en 1972 à <a href="/wiki/Paris" title="Paris">Paris</a>, la deuxième en 1974 à <a href="/wiki/Sarrebruck" title="Sarrebruck">Sarrebruck</a>, et à partir de 1976, ICALP est devenu une conférence annuelle qui a traditionnellement lieu mi-juillet. </p> <div class="mw-heading mw-heading3"><h3 id="Thématique"><span id="Th.C3.A9matique"></span>Thématique</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=International_Colloquium_on_Automata,_Languages_and_Programming&veaction=edit&section=3" title="Modifier la section : Thématique" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=International_Colloquium_on_Automata,_Languages_and_Programming&action=edit&section=3" title="Modifier le code source de la section : Thématique"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>La thématique de la conférence était traditionnellement séparé en deux parties, le « track A » <i>Algorithms, Automata, Complexity and Games</i> et le « track B » <i>Semantics, and Theory of Programming</i>. Depuis 2005, une nouvelle partie le « track C » a été ajouté, dont l'intitulé était <i>Security and Cryptography Foundations</i> jusqu'en 2008, et <i>Foundations of Networked Computation: Models, Algorithms and Information Management à partir</i> de 2009. Le « track C » ne figure plus depuis 2020, ses thèmes ont été incorporés au track A. </p><p>Les thèmes abordés au cours des conférences de ICALP récents sont typiquement : <a href="/wiki/Calculabilit%C3%A9" class="mw-redirect" title="Calculabilité">calculabilité</a>, <a href="/wiki/Th%C3%A9orie_des_automates" title="Théorie des automates">théorie des automates</a>, <a href="/wiki/Langage_formel" title="Langage formel">théorie des langages formels</a>, <a href="/wiki/Analyse_d%27algorithmes" class="mw-redirect" title="Analyse d'algorithmes">analyse d'algorithmes</a>, <a href="/wiki/Complexit%C3%A9" title="Complexité">complexité</a> , aspects mathématiques de la définition des <a href="/wiki/Langage_de_programmation" title="Langage de programmation">langages de programmation</a>, logique et <a href="/wiki/S%C3%A9mantique_des_langages_de_programmation" title="Sémantique des langages de programmation">sémantique des langages de programmation</a>, bases de la <a href="/wiki/Programmation_logique" title="Programmation logique">programmation logique</a>, <a href="/wiki/D%C3%A9monstration_automatique" class="mw-redirect" title="Démonstration automatique">démonstration automatique</a>, spécification logicielle, <a href="/wiki/G%C3%A9om%C3%A9trie_algorithmique" title="Géométrie algorithmique">géométrie algorithmique</a>, <a href="/wiki/Type_de_donn%C3%A9es" class="mw-redirect" title="Type de données">types de données</a> et <a href="/wiki/Structure_de_donn%C3%A9es" title="Structure de données">structures de données</a>, <a href="/wiki/Th%C3%A9orie_des_bases_de_donn%C3%A9es" title="Théorie des bases de données">théorie des bases de données</a> et des systèmes à <a href="/wiki/Base_de_connaissances" class="mw-redirect" title="Base de connaissances">bases de connaissances</a>, <a href="/wiki/Cryptographie" title="Cryptographie">cryptographie</a>, structures <a href="/wiki/VLSI" class="mw-redirect" title="VLSI">VLSI</a>, <a href="/wiki/Calcul_parall%C3%A8le" class="mw-redirect" title="Calcul parallèle">calcul parallèle</a> et <a href="/wiki/Calcul_distribu%C3%A9" title="Calcul distribué">calcul distribué</a>, modèles de la <a href="/wiki/Concurrence_(informatique)" class="mw-redirect" title="Concurrence (informatique)">concurrence</a> et de la <a href="/wiki/Robotique" title="Robotique">robotique</a><sup id="cite_ref-3" class="reference"><a href="#cite_note-3"><span class="cite_crochet">[</span>3<span class="cite_crochet">]</span></a></sup>. </p><p>L'importance du colloque se mesure à son audience ; en 2016, 515 articles ont été soumis, le plus haut score jamais atteint<sup id="cite_ref-4" class="reference"><a href="#cite_note-4"><span class="cite_crochet">[</span>4<span class="cite_crochet">]</span></a></sup> : 319 pour le track A, 121 pour le track B, et 75 pour le track C. Parmi ces soumissions, 146 articles ont été sélectionnés pour le programme scientifique. En 2020, il y a eu 470 soumissions pour le track A et 123 pour le track B, 102 ont été acceptées pour track A et 36 pour track B<sup id="cite_ref-5" class="reference"><a href="#cite_note-5"><span class="cite_crochet">[</span>5<span class="cite_crochet">]</span></a></sup>. </p> <div class="mw-heading mw-heading3"><h3 id="Les_colloques_récents"><span id="Les_colloques_r.C3.A9cents"></span>Les colloques récents</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=International_Colloquium_on_Automata,_Languages_and_Programming&veaction=edit&section=4" title="Modifier la section : Les colloques récents" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=International_Colloquium_on_Automata,_Languages_and_Programming&action=edit&section=4" title="Modifier le code source de la section : Les colloques récents"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul><li>2021 <abbr class="abbr" title="Quarante-huitième">48<sup>e</sup></abbr> ICALP<sup id="cite_ref-6" class="reference"><a href="#cite_note-6"><span class="cite_crochet">[</span>6<span class="cite_crochet">]</span></a></sup>, <a href="/wiki/Glasgow" title="Glasgow">Glasgow</a>, 12-16 juillet 2021. Comme la conférence précédente, elle est annoncée comme conférence en ligne</li> <li>2020 <abbr class="abbr" title="Quarante-septième">47<sup>e</sup></abbr> ICALP<sup id="cite_ref-7" class="reference"><a href="#cite_note-7"><span class="cite_crochet">[</span>7<span class="cite_crochet">]</span></a></sup><sup class="reference cite_virgule">,</sup><sup id="cite_ref-8" class="reference"><a href="#cite_note-8"><span class="cite_crochet">[</span>8<span class="cite_crochet">]</span></a></sup>, <a href="/wiki/Sarrebruck" title="Sarrebruck">Sarrebruck</a>, <a href="/wiki/Allemagne" title="Allemagne">Allemagne</a></li> <li>2019 <abbr class="abbr" title="Quarante-sixième">46<sup>e</sup></abbr> ICALP<sup id="cite_ref-9" class="reference"><a href="#cite_note-9"><span class="cite_crochet">[</span>9<span class="cite_crochet">]</span></a></sup>, <a href="/wiki/Patras" title="Patras">Patras</a>, <a href="/wiki/Gr%C3%A8ce" title="Grèce">Grèce</a></li> <li>2018 <abbr class="abbr" title="Quarante-cinquième">45<sup>e</sup></abbr> ICALP<sup id="cite_ref-10" class="reference"><a href="#cite_note-10"><span class="cite_crochet">[</span>10<span class="cite_crochet">]</span></a></sup>, <a href="/wiki/Prague" title="Prague">Prague</a>, <a href="/wiki/Tch%C3%A9quie" title="Tchéquie">Tchéquie</a></li> <li>2017 <abbr class="abbr" title="Quarante-quatrième">44<sup>e</sup></abbr> ICALP<sup id="cite_ref-11" class="reference"><a href="#cite_note-11"><span class="cite_crochet">[</span>11<span class="cite_crochet">]</span></a></sup>, <a href="/wiki/Varsovie" title="Varsovie">Varsovie</a>, <a href="/wiki/Pologne" title="Pologne">Pologne</a></li> <li>2016 <abbr class="abbr" title="Quarante-troisième">43<sup>e</sup></abbr> ICALP<sup id="cite_ref-12" class="reference"><a href="#cite_note-12"><span class="cite_crochet">[</span>12<span class="cite_crochet">]</span></a></sup>, <a href="/wiki/Rome" title="Rome">Rome</a>, <a href="/wiki/Italie" title="Italie">Italie</a></li> <li>2015 <abbr class="abbr" title="Quarante-deuxième">42<sup>e</sup></abbr> ICALP<sup id="cite_ref-13" class="reference"><a href="#cite_note-13"><span class="cite_crochet">[</span>13<span class="cite_crochet">]</span></a></sup>, <a href="/wiki/Kyoto" title="Kyoto">Kyoto</a>, <a href="/wiki/Japon" title="Japon">Japon</a></li> <li>2014 <abbr class="abbr" title="Quarante et unième">41<sup>e</sup></abbr> ICALP<sup id="cite_ref-14" class="reference"><a href="#cite_note-14"><span class="cite_crochet">[</span>14<span class="cite_crochet">]</span></a></sup>, <a href="/wiki/Copenhague" title="Copenhague">Copenhague</a>, <a href="/wiki/Danemark" title="Danemark">Danemark</a></li> <li>2013 <abbr class="abbr" title="Quarantième">40<sup>e</sup></abbr> ICALP<sup id="cite_ref-15" class="reference"><a href="#cite_note-15"><span class="cite_crochet">[</span>15<span class="cite_crochet">]</span></a></sup>, <a href="/wiki/Riga" title="Riga">Riga</a>, <a href="/wiki/Lettonie" title="Lettonie">Lettonie</a></li> <li>2012 <abbr class="abbr" title="Trente-neuvième">39<sup>e</sup></abbr> ICALP<sup id="cite_ref-16" class="reference"><a href="#cite_note-16"><span class="cite_crochet">[</span>16<span class="cite_crochet">]</span></a></sup>, <a href="/wiki/Warwick_(Angleterre)" title="Warwick (Angleterre)">Warwick</a>, <a href="/wiki/Royaume-Uni" title="Royaume-Uni">Royaume-Uni</a></li> <li>2011 <abbr class="abbr" title="Trente-huitième">38<sup>e</sup></abbr> ICALP<sup id="cite_ref-17" class="reference"><a href="#cite_note-17"><span class="cite_crochet">[</span>17<span class="cite_crochet">]</span></a></sup>, <a href="/wiki/Zurich" title="Zurich">Zurich</a>, <a href="/wiki/Suisse" title="Suisse">Suisse</a></li> <li>2010 <abbr class="abbr" title="Trente-septième">37<sup>e</sup></abbr> ICALP<sup id="cite_ref-18" class="reference"><a href="#cite_note-18"><span class="cite_crochet">[</span>18<span class="cite_crochet">]</span></a></sup>, <a href="/wiki/Bordeaux" title="Bordeaux">Bordeaux</a>, <a href="/wiki/France" title="France">France</a></li> <li>2009 <abbr class="abbr" title="Trente-sixième">36<sup>e</sup></abbr> ICALP<sup id="cite_ref-19" class="reference"><a href="#cite_note-19"><span class="cite_crochet">[</span>19<span class="cite_crochet">]</span></a></sup>, <a href="/wiki/Rhodes" title="Rhodes">Rhodes</a>, <a href="/wiki/Gr%C3%A8ce" title="Grèce">Grèce</a></li> <li>2008 <abbr class="abbr" title="Trente-cinquième">35<sup>e</sup></abbr> ICALP<sup id="cite_ref-20" class="reference"><a href="#cite_note-20"><span class="cite_crochet">[</span>20<span class="cite_crochet">]</span></a></sup>, <a href="/wiki/Reykjav%C3%ADk" class="mw-redirect" title="Reykjavík">Reykjavík</a>, <a href="/wiki/Islande" title="Islande">Islande</a></li> <li>2007 <abbr class="abbr" title="Trente-quatrième">34<sup>e</sup></abbr> ICALP<sup id="cite_ref-21" class="reference"><a href="#cite_note-21"><span class="cite_crochet">[</span>21<span class="cite_crochet">]</span></a></sup>, <a href="/wiki/Wroc%C5%82aw" title="Wrocław">Wrocław</a>, <a href="/wiki/Pologne" title="Pologne">Pologne</a></li> <li>2006 <abbr class="abbr" title="Trente-troisième">33<sup>e</sup></abbr> ICALP<sup id="cite_ref-22" class="reference"><a href="#cite_note-22"><span class="cite_crochet">[</span>22<span class="cite_crochet">]</span></a></sup>, <a href="/wiki/Venise" title="Venise">Venise</a>, <a href="/wiki/Italie" title="Italie">Italie</a></li> <li>2005 <abbr class="abbr" title="Trente-deuxième">32<sup>e</sup></abbr> ICALP<sup id="cite_ref-23" class="reference"><a href="#cite_note-23"><span class="cite_crochet">[</span>23<span class="cite_crochet">]</span></a></sup>, <a href="/wiki/Lisbonne" title="Lisbonne">Lisbonne</a>, <a href="/wiki/Portugal" title="Portugal">Portugal</a></li> <li>2004 <abbr class="abbr" title="Trente et unième">31<sup>e</sup></abbr> ICALP<sup id="cite_ref-24" class="reference"><a href="#cite_note-24"><span class="cite_crochet">[</span>24<span class="cite_crochet">]</span></a></sup>, <a href="/wiki/Turku" title="Turku">Turku</a>, <a href="/wiki/Finlande" title="Finlande">Finlande</a></li> <li>1977 <abbr class="abbr" title="Quatrième">4<sup>e</sup></abbr> ICALP<sup id="cite_ref-25" class="reference"><a href="#cite_note-25"><span class="cite_crochet">[</span>25<span class="cite_crochet">]</span></a></sup>, <a href="/wiki/Turku" title="Turku">Turku</a>, <a href="/wiki/Finlande" title="Finlande">Finlande</a></li> <li>1976 <abbr class="abbr" title="Troisième">3<sup>e</sup></abbr> ICALP<sup id="cite_ref-26" class="reference"><a href="#cite_note-26"><span class="cite_crochet">[</span>26<span class="cite_crochet">]</span></a></sup>, <a href="/wiki/%C3%89dimbourg" title="Édimbourg">Édimbourg</a>, <a href="/wiki/Royaume-Uni" title="Royaume-Uni">Royaume-Uni</a></li> <li>1974 <abbr class="abbr" title="Deuxième">2<sup>e</sup></abbr> [ICALP<sup id="cite_ref-27" class="reference"><a href="#cite_note-27"><span class="cite_crochet">[</span>27<span class="cite_crochet">]</span></a></sup>, <a href="/wiki/Sarrebruck" title="Sarrebruck">Sarrebruck</a>, <a href="/wiki/Allemagne" title="Allemagne">Allemagne</a></li> <li>1972 <abbr class="abbr" title="Premier">1<sup>er</sup></abbr> ICALP<sup id="cite_ref-28" class="reference"><a href="#cite_note-28"><span class="cite_crochet">[</span>28<span class="cite_crochet">]</span></a></sup>, <a href="/wiki/Paris" title="Paris">Paris</a>, <a href="/wiki/France" title="France">France</a></li></ul> <div class="mw-heading mw-heading2"><h2 id="Notoriété"><span id="Notori.C3.A9t.C3.A9"></span>Notoriété</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=International_Colloquium_on_Automata,_Languages_and_Programming&veaction=edit&section=5" title="Modifier la section : Notoriété" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=International_Colloquium_on_Automata,_Languages_and_Programming&action=edit&section=5" title="Modifier le code source de la section : Notoriété"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>On peut noter que dans son bulletin hebdomadaire du 15 juillet 2021<sup id="cite_ref-29" class="reference"><a href="#cite_note-29"><span class="cite_crochet">[</span>29<span class="cite_crochet">]</span></a></sup>, le <a href="/wiki/Centre_national_de_la_recherche_scientifique" title="Centre national de la recherche scientifique">CNRS</a> félicite Charles Paperman d'avoir obtenu le prix de la meilleure communication à l'ICALP, montrant ainsi l'importance que cette institution attache à cette conférence vénérable. <a href="/wiki/INRIA" class="mw-redirect" title="INRIA">INRIA</a>, de son côté, dans sa nécrologie de Maurice Nivat<sup id="cite_ref-30" class="reference"><a href="#cite_note-30"><span class="cite_crochet">[</span>30<span class="cite_crochet">]</span></a></sup> insiste sur le rôle essentiel qu'il a eu pour l'informatique fondamentale en créant l'ICALP. L'<a href="/wiki/%C3%89cole_normale_sup%C3%A9rieure_Paris-Saclay" title="École normale supérieure Paris-Saclay">École normale supérieure Paris-Saclay</a> est fière de signaler l'acceptation de la communication d'un de ses élèves<sup id="cite_ref-31" class="reference"><a href="#cite_note-31"><span class="cite_crochet">[</span>31<span class="cite_crochet">]</span></a></sup> à ICALP-2021. </p> <div class="mw-heading mw-heading2"><h2 id="Prix">Prix</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=International_Colloquium_on_Automata,_Languages_and_Programming&veaction=edit&section=6" title="Modifier la section : Prix" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=International_Colloquium_on_Automata,_Languages_and_Programming&action=edit&section=6" title="Modifier le code source de la section : Prix"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <div class="bandeau-container bandeau-section metadata bandeau-niveau-information"><div class="bandeau-cell bandeau-icone-css loupe">Article détaillé : <a href="/wiki/Prix_G%C3%B6del" title="Prix Gödel">Prix Gödel</a>.</div></div> <p>Un certain nombre de prix et de récompenses sont régulièrement décernés lors des conférences annuelles : </p> <ul><li>le <a href="/wiki/Prix_G%C3%B6del" title="Prix Gödel">prix Gödel</a> est un prix récompensant des articles exceptionnels en informatique théorique. Il esti attribué conjointement par l’<a href="/wiki/EATCS" class="mw-redirect" title="EATCS">EATCS</a> et par le comité <a href="/wiki/SIGACT" class="mw-redirect" title="SIGACT">SIGACT</a> de l'<a href="/wiki/Association_for_Computing_Machinery" title="Association for Computing Machinery">ACM</a>. Il est remis aux lauréats tous les deux ans lors de la conférence ICALP et les autres années lors de la conférence STOC (<i>ACM Symposium on Theory of Computing</i>) ;</li> <li>le prix de l'EATCS, « en reconnaissance des contributions étendues et largement reconnues à l'informatique théorique au cours de toute une carrière scientifique » ;</li> <li>le <a href="/wiki/Prix_Presburger" title="Prix Presburger">prix Presburger</a> est également remis lors du colloque ICALP ;</li> <li>le <span class="citation not_fr_quote" lang="en">« <span class="italique">EATCS distinguished dissertation award</span> »</span> ;</li> <li>le <span class="citation not_fr_quote" lang="en">« <span class="italique">Best EATCS Paper Award</span> »</span> pour track A et track B ;</li> <li>le <span class="citation not_fr_quote" lang="en">« <span class="italique">Best Student ICALP Paper Award</span> »</span> pour track A et track B.</li></ul> <p>Les récompenses pour les meilleures contributions sont dûment mentionnées sur les sites des universités respectives<sup id="cite_ref-32" class="reference"><a href="#cite_note-32"><span class="cite_crochet">[</span>32<span class="cite_crochet">]</span></a></sup><sup class="reference cite_virgule">,</sup><sup id="cite_ref-33" class="reference"><a href="#cite_note-33"><span class="cite_crochet">[</span>33<span class="cite_crochet">]</span></a></sup><sup class="reference cite_virgule">,</sup><sup id="cite_ref-34" class="reference"><a href="#cite_note-34"><span class="cite_crochet">[</span>34<span class="cite_crochet">]</span></a></sup><sup class="reference cite_virgule">,</sup><sup id="cite_ref-35" class="reference"><a href="#cite_note-35"><span class="cite_crochet">[</span>35<span class="cite_crochet">]</span></a></sup><sup class="reference cite_virgule">,</sup><sup id="cite_ref-36" class="reference"><a href="#cite_note-36"><span class="cite_crochet">[</span>36<span class="cite_crochet">]</span></a></sup><sup class="reference cite_virgule">,</sup><sup id="cite_ref-37" class="reference"><a href="#cite_note-37"><span class="cite_crochet">[</span>37<span class="cite_crochet">]</span></a></sup><sup class="reference cite_virgule">,</sup><sup id="cite_ref-38" class="reference"><a href="#cite_note-38"><span class="cite_crochet">[</span>38<span class="cite_crochet">]</span></a></sup>. </p> <div class="mw-heading mw-heading2"><h2 id="Notes_et_références"><span id="Notes_et_r.C3.A9f.C3.A9rences"></span>Notes et références</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=International_Colloquium_on_Automata,_Languages_and_Programming&veaction=edit&section=7" title="Modifier la section : Notes et références" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=International_Colloquium_on_Automata,_Languages_and_Programming&action=edit&section=7" title="Modifier le code source de la section : Notes et références"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <div class="references-small decimal" style="column-width:20em;"><ol class="references"> <li id="cite_note-1"><span class="mw-cite-backlink noprint"><a href="#cite_ref-1">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="http://www.easyconferences.eu/icalp2016/cfp.html">ICALP 2016 Call for papers</a></span> </li> <li id="cite_note-2"><span class="mw-cite-backlink noprint"><a href="#cite_ref-2">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="http://www.informatik.uni-trier.de/~ley/db/conf/icalp/">ICALP proceedings</a> sur le site <a href="/wiki/DBLP" class="mw-redirect" title="DBLP">DBLP</a></span> </li> <li id="cite_note-3"><span class="mw-cite-backlink noprint"><a href="#cite_ref-3">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="http://www.eatcs.org/index.php/conferences">ICALP</a> sur le site de l’EATCS.</span> </li> <li id="cite_note-4"><span class="mw-cite-backlink noprint"><a href="#cite_ref-4">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="http://drops.dagstuhl.de/opus/volltexte/2016/6191/pdf/LIPIcs-ICALP-2016-0.pdf">Préface à Icalp 2016</a></span> </li> <li id="cite_note-5"><span class="mw-cite-backlink noprint"><a href="#cite_ref-5">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="https://drops.dagstuhl.de/opus/volltexte/2020/12407/pdf/LIPIcs-ICALP-2020-0.pdf">Préface à Icalp 2020</a>.</span> </li> <li id="cite_note-6"><span class="mw-cite-backlink noprint"><a href="#cite_ref-6">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="http://easyconferences.eu/icalp2021/">ICALP 2021</a></span> </li> <li id="cite_note-7"><span class="mw-cite-backlink noprint"><a href="#cite_ref-7">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="http://eatcs.org/index.php/calendar/icalrepeat.detail/2020/07/08/793/">ICALP 2020</a></span> </li> <li id="cite_note-8"><span class="mw-cite-backlink noprint"><a href="#cite_ref-8">↑</a> </span><span class="reference-text">Initialement prévu à Pékin <a rel="nofollow" class="external text" href="https://econcs.pku.edu.cn/icalp2020/">(Page sur la page de l’université de Pékin)</a></span> </li> <li id="cite_note-9"><span class="mw-cite-backlink noprint"><a href="#cite_ref-9">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="https://icalp2019.upatras.gr/">ICALP 2019</a></span> </li> <li id="cite_note-10"><span class="mw-cite-backlink noprint"><a href="#cite_ref-10">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="https://iuuk.mff.cuni.cz/~icalp2018/">ICALP 2018</a></span> </li> <li id="cite_note-11"><span class="mw-cite-backlink noprint"><a href="#cite_ref-11">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="http://eatcs.org/index.php/conferences">ICALP 2017</a></span> </li> <li id="cite_note-12"><span class="mw-cite-backlink noprint"><a href="#cite_ref-12">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="http://www.easyconferences.eu/icalp2016/index.html">ICALP 2016</a></span> </li> <li id="cite_note-13"><span class="mw-cite-backlink noprint"><a href="#cite_ref-13">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="http://www.kurims.kyoto-u.ac.jp/icalp2015/">ICALP 2015</a></span> </li> <li id="cite_note-14"><span class="mw-cite-backlink noprint"><a href="#cite_ref-14">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="http://icalp2014.itu.dk/">ICALP 2014</a></span> </li> <li id="cite_note-15"><span class="mw-cite-backlink noprint"><a href="#cite_ref-15">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="http://icalp2013.lu.lv/">ICALP 2013</a></span> </li> <li id="cite_note-16"><span class="mw-cite-backlink noprint"><a href="#cite_ref-16">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="http://www2.warwick.ac.uk/fac/cross_fac/dimap/icalp2012">ICALP 2012</a></span> </li> <li id="cite_note-17"><span class="mw-cite-backlink noprint"><a href="#cite_ref-17">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="http://icalp11.inf.ethz.ch/">ICALP 2011</a></span> </li> <li id="cite_note-18"><span class="mw-cite-backlink noprint"><a href="#cite_ref-18">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="http://icalp10.inria.fr/">ICALP 2010</a> <span class="noarchive">« <a rel="nofollow" class="external text" href="https://web.archive.org/web/20100412015052/http://icalp10.inria.fr/">Copie archivée</a> »</span> <small>(version du <time class="nowrap" datetime="2010-04-12" data-sort-value="2010-04-12">12 avril 2010</time> sur <i><a href="/wiki/Internet_Archive" title="Internet Archive">Internet Archive</a></i>)</small></span> </li> <li id="cite_note-19"><span class="mw-cite-backlink noprint"><a href="#cite_ref-19">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="http://icalp09.cti.gr/">ICALP 2009</a></span> </li> <li id="cite_note-20"><span class="mw-cite-backlink noprint"><a href="#cite_ref-20">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="http://www.ru.is/icalp08/">ICALP 2008</a></span> </li> <li id="cite_note-21"><span class="mw-cite-backlink noprint"><a href="#cite_ref-21">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="http://july2007.ii.uni.wroc.pl/">ICALP 2007</a></span> </li> <li id="cite_note-22"><span class="mw-cite-backlink noprint"><a href="#cite_ref-22">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="http://icalp06.dsi.unive.it/">ICALP 2006</a></span> </li> <li id="cite_note-23"><span class="mw-cite-backlink noprint"><a href="#cite_ref-23">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="http://icalp05.di.fct.unl.pt/">ICALP 2005</a> <span class="noarchive">« <a rel="nofollow" class="external text" href="https://web.archive.org/web/20051206084109/http://icalp05.di.fct.unl.pt/">Copie archivée</a> »</span> <small>(version du <time class="nowrap" datetime="2005-12-06" data-sort-value="2005-12-06">6 décembre 2005</time> sur <i><a href="/wiki/Internet_Archive" title="Internet Archive">Internet Archive</a></i>)</small></span> </li> <li id="cite_note-24"><span class="mw-cite-backlink noprint"><a href="#cite_ref-24">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="http://www.math.utu.fi/ICALP04/">ICALP 2004</a></span> </li> <li id="cite_note-25"><span class="mw-cite-backlink noprint"><a href="#cite_ref-25">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="https://dblp.uni-trier.de/db/conf/icalp/icalp77.html">ICALP 1977</a></span> </li> <li id="cite_note-26"><span class="mw-cite-backlink noprint"><a href="#cite_ref-26">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="https://dblp.uni-trier.de/db/conf/icalp/icalp76.html">ICALP 1976</a></span> </li> <li id="cite_note-27"><span class="mw-cite-backlink noprint"><a href="#cite_ref-27">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external free" href="https://dblp.uni-trier.de/db/conf/icalp/icalp74.html">https://dblp.uni-trier.de/db/conf/icalp/icalp74.html</a> ICALP 1974]</span> </li> <li id="cite_note-28"><span class="mw-cite-backlink noprint"><a href="#cite_ref-28">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="https://dblp.uni-trier.de/db/conf/icalp/icalp72.html">ICALP 1972</a></span> </li> <li id="cite_note-29"><span class="mw-cite-backlink noprint"><a href="#cite_ref-29">↑</a> </span><span class="reference-text"> <span class="ouvrage" id="2021">« <cite style="font-style:normal">CRIStAL - Best paper award d'ICALP 2021</cite> », <i>CNRS hebdo</i>, <abbr class="abbr" title="numéro">n<sup>o</sup></abbr> 709,‎ <time class="nowrap" datetime="2021-07-15" data-sort-value="2021-07-15">15 juillet 2021</time> <small style="line-height:1em;">(<a rel="nofollow" class="external text" href="https://www.cnrs.fr/CNRS-Hebdo/nord-PdC-picardie/lettre.php?numero=709">lire en ligne</a>)</small><span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=CRIStAL+-+Best+paper+award+d%27ICALP+2021&rft.jtitle=CNRS+hebdo&rft.issue=709&rft.date=2021-07-15&rfr_id=info%3Asid%2Ffr.wikipedia.org%3AInternational+Colloquium+on+Automata%2C+Languages+and+Programming"></span></span>.</span> </li> <li id="cite_note-30"><span class="mw-cite-backlink noprint"><a href="#cite_ref-30">↑</a> </span><span class="reference-text"><span class="ouvrage" id="2017">« <cite style="font-style:normal">Maurice Nivat, pionnier de l'informatique fondamentale</cite> », <i>INRIA -- Actualité et événement</i>,‎ <time class="nowrap" datetime="2017-10-05" data-sort-value="2017-10-05">5 octobre 2017</time> <small style="line-height:1em;">(<a rel="nofollow" class="external text" href="https://www.inria.fr/fr/maurice-nivat-pionnier-de-linformatique-fondamentale">lire en ligne</a>)</small><span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Maurice+Nivat%2C+pionnier+de+l%27informatique+fondamentale&rft.jtitle=INRIA+--+Actualit%C3%A9+et+%C3%A9v%C3%A9nement&rft.date=2017-10-05&rfr_id=info%3Asid%2Ffr.wikipedia.org%3AInternational+Colloquium+on+Automata%2C+Languages+and+Programming"></span></span>.</span> </li> <li id="cite_note-31"><span class="mw-cite-backlink noprint"><a href="#cite_ref-31">↑</a> </span><span class="reference-text"><span class="ouvrage">« <a rel="nofollow" class="external text" href="https://lmf.cnrs.fr/deptinfo-ens/News/Paper-ICALP2021"><cite style="font-style:normal;">Publication à ICALP 2021</cite></a> », <i>Département informatique, de l'ENS Paris-Saclay, serveur pédagogique</i></span>.</span> </li> <li id="cite_note-32"><span class="mw-cite-backlink noprint"><a href="#cite_ref-32">↑</a> </span><span class="reference-text"><span class="ouvrage">« <a rel="nofollow" class="external text" href="https://privacytools.seas.harvard.edu/blog/bun-and-thaler-win-icalp-2013-award-best-paper-track"><cite style="font-style:normal;">Bun and Thaler win ICALP 2013 award for Best Paper in Track A</cite></a> », sur <span class="italique">Harvard University Privacy Tool Project</span></span></span> </li> <li id="cite_note-33"><span class="mw-cite-backlink noprint"><a href="#cite_ref-33">↑</a> </span><span class="reference-text"><span class="ouvrage">« <a rel="nofollow" class="external text" href="https://pure.itu.dk/portal/en/prizes/best-paper-award-best-paper-at-icalp-2014-track-a-algorithms-complexity-and-games(c189cc6a-ffd1-4561-a2db-34588fdc8af7).html"><cite style="font-style:normal;">Best Paper Award: Best Paper at ICALP 2014, Track A: Algorithms, Complexity and Games</cite></a> », sur <span class="italique">IT University of Copenhagen</span></span></span> </li> <li id="cite_note-34"><span class="mw-cite-backlink noprint"><a href="#cite_ref-34">↑</a> </span><span class="reference-text"><span class="ouvrage">« <a rel="nofollow" class="external text" href="https://www.cs.ox.ac.uk/news/962-full.html"><cite style="font-style:normal;">Best Paper Award at ICALP'15</cite></a> », sur <span class="italique">University of Oxford, Department of Computer Science</span></span></span> </li> <li id="cite_note-35"><span class="mw-cite-backlink noprint"><a href="#cite_ref-35">↑</a> </span><span class="reference-text"><span class="ouvrage">« <a rel="nofollow" class="external text" href="https://research.aalto.fi/en/prizes/best-paper-award-at-icalp-2017"><cite style="font-style:normal;">Best Paper Award, at ICALP 2017</cite></a> », sur <span class="italique">Aalto University Department of Computer Science</span></span></span> </li> <li id="cite_note-36"><span class="mw-cite-backlink noprint"><a href="#cite_ref-36">↑</a> </span><span class="reference-text"><span class="ouvrage">« <a rel="nofollow" class="external text" href="https://team.inria.fr/links/fr/test/?listtype=1&days=500&months=0&start=20170505&events=10&startoffset=0"><cite style="font-style:normal;">ICALP best paper award</cite></a> », sur <span class="italique">Link Inria</span></span></span> </li> <li id="cite_note-37"><span class="mw-cite-backlink noprint"><a href="#cite_ref-37">↑</a> </span><span class="reference-text"><span class="ouvrage">« <a rel="nofollow" class="external text" href="https://www.zs.informatik.uni-kiel.de/en/icalp-2018-best-paper-award"><cite style="font-style:normal;">ICALP 2018 Best Paper Award</cite></a> », sur <span class="italique">Christina-Alberts-Universität zu Kiel</span></span></span> </li> <li id="cite_note-38"><span class="mw-cite-backlink noprint"><a href="#cite_ref-38">↑</a> </span><span class="reference-text"><span class="ouvrage">« <a rel="nofollow" class="external text" href="https://www.cs.rutgers.edu/news-events/news/news-item/graduate-student-aditya-potukuchi-wins-best-student-paper-award-at-icalp-2020"><cite style="font-style:normal;">Graduate Student Aditya Potukuchi wins Best student paper award at ICALP 2020</cite></a> », sur <span class="italique">Rutgers school of arts and sciences</span></span></span> </li> </ol> </div> <div style="font-size:85%; padding-left:1.6em; margin:0.3em 0;"><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé <span class="plainlinks">« <a class="external text" href="https://en.wikipedia.org/wiki/International_Colloquium_on_Automata,_Languages_and_Programming?oldid=691329600">International Colloquium on Automata, Languages and Programming</a> » <small>(<a class="external text" href="https://en.wikipedia.org/wiki/International_Colloquium_on_Automata,_Languages_and_Programming?action=history">voir la liste des auteurs</a>)</small></span>.</div> <div class="mw-heading mw-heading3"><h3 id="Bibliographie">Bibliographie</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=International_Colloquium_on_Automata,_Languages_and_Programming&veaction=edit&section=8" title="Modifier la section : Bibliographie" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=International_Colloquium_on_Automata,_Languages_and_Programming&action=edit&section=8" title="Modifier le code source de la section : Bibliographie"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul><li><span class="ouvrage" id="2009">« <cite style="font-style:normal">EATCS leaflet</cite> », <i>Bulletin of the EATCS</i>, <abbr class="abbr" title="numéro">n<sup>o</sup></abbr> 97,‎ <time>2009</time>, <abbr class="abbr" title="pages">p.</abbr> <span class="nowrap">212–214</span> <small style="line-height:1em;">(<a rel="nofollow" class="external text" href="http://www.eatcs.org/images/bulletin/beatcs97.pdf">lire en ligne</a>)</small><span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=EATCS+leaflet&rft.jtitle=Bulletin+of+the+EATCS&rft.issue=97&rft.date=2009&rft.pages=212%E2%80%93214&rft_id=http%3A%2F%2Fwww.eatcs.org%2Fimages%2Fbulletin%2Fbeatcs97.pdf&rfr_id=info%3Asid%2Ffr.wikipedia.org%3AInternational+Colloquium+on+Automata%2C+Languages+and+Programming"></span></span>.</li> <li><span class="ouvrage" id="Giorgio2008"><span class="ouvrage" id="Aussiello_Giorgio2008">Aussiello <span class="nom_auteur">Giorgio</span>, « <cite style="font-style:normal">Letter from the president</cite> », <i>Bulletin of the EATCS</i>, <abbr class="abbr" title="numéro">n<sup>o</sup></abbr> 94,‎ <time>2008</time>, <abbr class="abbr" title="pages">p.</abbr> <span class="nowrap">3–5</span> <small style="line-height:1em;">(<a rel="nofollow" class="external text" href="http://www.eatcs.org/images/bulletin/beatcs94.pdf">lire en ligne</a>)</small><span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Letter+from+the+president&rft.jtitle=Bulletin+of+the+EATCS&rft.issue=94&rft.aulast=Giorgio&rft.aufirst=Aussiello&rft.date=2008&rft.pages=3%E2%80%935&rft_id=http%3A%2F%2Fwww.eatcs.org%2Fimages%2Fbulletin%2Fbeatcs94.pdf&rfr_id=info%3Asid%2Ffr.wikipedia.org%3AInternational+Colloquium+on+Automata%2C+Languages+and+Programming"></span></span></span>.</li> <li><span class="ouvrage" id="Kudlek2008"><span class="ouvrage" id="Manfred_Kudlek2008">Manfred <span class="nom_auteur">Kudlek</span>, « <cite style="font-style:normal">Report on ICALP 2008</cite> », <i>Bulletin of the EATCS</i>, <abbr class="abbr" title="numéro">n<sup>o</sup></abbr> 96,‎ <time>2008</time>, <abbr class="abbr" title="pages">p.</abbr> <span class="nowrap">131–140</span> <small style="line-height:1em;">(<a rel="nofollow" class="external text" href="http://www.eatcs.org/images/bulletin/beatcs96.pdf">lire en ligne</a>)</small><span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Report+on+ICALP+2008&rft.jtitle=Bulletin+of+the+EATCS&rft.issue=96&rft.aulast=Kudlek&rft.aufirst=Manfred&rft.date=2008&rft.pages=131%E2%80%93140&rft_id=http%3A%2F%2Fwww.eatcs.org%2Fimages%2Fbulletin%2Fbeatcs96.pdf&rfr_id=info%3Asid%2Ffr.wikipedia.org%3AInternational+Colloquium+on+Automata%2C+Languages+and+Programming"></span></span></span>.</li> <li><span class="ouvrage" id="Aceto2016"><span class="ouvrage" id="Luca_Aceto2016">Luca <span class="nom_auteur">Aceto</span>, « <cite style="font-style:normal">Report on ICALP 2016</cite> », <i>Bulletin of the EATCS</i>, <abbr class="abbr" title="numéro">n<sup>o</sup></abbr> 120,‎ <time class="nowrap" datetime="2016-10" data-sort-value="2016-10">octobre 2016</time> <small style="line-height:1em;">(<a rel="nofollow" class="external text" href="http://bulletin.eatcs.org/index.php/beatcs/article/view/430">lire en ligne</a>)</small><span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Report+on+ICALP+2016&rft.jtitle=Bulletin+of+the+EATCS&rft.issue=120&rft.aulast=Aceto&rft.aufirst=Luca&rft.date=2016-10&rft_id=http%3A%2F%2Fbulletin.eatcs.org%2Findex.php%2Fbeatcs%2Farticle%2Fview%2F430&rfr_id=info%3Asid%2Ffr.wikipedia.org%3AInternational+Colloquium+on+Automata%2C+Languages+and+Programming"></span></span></span>.</li> <li><span class="ouvrage" id="RozenbergSalomaa2002"><span class="ouvrage" id="Grzegorz_RozenbergArto_Salomaa2002">Grzegorz <span class="nom_auteur">Rozenberg</span> et Arto <span class="nom_auteur">Salomaa</span>, « <cite style="font-style:normal">ICALP, EATCS and Maurice Nivat</cite> », <i>Theoretical Computer Science</i>, <abbr class="abbr" title="volume">vol.</abbr> 281, <abbr class="abbr" title="numéros">n<sup>os</sup></abbr> 1–2,‎ <time>2002</time>, <abbr class="abbr" title="pages">p.</abbr> <span class="nowrap">25–30</span> <small style="line-height:1em;">(<a href="/wiki/Digital_Object_Identifier" title="Digital Object Identifier">DOI</a> <span class="plainlinks noarchive nowrap"><a rel="nofollow" class="external text" href="https://dx.doi.org/10.1016/S0304-3975%2802%2900005-1">10.1016/S0304-3975(02)00005-1</a></span>, <a rel="nofollow" class="external text" href="https://reader.elsevier.com/reader/sd/pii/S0304397502000051?token=1D8A07D6A452CF113E2FE380886666E5BA841FB167DCD34664462A75898E3CA9E17ECECCD11E3C7E165E35461C6FB4C3&originRegion=eu-west-1&originCreation=20211211061745">lire en ligne</a> <span typeof="mw:File"><span title="Accès libre au document"><img alt="Accès libre" src="//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png" decoding="async" width="9" height="14" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/14px-Lock-green.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/18px-Lock-green.svg.png 2x" data-file-width="512" data-file-height="813" /></span></span>)</small><span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=ICALP%2C+EATCS+and+Maurice+Nivat&rft.jtitle=Theoretical+Computer+Science&rft.issue=1%E2%80%932&rft.aulast=Rozenberg&rft.aufirst=Grzegorz&rft.au=Salomaa%2C+Arto&rft.date=2002&rft.volume=281&rft.pages=25%E2%80%9330&rft_id=info%3Adoi%2F10.1016%2FS0304-3975%2802%2900005-1&rft_id=https%3A%2F%2Freader.elsevier.com%2Freader%2Fsd%2Fpii%2FS0304397502000051%3Ftoken%3D1D8A07D6A452CF113E2FE380886666E5BA841FB167DCD34664462A75898E3CA9E17ECECCD11E3C7E165E35461C6FB4C3%26originRegion%3Deu-west-1%26originCreation%3D20211211061745&rfr_id=info%3Asid%2Ffr.wikipedia.org%3AInternational+Colloquium+on+Automata%2C+Languages+and+Programming"></span></span></span></li></ul> <div class="mw-heading mw-heading3"><h3 id="Article_lié"><span id="Article_li.C3.A9"></span>Article lié</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=International_Colloquium_on_Automata,_Languages_and_Programming&veaction=edit&section=9" title="Modifier la section : Article lié" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=International_Colloquium_on_Automata,_Languages_and_Programming&action=edit&section=9" title="Modifier le code source de la section : Article lié"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul><li><a href="/wiki/Liste_des_principales_conf%C3%A9rences_d%27informatique_th%C3%A9orique" title="Liste des principales conférences d'informatique théorique">Liste des principales conférences d'informatique théorique</a></li></ul> <ul id="bandeau-portail" class="bandeau-portail"><li><span class="bandeau-portail-element"><span class="bandeau-portail-icone"><span class="noviewer skin-invert-image" typeof="mw:File"><a href="/wiki/Portail:Informatique_th%C3%A9orique" title="Portail de l'informatique théorique"><img alt="icône décorative" src="//upload.wikimedia.org/wikipedia/commons/thumb/c/cf/Max-cut.svg/30px-Max-cut.svg.png" decoding="async" width="30" height="24" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/c/cf/Max-cut.svg/45px-Max-cut.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/c/cf/Max-cut.svg/60px-Max-cut.svg.png 2x" data-file-width="200" data-file-height="160" /></a></span></span> <span class="bandeau-portail-texte"><a href="/wiki/Portail:Informatique_th%C3%A9orique" title="Portail:Informatique théorique">Portail de l'informatique théorique</a></span> </span></li> <li><span class="bandeau-portail-element"><span class="bandeau-portail-icone"><span class="noviewer" typeof="mw:File"><a href="/wiki/Portail:Recherche_scientifique" title="Portail de la recherche scientifique"><img alt="icône décorative" src="//upload.wikimedia.org/wikipedia/commons/thumb/e/ee/Circle-icons-eyedropper.svg/24px-Circle-icons-eyedropper.svg.png" decoding="async" width="24" height="24" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/e/ee/Circle-icons-eyedropper.svg/36px-Circle-icons-eyedropper.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/e/ee/Circle-icons-eyedropper.svg/48px-Circle-icons-eyedropper.svg.png 2x" data-file-width="512" data-file-height="512" /></a></span></span> <span class="bandeau-portail-texte"><a href="/wiki/Portail:Recherche_scientifique" title="Portail:Recherche scientifique">Portail de la recherche scientifique</a></span> </span></li> </ul>    </div><noscript><img src="https://login.wikimedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" width="1" height="1" style="border: none; position: absolute;"></noscript> <div class="printfooter" data-nosnippet="">Ce document provient de « <a dir="ltr" href="https://fr.wikipedia.org/w/index.php?title=International_Colloquium_on_Automata,_Languages_and_Programming&oldid=220177098">https://fr.wikipedia.org/w/index.php?title=International_Colloquium_on_Automata,_Languages_and_Programming&oldid=220177098</a> ».</div></div> <div id="catlinks" class="catlinks" data-mw="interface"><div id="mw-normal-catlinks" class="mw-normal-catlinks"><a href="/wiki/Cat%C3%A9gorie:Accueil" title="Catégorie:Accueil">Catégorie</a> : <ul><li><a href="/wiki/Cat%C3%A9gorie:Conf%C3%A9rence_en_informatique_th%C3%A9orique" title="Catégorie:Conférence en informatique théorique">Conférence en informatique théorique</a></li></ul></div><div id="mw-hidden-catlinks" class="mw-hidden-catlinks mw-hidden-cats-hidden">Catégories cachées : <ul><li><a href="/wiki/Cat%C3%A9gorie:Article_%C3%A0_illustrer_%C3%89v%C3%A9nement" title="Catégorie:Article à illustrer Événement">Article à illustrer Événement</a></li><li><a href="/wiki/Cat%C3%A9gorie:Page_g%C3%A9olocalisable_sans_coordonn%C3%A9es_param%C3%A9tr%C3%A9es" title="Catégorie:Page géolocalisable sans coordonnées paramétrées">Page géolocalisable sans coordonnées paramétrées</a></li><li><a href="/wiki/Cat%C3%A9gorie:Article_utilisant_une_Infobox" title="Catégorie:Article utilisant une Infobox">Article utilisant une Infobox</a></li><li><a href="/wiki/Cat%C3%A9gorie:Portail:Informatique_th%C3%A9orique/Articles_li%C3%A9s" title="Catégorie:Portail:Informatique théorique/Articles liés">Portail:Informatique théorique/Articles liés</a></li><li><a href="/wiki/Cat%C3%A9gorie:Portail:Informatique/Articles_li%C3%A9s" title="Catégorie:Portail:Informatique/Articles liés">Portail:Informatique/Articles liés</a></li><li><a href="/wiki/Cat%C3%A9gorie:Projet:Math%C3%A9matiques/Articles" title="Catégorie:Projet:Mathématiques/Articles">Projet:Mathématiques/Articles</a></li><li><a href="/wiki/Cat%C3%A9gorie:Portail:Recherche_scientifique/Articles_li%C3%A9s" title="Catégorie:Portail:Recherche scientifique/Articles liés">Portail:Recherche scientifique/Articles liés</a></li><li><a href="/wiki/Cat%C3%A9gorie:Portail:Sciences/Articles_li%C3%A9s" title="Catégorie:Portail:Sciences/Articles liés">Portail:Sciences/Articles liés</a></li></ul></div></div> </div> </main> </div> <div class="mw-footer-container"> <footer id="footer" class="mw-footer" > <ul id="footer-info"> <li id="footer-info-lastmod"> La dernière modification de cette page a été faite le 10 novembre 2024 à 16:59.</li> <li id="footer-info-copyright"><span style="white-space: normal"><a href="/wiki/Wikip%C3%A9dia:Citation_et_r%C3%A9utilisation_du_contenu_de_Wikip%C3%A9dia" title="Wikipédia:Citation et réutilisation du contenu de Wikipédia">Droit d'auteur</a> : les textes sont disponibles sous <a rel="nofollow" class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.fr">licence Creative Commons attribution, partage dans les mêmes conditions</a> ; d’autres conditions peuvent s’appliquer. Voyez les <a class="external text" href="https://foundation.wikimedia.org/wiki/Policy:Terms_of_Use/fr">conditions d’utilisation</a> pour plus de détails, ainsi que les <a href="/wiki/Wikip%C3%A9dia:Cr%C3%A9dits_graphiques" title="Wikipédia:Crédits graphiques">crédits graphiques</a>. En cas de réutilisation des textes de cette page, voyez <a href="/wiki/Sp%C3%A9cial:Citer/International_Colloquium_on_Automata,_Languages_and_Programming" title="Spécial:Citer/International Colloquium on Automata, Languages and Programming">comment citer les auteurs et mentionner la licence</a>.<br /> Wikipedia® est une marque déposée de la <a rel="nofollow" class="external text" href="https://wikimediafoundation.org/">Wikimedia Foundation, Inc.</a>, organisation de bienfaisance régie par le paragraphe <a href="/wiki/501c" title="501c">501(c)(3)</a> du code fiscal des États-Unis.</span><br /></li> </ul> <ul id="footer-places"> <li id="footer-places-privacy"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy/fr">Politique de confidentialité</a></li> <li id="footer-places-about"><a href="/wiki/Wikip%C3%A9dia:%C3%80_propos_de_Wikip%C3%A9dia">À propos de Wikipédia</a></li> <li id="footer-places-disclaimers"><a href="/wiki/Wikip%C3%A9dia:Avertissements_g%C3%A9n%C3%A9raux">Avertissements</a></li> <li id="footer-places-contact"><a href="//fr.wikipedia.org/wiki/Wikipédia:Contact">Contact</a></li> <li id="footer-places-wm-codeofconduct"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Universal_Code_of_Conduct">Code de conduite</a></li> <li id="footer-places-developers"><a href="https://developer.wikimedia.org">Développeurs</a></li> <li id="footer-places-statslink"><a href="https://stats.wikimedia.org/#/fr.wikipedia.org">Statistiques</a></li> <li id="footer-places-cookiestatement"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Cookie_statement">Déclaration sur les témoins (cookies)</a></li> <li id="footer-places-mobileview"><a href="//fr.m.wikipedia.org/w/index.php?title=International_Colloquium_on_Automata,_Languages_and_Programming&mobileaction=toggle_view_mobile" class="noprint stopMobileRedirectToggle">Version mobile</a></li> </ul> <ul id="footer-icons" class="noprint"> <li id="footer-copyrightico"><a href="https://wikimediafoundation.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/static/images/footer/wikimedia-button.svg" width="84" height="29" alt="Wikimedia Foundation" loading="lazy"></a></li> <li id="footer-poweredbyico"><a href="https://www.mediawiki.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/w/resources/assets/poweredby_mediawiki.svg" alt="Powered by MediaWiki" width="88" height="31" loading="lazy"></a></li> </ul> </footer> </div> </div> </div> <div class="vector-settings" id="p-dock-bottom"> <ul></ul> </div><script>(RLQ=window.RLQ||[]).push(function(){mw.config.set({"wgHostname":"mw-web.codfw.main-f69cdc8f6-7dxkw","wgBackendResponseTime":677,"wgPageParseReport":{"limitreport":{"cputime":"0.370","walltime":"0.505","ppvisitednodes":{"value":3754,"limit":1000000},"postexpandincludesize":{"value":40334,"limit":2097152},"templateargumentsize":{"value":3296,"limit":2097152},"expansiondepth":{"value":14,"limit":100},"expensivefunctioncount":{"value":0,"limit":500},"unstrip-depth":{"value":0,"limit":20},"unstrip-size":{"value":21765,"limit":5000000},"entityaccesscount":{"value":1,"limit":400},"timingprofile":["100.00% 446.248 1 -total"," 31.76% 141.709 1 Modèle:Références"," 25.42% 113.427 1 Modèle:Infobox_Événement"," 13.56% 60.490 2 Modèle:Lien_archive"," 10.74% 47.939 1 Modèle:Infobox/Ligne_mixte_latitude_longitude_optionnelle"," 10.48% 46.752 7 Modèle:Article"," 9.50% 42.388 1 Modèle:Portail"," 4.94% 22.064 1 Modèle:Titre_en_italique"," 4.56% 20.338 1 Modèle:Infobox/Titre"," 4.39% 19.582 1 Modèle:Portail_informatique_théorique"]},"scribunto":{"limitreport-timeusage":{"value":"0.107","limit":"10.000"},"limitreport-memusage":{"value":5700311,"limit":52428800}},"cachereport":{"origin":"mw-web.codfw.main-f69cdc8f6-7dxkw","timestamp":"20241125064619","ttl":2592000,"transientcontent":false}}});});</script> <script type="application/ld+json">{"@context":"https:\/\/schema.org","@type":"Article","name":"International Colloquium on Automata, Languages and Programming","url":"https:\/\/fr.wikipedia.org\/wiki\/International_Colloquium_on_Automata,_Languages_and_Programming","sameAs":"http:\/\/www.wikidata.org\/entity\/Q6049376","mainEntity":"http:\/\/www.wikidata.org\/entity\/Q6049376","author":{"@type":"Organization","name":"Contributeurs aux projets Wikimedia"},"publisher":{"@type":"Organization","name":"Fondation Wikimedia, Inc.","logo":{"@type":"ImageObject","url":"https:\/\/www.wikimedia.org\/static\/images\/wmf-hor-googpub.png"}},"datePublished":"2016-02-17T09:46:47Z","dateModified":"2024-11-10T15:59:25Z","headline":"conf\u00e9rence acad\u00e9mique en informatique th\u00e9orique"}</script> </body> </html>