From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10039 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Anuj Dawar Newsgroups: gmane.science.mathematics.categories Subject: ICALP - Call for Papers Date: Mon, 4 Nov 2019 14:57:25 +0000 Message-ID: Reply-To: Anuj Dawar Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="204157"; mail-complaints-to="usenet@blaine.gmane.org" To: categories@mta.ca Original-X-From: majordomo@rr.mta.ca Thu Nov 07 00:07:18 2019 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1iSUOT-000qtV-4R for gsmc-categories@m.gmane.org; Thu, 07 Nov 2019 00:07:17 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:34426) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1iSUMq-0002Md-VJ; Wed, 06 Nov 2019 19:05:36 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1iSUMO-0007K2-IM for categories-list@rr.mta.ca; Wed, 06 Nov 2019 19:05:08 -0400 Content-Language: en-GB Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:10039 Archived-At: Call for Papers - ICALP 2020 July 8-12 2020, Beijing, China Paper Submission: February 20, 2020, AoE https://easychair.org/conferences/?conf=3Dicalp2020 ICALP (International Colloquium on Automata, Languages and Programming) is the main European conference in Theoretical Computer Science and annual meeting of the European Association for Theoretical Computer Science (EATCS). ICALP 2020 will be hosted at Peking University, in co-location with LICS 2020 (ACM/IEEE Symposium on Logic in Computer Science). Submission Guidelines: see https://easychair.org/conferences/?conf=3Dical= p2020 Important Dates submission: February 20, 2020, AoE notifications: April 15, 2020 camera ready: April 28, 2020 Topics: ICALP 2020 will have the two traditional tracks A (Algorithms, Complexity and Games) and B (Automata, Logic, Semantics and Theory of Programming). Papers presenting original, unpublished research on all aspects of theoretical computer science are sought. Typical, but not exclusive topics are: Track A -- Algorithmic Aspects of Networks and Networking, Algorithms for Computational Biology, Algorithmic Game Theory, Combinatorial Optimization, Combinatorics in Computer Science, Computational Complexity, Computational Geometry, Computational Learning Theory, Cryptography, Data Structures, Design and Analysis of Algorithms, Foundations of Machine Learning, Foundations of Privacy, Trust and Reputation in Network, Network Models for Distributed Computing, Network Economics and Incentive-Based Computing Related to Networks, Network Mining and Analysis, Parallel, Distributed and External Memory Computing, Quantum Computing, Randomness in Computation, Theory of Security in Networks Track B -- Algebraic and Categorical Models, Automata, Games, and Formal Languages, Emerging and Non-standard Models of Computation, Databases, Semi-Structured Data and Finite Model Theory, Formal and Logical Aspects of Learning, Logic in Computer Science, Theorem Proving and Model Checking, Models of Concurrent, Distributed, and Mobile Systems, Models of Reactive, Hybrid and Stochastic Systems, Principles and Semantics of Programming Languages, Program Analysis and Transformation, Specification, Verification and Synthesis, Type Systems and Theory, Typed Calculi Chairs General chair: Xiaotie Deng (Peking University) PC Track A chair: Artur Czumaj (University of Warwick) PC Track B chair: Anuj Dawar (University of Cambridge) Venue The conference will be held at the Peking University, see http://econcs.pku.edu.cn/icalp2020/ Contact All questions about submissions should be emailed to the PC Track chairs:= Artur Czumaj A.Czumaj@warwick.ac.uk Anuj Dawar Anuj.Dawar@cl.cam.ac.uk [For admin and other information see: http://www.mta.ca/~cat-dist/ ]