International Colloquium on Automata, Languages and Programming

Un article de Wikipédia, l'encyclopédie libre.
(Redirigé depuis ICALP)

International Colloquium on Automata, Languages and Programming (ICALP)
Type Conférence académique
Création 1972
Localisation villes variées en Europe
Organisateur European Association for Theoretical Computer Science
Date annuelle depuis 1976
Site web http://eatcs.org/index.php/conferences
modifier Consultez la documentation du modèle

International Colloquium on Automata, Languages and Programming (abrégé en ICALP) est la principale conférence académique européenne en informatique théorique. Elle est organisée par la European Association for Theoretical Computer Science, et a lieu annuellement à des endroits variables à travers l'Europe.

Organisation[modifier | modifier le code]

Publication des actes[modifier | modifier le code]

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 Lecture Notes in Computer Science de Springer jusqu'en 2015; à partir de 2016, ils sont publiés par le Leibniz-Zentrum für Informatik dans la collection Leibniz International Proceedings in Informatics (LIPcs)[1],[2].

La première conférence de la série a eu lieu en 1972 à Paris, la deuxième en 1974 à Sarrebruck, et à partir de 1976, ICALP est devenu une conférence annuelle qui a traditionnellement lieu mi-juillet.

Thématique[modifier | modifier le code]

La thématique de la conférence était traditionnellement séparé en deux parties, le « track A » Algorithms, Automata, Complexity and Games et le « track B » Semantics, and Theory of Programming. Depuis 2005, une nouvelle partie le « track C » a été ajouté, dont l'intitulé était Security and Cryptography Foundations jusqu'en 2008, et Foundations of Networked Computation: Models, Algorithms and Information Management à partir de 2009. Le « track C » ne figure plus depuis 2020, ses thèmes ont été incorporés au track A.

Les thèmes abordés au cours des conférences de ICALP récents sont typiquement : calculabilité, théorie des automates, théorie des langages formels, analyse d'algorithmes, complexité , aspects mathématiques de la définition des langages de programmation, logique et sémantique des langages de programmation, bases de la programmation logique, démonstration automatique, spécification logicielle, géométrie algorithmique, types de données et structures de données, théorie des bases de données et des systèmes à bases de connaissances, cryptographie, structures VLSI, calcul parallèle et calcul distribué, modèles de la concurrence et de la robotique[3].

L'importance du colloque se mesure à son audience ; en 2016, 515 articles ont été soumis, le plus haut score jamais atteint[4] : 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[5].

Les colloques récents[modifier | modifier le code]

Notoriété[modifier | modifier le code]

On peut noter que dans son bulletin hebdomadaire du 15 juillet 2021[29], le CNRS 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. INRIA, de son côté, dans sa nécrologie de Maurice Nivat[30] insiste sur le rôle essentiel qu'il a eu pour l'informatique fondamentale en créant l'ICALP. L'École normale supérieure Paris-Saclay est fière de signaler l'acceptation de la communication d'un de ses élèves[31] à ICALP-2021.

Prix[modifier | modifier le code]

Article détaillé : Prix Gödel.

Un certain nombre de prix et de récompenses sont régulièrement décernés lors des conférences annuelles :

  • le prix Gödel est un prix récompensant des articles exceptionnels en informatique théorique. Il esti attribué conjointement par l’EATCS et par le comité SIGACT de l'ACM. 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 (ACM Symposium on Theory of Computing) ;
  • 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 » ;
  • le prix Presburger est également remis lors du colloque ICALP ;
  • le « EATCS distinguished dissertation award » ;
  • le « Best EATCS Paper Award » pour track A et track B ;
  • le « Best Student ICALP Paper Award » pour track A et track B.

Les récompenses pour les meilleures contributions sont dûment mentionnées sur les sites des universités respectives[32],[33],[34],[35],[36],[37],[38].

Notes et références[modifier | modifier le code]

  1. ↑ ICALP 2016 Call for papers
  2. ↑ ICALP proceedings sur le site DBLP
  3. ↑ ICALP sur le site de l’EATCS.
  4. ↑ Préface à Icalp 2016
  5. ↑ Préface à Icalp 2020.
  6. ↑ ICALP 2021
  7. ↑ ICALP 2020
  8. ↑ Initialement prévu à Pékin (Page sur la page de l’université de Pékin)
  9. ↑ ICALP 2019
  10. ↑ ICALP 2018
  11. ↑ ICALP 2017
  12. ↑ ICALP 2016
  13. ↑ ICALP 2015
  14. ↑ ICALP 2014
  15. ↑ ICALP 2013
  16. ↑ ICALP 2012
  17. ↑ ICALP 2011
  18. ↑ ICALP 2010 « Copie archivée » (version du sur Internet Archive)
  19. ↑ ICALP 2009
  20. ↑ ICALP 2008
  21. ↑ ICALP 2007
  22. ↑ ICALP 2006
  23. ↑ ICALP 2005 « Copie archivée » (version du sur Internet Archive)
  24. ↑ ICALP 2004
  25. ↑ ICALP 1977
  26. ↑ ICALP 1976
  27. ↑ https://dblp.uni-trier.de/db/conf/icalp/icalp74.html ICALP 1974]
  28. ↑ ICALP 1972
  29. ↑ « CRIStAL - Best paper award d'ICALP 2021 », CNRS hebdo, no 709,‎ (lire en ligne).
  30. ↑ « Maurice Nivat, pionnier de l'informatique fondamentale », INRIA -- Actualité et événement,‎ (lire en ligne).
  31. ↑ « Publication à ICALP 2021 », Département informatique, de l'ENS Paris-Saclay, serveur pédagogique.
  32. ↑ « Bun and Thaler win ICALP 2013 award for Best Paper in Track A », sur Harvard University Privacy Tool Project
  33. ↑ « Best Paper Award: Best Paper at ICALP 2014, Track A: Algorithms, Complexity and Games », sur IT University of Copenhagen
  34. ↑ « Best Paper Award at ICALP'15 », sur University of Oxford, Department of Computer Science
  35. ↑ « Best Paper Award, at ICALP 2017 », sur Aalto University Department of Computer Science
  36. ↑ « ICALP best paper award », sur Link Inria
  37. ↑ « ICALP 2018 Best Paper Award », sur Christina-Alberts-Universität zu Kiel
  38. ↑ « Graduate Student Aditya Potukuchi wins Best student paper award at ICALP 2020 », sur Rutgers school of arts and sciences
(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « International Colloquium on Automata, Languages and Programming » (voir la liste des auteurs).

Bibliographie[modifier | modifier le code]

  • « EATCS leaflet », Bulletin of the EATCS, no 97,‎ , p. 212–214 (lire en ligne).
  • Aussiello Giorgio, « Letter from the president », Bulletin of the EATCS, no 94,‎ , p. 3–5 (lire en ligne).
  • Manfred Kudlek, « Report on ICALP 2008 », Bulletin of the EATCS, no 96,‎ , p. 131–140 (lire en ligne).
  • Luca Aceto, « Report on ICALP 2016 », Bulletin of the EATCS, no 120,‎ (lire en ligne).
  • Grzegorz Rozenberg et Arto Salomaa, « ICALP, EATCS and Maurice Nivat », Theoretical Computer Science, vol. 281, nos 1–2,‎ , p. 25–30 (DOI 10.1016/S0304-3975(02)00005-1, lire en ligne Accès libre)

Article lié[modifier | modifier le code]

Ce document provient de « https://fr.wikipedia.org/w/index.php?title=International_Colloquium_on_Automata,_Languages_and_Programming&oldid=203875065 ».