==================================================================== CALL FOR PARTICIPATION
48th International Colloquium on Automata, Languages and Programming
ICALP 2021
online from the University of Glasgow, Scotland, 13-16 July 2021
https://easyconferences.eu/icalp2021/ ====================================================================
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 ==================
http://easyconferences.eu/icalp2021/accepted/
================= 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
http://community.dur.ac.uk/george.mertzios/Workshops/ICALP-21-Satellite/Temp...
* VEST: Verification of Session Types Organisers: Ornela Dardha, António Ravara https://sites.google.com/view/vest21/home
* 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 https://core.dais.is.tohoku.ac.jp/en/report/event/detail/---id-27.html
* Formal Methods Education Online: Tips, Tricks & Tools Organisers: Jan Křetínský, Maximilian Weininger, Thomas Zeume https://www7.in.tum.de/%7Ekretinsk/fomeo.html
* Flavours of Uncertainty in Verification, Planning and Optimization (FUNCTION) Organisers: Moritz Hahn, Nils Jansen, Gethin Norman https://function-2021.cs.ru.nl
============ Registration ============
http://easyconferences.eu/icalp2021/registration/
* Author registration until 15 June * Standard registration until 30 June * Late registration from 1 July * Low-cost registration for non-authors * Free registration for PhD students at Scottish universities, sponsored by SICSA (Scottish Informatics and Computer Science Alliance). Free registrations are limited to 2 author registrations and 30 non-author registrations, and will be allocated on a first-come-first-served basis.
================== Student volunteers ==================
We have a student volunteer programme which offers free registration in exchange for technical assistance with running the sessions. Please check http://easyconferences.eu/icalp2021/registration/ 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 Email: icalp2021@glasgow.ac.uk
For enquiries, registration support, travel and logistics please contact: Easy Conferences Email: info@easyconferences.eu Tel: +357 22 591 900
=============== Twitter Account =============== @ICALPconf https://twitter.com/ICALPconf