International Colloquium on Automata, Languages and Programming

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.

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].

• 2021 48^e ICALP[6], Glasgow, 12-16 juillet 2021. Comme la conférence précédente, elle est annoncée comme conférence en ligne
• 2020 47^e ICALP[7]^,[8], Sarrebruck, Allemagne
• 2019 46^e ICALP[9], Patras, Grèce
• 2018 45^e ICALP[10], Prague, Tchéquie
• 2017 44^e ICALP[11], Varsovie, Pologne
• 2016 43^e ICALP[12], Rome, Italie
• 2015 42^e ICALP[13], Kyoto, Japon
• 2014 41^e ICALP[14], Copenhague, Danemark
• 2013 40^e ICALP[15], Riga, Lettonie
• 2012 39^e ICALP[16], Warwick, Royaume-Uni
• 2011 38^e ICALP[17], Zurich, Suisse
• 2010 37^e ICALP[18]^,[19], Bordeaux, France
• 2009 36^e ICALP[20], Rhodes, Grèce
• 2008 35^e ICALP[21], Reykjavík, Islande
• 2007 34^e ICALP[22], Wrocław, Pologne
• 2006 33^e ICALP[23], Venise, Italie
• 2005 32^e ICALP[24], Lisbonne, Portugal
• 2004 31^e ICALP[25], Turku, Finland

• « EATCS leaflet », Bulletin of the EATCS, n^o 97,‎ 2009, p. 212–214 (lire en ligne).
• Aussiello Giorgio, « Letter from the president », Bulletin of the EATCS, n^o 94,‎ 2008, p. 3–5 (lire en ligne).
• Manfred Kudlek, « Report on ICALP 2008 », Bulletin of the EATCS, n^o 96,‎ 2008, p. 131–140 (lire en ligne).
• Luca Aceto, « Report on ICALP 2016 », Bulletin of the EATCS, n^o 120,‎ octobre 2016 (lire en ligne).

• Liste des principales conférences d'informatique théorique

• Portail de l'informatique théorique