CAUTION: The Sender of this email is not from within Dalhousie. ==================================================================== 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/~kretinsk/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 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]