[TYPES/announce] ICALP 2021 Call for Participation

[Simon Gay]

====================================================================
                        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 at glasgow.ac.uk

For enquiries, registration support, travel and logistics please contact:
Easy Conferences
Email: info at easyconferences.eu
Tel: +357 22 591 900


===============
Twitter Account
===============
@ICALPconf
https://twitter.com/ICALPconf