From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10222 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: Anuj Dawar Newsgroups: gmane.science.mathematics.categories Subject: ICALP 2020 - call for participation Date: Mon, 1 Jun 2020 11:03:06 +0100 Message-ID: Reply-To: Anuj Dawar Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="78536"; mail-complaints-to="usenet@ciao.gmane.io" To: categories@mta.ca Original-X-From: majordomo@rr.mta.ca Mon Jun 01 21:21:44 2020 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1jfq0F-000KJT-KZ for gsmc-categories@m.gmane-mx.org; Mon, 01 Jun 2020 21:21:43 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:55148) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1jfpy6-0007EW-QN; Mon, 01 Jun 2020 16:19:30 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1jfpvA-0000kP-OZ for categories-list@rr.mta.ca; Mon, 01 Jun 2020 16:16:28 -0300 Content-Language: en-GB Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10222 Archived-At: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D ICALP 2020 - Call for Participation https://icalp2020.saarland-informatics-campus.de =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 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= =2E 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. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Invited Speakers =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D - 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) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D High quality papers =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 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/ =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Special Events =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D - 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 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Programme and Registration =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 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 author= s 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/ ]