Monday, May 10, 2021

[DMANET] ICALP 2021, 13-16 July 2021: Call for Participation

====================================================================
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, Antonio 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 Koetinsky, 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


==================
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: mailto:icalp2021@glasgow.ac.uk

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


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

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************