[TYPES/announce] ICALP 2020 - Conference relocation and deadline extension

[Anuj Dawar]

=======  ICALP 2020 - Conference relocation and deadline extension ========


The ICALP and the LICS steering committee have agreed together with the
conference chairs in Beijing
to relocate the two conferences. ICALP and LICS 2020 will take place in
Saarbrücken, Germany,
July 8-11 (with satellite workshops on July 6-7).

We are very grateful to our colleagues in Beijing, for the organization
so far, to the colleagues
from Saarbrücken, who generously accepted this challenging task, and to
all members of
the TCS community who offered their help in this difficult situation.

The deadline is extended, see below.
__________________________________________________________________________

Call for Papers - ICALP 2020
July 8-11 2020, Saarbrücken, Germany (NEW)

Paper submission deadline: Tuesday February 18, 2020, 6am GMT  (NEW)
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 on the Saarland Informatics
Campus
in Saarbrücken, 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 18, 2020, 6am GMT
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


PC Track A chair: Artur Czumaj (University  of Warwick)
PC Track B chair: Anuj Dawar (University of Cambridge)


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: 529 bytes
Desc: OpenPGP digital signature
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200207/8ed8d0f2/attachment.asc>