词条 | International Colloquium on Automata, Languages and Programming |
释义 |
| history = 1972– | discipline = Theoretical computer science | abbreviation = ICALP | publisher = Springer LNCS | country= International | frequency = annual (since 1976) }}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 will instead be 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. 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, 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 (Track C) 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", and in 2009, it is devoted to the topic "Foundations of Networked Computation: Models, Algorithms and Information Management". Gödel Prize{{main|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
References1. ^[https://plus.google.com/+JeffErickson/posts/AUouqkpYAGD 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. * International Colloquium on Automata, Languages and Programming (ICALP), on EATCS web site.2. ^{{cite journal | last = Rozenberg | first = Grzegorz | last2 = Salomaa | first2 = Arto | title = ICALP, EATCS and Maurice Nivat | journal = Theoretical Computer Science | volume = 281 | pages = 25–30 | year = 2002 | doi = 10.1016/S0304-3975(02)00005-1 }}
| title=EATCS leaflet | journal=Bulletin of the EATCS | volume=97 | pages=212–214 | year=2009 | url=http://www.eatcs.org/images/bulletin/beatcs97.pdf }}.
| first=Aussiello | last=Giorgio | title=Letter from the president | journal=Bulletin of the EATCS | volume=94 | pages=3–5 | year=2008 | url=http://www.eatcs.org/images/bulletin/beatcs94.pdf }}.
| last=Kudlek | first=Manfred | title=Report on ICALP 2008 | journal=Bulletin of the EATCS | volume=96 | pages=131–140 | year=2008 | url=http://www.eatcs.org/images/bulletin/beatcs96.pdf }}. External links
3 : Theoretical computer science conferences|Automata (computation)|Recurring events established in 1972 |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。