Monday, May 10, 2021

[DMANET] ICALP 2021, 13-16 July 2021: Call for Participation


48th International Colloquium on Automata, Languages and Programming

ICALP 2021

online from the University of Glasgow, Scotland, 13-16 July 2021

ICALP is the main conference and annual meeting of the European
Association for Theoretical Computer Science (EATCS).

* Track A: Algorithms, Complexity and Games
(PC Chair: Nikhil Bansal, CWI Amsterdam, Netherlands)

* Track B: Automata, Logic, Semantics, and Theory of Programming
(PC Chair: James Worrell, University of Oxford, UK)

Invited Speakers

Unifying Invited Speakers:
Adi Shamir, Weizmann Institute of Science, Israel
Toniann Pitassi, University of Toronto, Canada
Andrei Bulatov, Simon Fraser University, Canada

* Track A Invited Speakers:
Keren Censor-Hillel, Technion, Israel
David Woodruff, Carnegie Mellon University, USA

* Track B Invited Speaker:
Christel Baier, Technical University of Dresden, Germany

Contributed papers

Conference format

* Afternoons, European time, 13-16 July
* Full-length invited talks
* Contributed papers have 5-minute live talk, live Q&A,
25-minute video available in advance
* Workshops: full day, European time, 11-12 July

Workshops - 11-12 July 2021

* Algorithmic Aspects of Temporal Graphs IV
Organisers: George B. Mertzios, Paul G. Spirakis, Eleni C. Akrida, Viktor Zamaraev

* VEST: Verification of Session Types
Organisers: Ornela Dardha, Antonio Ravara

* 2nd Workshop on Programming Research in Mainstream Languages (PRiML 2021)
Organisers: Seyed Hossein, Paul Keir

* Graph Width Parameters: from Structure to Algorithms (GWP 2021)
Organisers: Flavia Bonomo, Nick Brettell, Andrea Munaro, Daniel Paulusma

* Combinatorial Reconfiguration
Organisers: Takehiro Ito, Jun Kawahara, Yoshio Okamoto

* Formal Methods Education Online: Tips, Tricks & Tools
Organisers: Jan Koetinsky, Maximilian Weininger, Thomas Zeume

* Flavours of Uncertainty in Verification, Planning and Optimization (FUNCTION)
Organisers: Moritz Hahn, Nils Jansen, Gethin Norman


* Author registration until 15 June
* Standard registration until 30 June
* Late registration from 1 July
* Low-cost registration for non-authors

Student volunteers

We have a student volunteer programme which offers free registration
in exchange for technical assistance with running the sessions.
Please check for details.

ICALP 2021 Organizing Committee

Simon Gay, Conference Chair

Oana Andrei
Ornela Dardha
Jessica Enright
David Manlove
Kitty Meeks
Alice Miller
Gethin Norman
Sofiat Olaosebikan
Michele Sevegnani

Contact us

For enquiries on academic programme please contact:
Local Organizing Committee

For enquiries, registration support, travel and logistics please contact:
Easy Conferences
Tel: +357 22 591 900

Twitter Account

* Contributions to be spread via DMANET are submitted to
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.