Workshops Venue(See also the travel information page for how to get to the university.)
All the workshops take place at Kyoto University Clock Tower Centennial Hall (the building #3 on the main campus map). All the rooms and the reception desk are located on the first floor (one level above the ground). Enter the main entrance (on the south) and take an elevator in the lounge.
Workshop on Logic and Computational Complexity (LCC 2015)4-5 July 2015Organizers: Albert Atserias and Nao HirokawaWorkshop on Natural Language and Computer Science 3 (NLCS 3)5 July 2015Organizers: Larry Moss, Valeria de Paiva, Makoto KanazawaWorkshop on Quantum Computational Complexity (QCC)4 July 2015Organizers: Shigeru Yamashita (chair), Akinori Kawachi, Francois Le Gall, Masaki Nakanishi, Harumichi NishimuraWorkshop on Realistic Models for Algorithms in Wireless Networks (WRAWN)5 July 2015Organizers: Magnús M. Halldórsson (chair), David Peleg, Roger WattenhoferWorkshop on Syntax and Semantics for Low-Level Languages (LOLA 2015)5 July 2015Organizers: Shin-ya Katsumata and Ulrich Schöpp (co-chairs)Workshop on the Verification of Higher-Order Programs (HOPA)4 July 2015Organizer: Matthew HagueYoung Researchers Forum on Automata, Languages and Programming (YR-ICALP 2015)5 July 2015Organizer: Matias Korman (chair), Wolfgang Mulzer, André van Renssen, Marcel Roeloffzen, Rodrigo I. Silveira
|