International Colloquium on Automata, Languages and Programming

This is an old revision of this page, as edited by Hermel (talk | contribs) at 20:05, 28 April 2009 (infobox). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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. Its proceedings are published in Springer's Lecture Notes in Computer Science.

International Colloquium on Automata, Languages and Programming
AbbreviationICALP
DisciplineTheoretical Computer Science
Publication details
PublisherSpringer LNCS
History1972–
Frequencyannual (since 1980)

Traditionally, the conference was thematically split into two tracks on "Algorithms, Automata, Complexity and Games" (Track A) and Logic, "Semantics, and Theory of Programming" (Track B), corresponding to the (at least until 2005) two mainstreams of the journal Theoretical Computer Science. Beginning with the 2005 conference, a third track was added in order to allow the deeper coverage of a particular topic. From 2005 until 2008, the third track was dedicated to "Security and Cryptography Foundations" (Track C). According to the Bulletin of the European Association for Theoretical Computer Science, beginning with 2009, the third track will be devoted to the topic "Foundations of Modern Networks: Models, Algorithms, and Information Management" (tentative title).[1]

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. ^ Giorgio Aussiello, Letter from the president. Bulletin of the European Association for Theoretical Computer Science, No. 94, February 2008, pp.3-5.