From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10486 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Simon Gay Newsgroups: gmane.science.mathematics.categories Subject: ICALP 2021 Call for Participation Date: Fri, 14 May 2021 12:02:55 +0100 Message-ID: Reply-To: Simon Gay Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="37793"; mail-complaints-to="usenet@ciao.gmane.io" To: Original-X-From: majordomo@rr.mta.ca Sun May 16 19:42:33 2021 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.75]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1liKme-0009f0-RD for gsmc-categories@m.gmane-mx.org; Sun, 16 May 2021 19:42:32 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:57796) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1liKjk-0007G7-Ej; Sun, 16 May 2021 14:39:32 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1liKdA-0002MA-Sb for categories-list@rr.mta.ca; Sun, 16 May 2021 14:32:44 -0300 Content-Language: en-GB Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10486 Archived-At: ==================================================================== 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/Temporal-Graphs-ICALP-2021.html * 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/ ]