Wikipedia

International Colloquium on Automata, Languages and Programming

Also found in: Acronyms.
International Colloquium on Automata, Languages and Programming
AbbreviationICALP
DisciplineTheoretical computer science
Publication details
PublisherLIPIcs
History1972–
Frequencyannual (since 1976)
yes

ICALP, the International Colloquium on Automata, Languages, and Programming is an academic conference organized annually by the European Association for Theoretical Computer Science and held in different locations around Europe. Like most theoretical computer science conferences its contributions are strongly peer-reviewed. The articles have appeared in proceedings published by Springer in their Lecture Notes in Computer Science, but beginning in 2016 they are instead published by the Leibniz International Proceedings in Informatics.[1]

The ICALP conference series was established by Maurice Nivat,[2] who organized the first ICALP in Paris, France in 1972. The second ICALP was held in 1974, and since 1976 ICALP has been an annual event, nowadays usually taking place in July.

Traditionally, the conference was thematically split into two tracks on "Algorithms, Complexity and Games" (Track A) and "Automata, Logic, Semantics, and Theory of Programming" (Track B), corresponding to the (at least until 2005) two main streams of the journal Theoretical Computer Science. Beginning with the 2005 conference, a third track (Track C) was added in order to allow deeper coverage of a particular topic. From 2005 until 2008, the third track was dedicated to "Security and Cryptography Foundations", and in 2009, it is devoted to the topic "Foundations of Networked Computation: Models, Algorithms and Information Management". Track C was dropped from the 2020 conference, with submissions from these areas invited to submit into Track A;[3] the 2020 conference was also unusual, taking place virtually for the first time (having been originally scheduled to take place in Beijing, China and later moved to Saarbrücken, Germany).

Gödel Prize

Main article: Gödel Prize

The Gödel Prize, a prize for outstanding papers in theoretical computer science and awarded jointly by the EATCS and the ACM SIGACT, is presented every second year at ICALP. Presentation of the prize, which is awarded annually, alternates with the conference STOC (ACM Symposium on Theory of Computing).

See also

References

  1. ^ Posting by Jeff Erickson, chair of the SoCG steering committee, November 18, 2014, also quoting from an email announcement about ICALP by Luca Aceto, President of the EATCS.
  2. ^ Rozenberg, Grzegorz; Salomaa, Arto (2002). "ICALP, EATCS and Maurice Nivat". Theoretical Computer Science. 281 (1–2): 25–30. doi:10.1016/S0304-3975(02)00005-1.
  3. ^ Czumaj, Artur; Dawar, Anuj; Merelli, Emanuela (2020). "Front Matter, Table of Contents, Preface, Conference Organization, 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020)". Leibniz International Proceedings in Informatics. 168. doi:10.4230/LIPIcs.ICALP.2020.0.

External links

This article is copied from an article on Wikipedia® - the free encyclopedia created and edited by its online user community. The text was not checked or edited by anyone on our staff. Although the vast majority of Wikipedia® encyclopedia articles provide accurate and timely information, please do not assume the accuracy of any particular article. This article is distributed under the terms of GNU Free Documentation License.

Copyright © 2003-2025 Farlex, Inc Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.