[TYPES/announce] ICALP/LICS 2015: Call for Participation

[Andrzej Murawski]

***** 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é 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 2015)

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 at kurims.kyoto-u.ac.jp