[TYPES/announce] ICALP - call for papers - Correction

Anuj Dawar anuj.dawar at cl.cam.ac.uk
Tue Nov 5 05:29:37 EST 2019


The call for papers for ICALP circulated yesterday had an error on it.
The submission deadline given was incorrect.  A correct version is below.

---

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

Paper Submission: 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).

Submission Guidelines: see https://easychair.org/conference /?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) 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 Memor
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
Anuj Dawar 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/20191105/64ce5690/attachment-0001.asc>


More information about the Types-announce mailing list