Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

8 - 12 July 2020, 47th International Colloquium on Automata, Languages and Programming (ICALP 2020), Beijing, China

Date: 8 - 12 July 2020
Location: Beijing, China
Deadline: Wednesday 12 February 2020

The 47th International Colloquium on Automata, Languages and Programming (ICALP 2020), the main European conference in Theoretical Computer Science and annual meeting of the European Association for Theoretical Computer Science (EATCS), will take place in Beijing (China) on 8 - 12 July 2020. ICALP 2020 will have the two traditional tracks A (Algorithms, Complexity and Games) and B (Automata, Logic, Semantics and Theory of Programming). ICALP 2020 will be hosted at Peking University, in co-location with LICS 2020.

Authors are invited to submit an extended abstract of no more than 12 pages, excluding references and the front page(s) (authors, affiliation, keywords, abstract, ...), presenting original research on the theory of computer science. All submissions must be formatted in the LIPIcs style and submitted via Easychair to the appropriate track of the conference. No prior publication and no simultaneous submission to other publication outlets (either a conference or a journal) is allowed.

For more information, see http://econcs.pku.edu.cn/icalp2020/.