categories - Category Theory list
 help / color / mirror / Atom feed
* ICALP 2021 Call for Participation
@ 2021-05-14 11:02 Simon Gay
  0 siblings, 0 replies; only message in thread
From: Simon Gay @ 2021-05-14 11:02 UTC (permalink / raw)
  To: categories

====================================================================
                         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/ ]


^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2021-05-14 11:02 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-05-14 11:02 ICALP 2021 Call for Participation Simon Gay

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).