1. Conferences and Workshops

• ICALP2015 and LICS2015 6-10 July 2015
• ICALP/LICS Satellite Workshops 4-5 July 2015
• Seminar on Combinatorial Optimization 21-23 July 2015
• Mathematical Semantics of Computer Systems 2-4 September 2015
• New Streams on Theoretical Computer Science 26-28 January 2016

ICALP2015 and LICS2015

• Date: 6-10 July 2015
• Venue: Grand Prince Hotel Kyoto
• Local Organizers: Masahito Hasegawa, Atsushi Igarashi, Kazuo Iwama, Kazuhisa Makino
• The main event of this RIMS project, comprised of two international conferences 42nd International Colloquium on Automata, Languages and Programming (ICALP 2015) and 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015)
• Features eleven keynote talks/tutorials and 200+ contributed talks
• Webpage: ICALP2015/LICS2015 Webpage

ICALP/LICS Satellite Workshops

• Date: 4-5 July 2015
• Venue: Clock Tower Centennial Hall and Research Building No.8, Kyoto University
• Local Organizers: Masahito Hasegawa, Atsushi Igarashi, Kazuo Iwama, Kazuhisa Makino
• Seven workshops: LCC2015, NLCS3, QCC, WRAWN, LOLA2015, HOPA, and YR-ICALP2015
• Webpage: ICALP/LICS 2015 Workshops

Seminar on Combinatorial Optimization

• Date: 21-23 July 2015
• Venue: Room 420, RIMS, Kyoto University
• Organizer: Kazuhisa Makino
• Webpage: TBA

Mathematical Semantics of Computer Systems: from Theory to Industry

• Date: 2-4 September 2015
• Venue: Room 111, RIMS, Kyoto University
• Organizer: Ichiro Hasuo
• Webpage: TBA

New Streams on Theoretical Computer Science (Winter LA Symposium)

• Date: 26-28 January 2016
• Venue: Room 420, RIMS, Kyoto University
• Organizer: Keisuke Tanaka
• Webpage: TBA

2. Visiting Professors

• Magnus M. Halldorsson (Reykjavik University) April-July 2015
• Endre Boros (Rutgers University) September-December 2015
• Ichiro Hasuo (University of Tokyo)

3. Organizers

• Masahito Hasegawa (Chair) (RIMS, Kyoto University)
• Atsushi Igarashi (School of Informatics, Kyoto University)
• Kazuo Iwama (School of Informatics, Kyoto University)
• Satoru Iwata (Graduate School of Information Science and Technology, University of Tokyo)
• Naoki Kobayashi (Graduate School of Information Science and Technology, University of Tokyo)
• Kazuhisa Makino (RIMS, Kyoto University)