From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8620 Path: news.gmane.org!not-for-mail From: Andrzej Murawski Newsgroups: gmane.science.mathematics.categories Subject: ICALP/LICS 2015: Call for Participation Date: Fri, 22 May 2015 09:22:44 +0100 Message-ID: References: Reply-To: Andrzej Murawski NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1432316674 30543 80.91.229.3 (22 May 2015 17:44:34 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 22 May 2015 17:44:34 +0000 (UTC) To: Original-X-From: majordomo@mlist.mta.ca Fri May 22 19:44:26 2015 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.127]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Yvqzh-0007xV-Mw for gsmc-categories@m.gmane.org; Fri, 22 May 2015 19:44:25 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:37031) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1Yvqyl-0001Aj-0O; Fri, 22 May 2015 14:43:27 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1Yvqyk-0003Gg-EN for categories-list@mlist.mta.ca; Fri, 22 May 2015 14:43:26 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8620 Archived-At: ***** Call for Participation ***** ***** ICALP/LICS 2015 in KYOTO (July 4-10, 2015) ***** EARLY REGISTRATION DEADLINE: June 12 (local time) http://www.kurims.kyoto-u.ac.jp/icalp-lics2015 Joint Conference of The 42nd International Colloquium on Automata, Languages, and Programming (ICALP 2015) and The Thirtieth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) will be held in July 6-10, 2015, in Kyoto. Eleven invited talks and about 240 papers on all areas of theoretical computer science and logic in computer science will be presented at Grand Prince Hotel Kyoto. Also, seven workshops will take place at Kyoto University on July 4 and 5. INVITED SPEAKERS Piotr Indyk (MIT, USA) Ken-ichi Kawarabayashi (NII, Japan) Daniel Kifer (Pennsylvania State University, USA) Valerie King (University of Victoria, Canada) Thomas Moscibroda (Microsoft Research and Tsinghua University, China) Anca Muscholl (Universit=C3=A9 Bordeaux, France) Peter O'Hearn (Facebook and University College London, UK) Luke Ong (University of Oxford, UK) Andrew Pitts (University of Cambridge, UK) Geoffrey Smith (Florida International University, USA) Ryuhei Uehara (JAIST, Japan) WORKSHOPS Workshop on Logic and Computational Complexity (LCC 2015) Workshop on Natural Language and Computer Science 3 (NLCS 3) Workshop on Quantum Computational Complexity (QCC) Workshop on Realistic Models for Algorithms in Wireless Networks (WRAWN) Workshop on Syntax and Semantics for Low-Level Languages (LOLA 2015) Workshop on the Verification of Higher-Order Programs (HOPA) Young Researchers Forum on Automata, Languages and Programming (YR-ICALP 20= 15) REGISTRATION The registration page and the hotel reservation page are already open. The early registration deadline is June 12 (local time). For more details please visit our conference webpage: http://www.kurims.kyoto-u.ac.jp/icalp-lics2015 Looking forward to seeing you in Kyoto! Local Organizers: Masahito Hasegawa (Kyoto University) Atsushi Igarashi (Kyoto University) Kazuo Iwama (Kyoto University) Kazuhisa Makino (Kyoto University) CONTACT icalp-lics2015@kurims.kyoto-u.ac.jp [For admin and other information see: http://www.mta.ca/~cat-dist/ ]