categories - Category Theory list
 help / color / mirror / Atom feed
From: Anuj Dawar <anuj.dawar@cl.cam.ac.uk>
To: categories@mta.ca
Subject: ICALP 2020 - call for participation
Date: Mon, 1 Jun 2020 11:03:06 +0100	[thread overview]
Message-ID: <E1jfpvA-0000kP-OZ@rr.mta.ca> (raw)

=========================================
ICALP 2020 - Call for Participation

https://icalp2020.saarland-informatics-campus.de
=========================================

The 47th International Colloquium on Automata, Languages, and
Programming (ICALP)
will take place online on 8-11 July, 2020.  The conference is organized
by the Saarland Informatics Campus and held in conjunction with LICS 2020.

ICALP is the main conference and annual meeting of the European
Association for
Theoretical Computer Science (EATCS). The conference will be preceded by
a series
of workshops, which will take place on 6-7 July 2020.

=================
Invited Speakers
=================
- Stefan Kiefer, University of Oxford (Track B)
- Robert Krauthgamer, the Weizmann Institute of Science (Track A)
- Jerome Leroux, University of Bordeaux (Joint ICALP-LICS plenary speaker)
- Virginia Vassilevska Williams, MIT (Track A)
- Andrew Yao, Tsinghua University (Joint ICALP-LICS plenary speaker)

====================
High quality papers
====================
ICALP 2020 features 138 high quality papers, spanning two thematic tracks:

- Track A: Algorithms, Complexity and Games
- Track B: Automata, Logic, Semantics, and Theory of Programming

For the list of accepted papers, see:
https://icalp2020.saarland-informatics-campus.de/programme/

===============
Special Events
===============
- Awards sessions, including:

The EATCS Award: Mihalis Yannakakis
The Presburger Award: Dmitriy Zhuk
The Goedel Prize: Robin Moser and Gabor Tardos

- The EATCS General Assembly

===================
Programme and Registration
===================

Video recordings of all contributed talks will be made available a
few days before the conference.  Invited talks will be streamed live at
fixed time according to the programme (with recordings available to
view later).  There will be live question and answer sessions with authors
of contributed papers during the conference.

All talks are available to view free of cost.  Participation in live
question and answer sessions requires registration.  This is free of
cost (except for registration fees required of authors).

For the detailed programme see:
https://icalp2020.saarland-informatics-campus.de/programme/




[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


                 reply	other threads:[~2020-06-01 10:03 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=E1jfpvA-0000kP-OZ@rr.mta.ca \
    --to=anuj.dawar@cl.cam.ac.uk \
    --cc=categories@mta.ca \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
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).