Invited Speakers

Invited Speakers

  • Jan Bouwe van den Berg (VU Amsterdam, Netherlands)
  • Claude-Pierre Jeannerod (Inria / ENS Lyon, France)
  • Jean-Pierre Merlet (Inria Sophia Antipolis, France)
  • Mitsuhiro T. Nakao (Waseda University, Japan)
  • TBA (Winner of R. E. Moore Prize 2018)

Plenary Session Speakers on Tools and HPC

  • Florian Bünger (Hamburg Univeersity of Technology, Germany)
  • Takeo Hoshi (Tottori University, Japan)
  • Masahide Kashiwagi (Waseda University, Japan)
  • David P. Sanders (National Autonomous University of Mexico, Mexico)

Important Dates

April 10, 2018 Deadline of extended abstract submission
June 10, 2018 Notification of acceptance (tentative)
July 10, 2018 Deadline of early registration

Registration Information

Early Registration
(before July 10, 2018)
Regular Registration
(after July 11, 2018)
General JPY 50,000 JPY 60,000
Student JPY 40,000 JPY 50,000

* Students must show a current student ID upon checking in at the registration desk.
* Student registration is available for undergraduate and graduate students ONLY. The student rate is not available to post-doctorates.



The International Conference Center at Waseda University
1-104 Totsukamachi, Shinjuku-ku, Tokyo, 169-8050, JAPAN

Nearest Station : Tokyo Metro Tozai Line, Waseda Station
Map : The International Conference Center

Access to the venue

Location in Tokyo

  • Located in Shinjuku ward, western part of central Tokyo
  • Shinjuku has direct limousine bus from Haneda & Narita Airports
    • Narita International Airport <-> Shinjuku Station
    • By Airport Limousine Bus
      Travel time: approx. 100 minutes
      Fare: 3,100 JPY / one way
      By N’EX (Narita Express)
      Travel time: approx. 85 minutes
      Fare: 2,990 JPY / one way
    • Haneda Airport <-> Shinjuku Station
    • By Airport Limousine Bus
      Travel time: approx. 30 minutes
      Fare: 1,230 JPY / one way

Hotel Information

There are over 3,200 rooms within 30 minutes by walk to the venue, as listed in the table below. However, the hotels in Tokyo during the conference are expected to be crowded. We encourage you to make hotel reservations by yourself early because the organizing committee does not keep rooms for attendances.

Search Hotels

You can find your hotel at around …

See access from each station to venue.

Featured Hotels

Rank Name Rooms Single
Access to Venue
A Rihga Royal Hotel Tokyo 126 ¥16000/$145.45
5 min. walk
B Richmond Hotel Tokyo Mejiro 120 ¥15230/$138.45
25 min. walk
B Hotel Metropolitan Tokyo Ikebukuro 807 ¥19300/$175.45
25 min. walk
B Citadines Central Shinjuku Tokyo 206 ¥18230/$165.73
20 min. by train
C Hotel Mets Mejiro 95 ¥11250/$102.27
25 min. walk
D Hotel Sunroute Higashi-Shinjuku 311 ¥13570/$123.36
25 min. walk
D Hotel Sunroute Takadanobaba 192 ¥9500/$86.36
20 min. walk
D Keio Presso Inn Ikebukuro 231 ¥9200/$83.64
15 min. by train
D Via Inn Shinjuku 226 ¥9300/$84.55
20 min. by train
E Tokyo Central Youth Hostel (dormitory type) 140 ¥4650/$38.75
15 min. by train

*The room charges above is tentative of 2017 and calculated on exchange rate of 1 USD = JPY 110.
*The price is for reference only and subject to change.

Organization Committee

  • Shin’ichi Oishi (Waseda University)
  • Takeshi Ogita (Tokyo Woman’s Christian University)
  • Siegfried M. Rump (Hamburg University of Technology / Waseda University)
  • Nobito Yamamoto (The University of Electro-Communications)
  • Daisuke Takahashi (Waseda University)
  • Yoshitaka Watanabe (Kyushu University)
  • Kenta Kobayashi (Hitotsubashi University)
  • Katsuhisa Ozaki (Shibaura Institute of Technology)
  • Naoya Yamanaka (Meisei University)
  • Kazuaki Tanaka (Waseda University, Secretary)