[TYPES/announce] ICALP - call for papers

[Anuj Dawar]

Call for Papers - ICALP 2020
July 8-12 2020, Beijing, China

Paper submission deadline: February 12, 2020, AoE
https://easychair.org/conferences/?conf=icalp2020

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).


Invited speakers:
Track A: Virginia Vassilevska (MIT), Robert Krauthgamer (Weizmann)
Track B: Stefan Kiefer (Oxford)
Joint ICALP-LICS: Andrew Yao (Tsinghua), Jérôme Leroux (Bordeaux)

Submission Guidelines: see https://easychair.org/conferences/?conf=icalp2020

Important Dates
submission: February 12, 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 - including Algorithmic Game Theory, Distributed
Algorithms and Parallel, Distributed and External Memory Computing) 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 at warwick.ac.uk<mailto:A.Czumaj at warwick.ac.uk>
Anuj Dawar Anuj.Dawar at cl.cam.ac.uk<mailto:Anuj.Dawar at cl.cam.ac.uk>


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 473 bytes
Desc: OpenPGP digital signature
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200123/0234afec/attachment.asc>