[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
====================================================================
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: icalp2...@glasgow.ac.uk
For enquiries, registration support, travel and logistics please contact:
Easy Conferences
Email: i...@easyconferences.eu
Tel: +357 22 591 900
===============
Twitter Account
===============
@ICALPconf
https://twitter.com/ICALPconf
