Call for abstracts

All participants interested in presenting a contribution are asked to submit a short abstract (1 to 2 pages in PDF-format) using the provided LaTeX template. The deadline of the submission is April 24, 2018 May 7, 2018.

  • Submission System : Here

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 University 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 24, 2018
May 7, 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

Name Rooms Access to Venue
Rihga Royal Hotel Tokyo 126 5 min. walk
Richmond Hotel Tokyo Mejiro 120 25 min. walk
Hotel Metropolitan Tokyo Ikebukuro 807 25 min. walk
Citadines Central Shinjuku Tokyo 206 20 min. by train
Hotel Mets Mejiro 95 25 min. walk
Hotel Sunroute Higashi-Shinjuku 311 25 min. walk
Hotel Sunroute Takadanobaba 192 20 min. walk
Keio Presso Inn Ikebukuro 231 15 min. by train
Via Inn Shinjuku 226 20 min. by train
Tokyo Central Youth Hostel (dormitory type) 140 15 min. by train

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)
  • Yuka Yanagisawa (Waseda University)
  • Kazuaki Tanaka (Waseda University, Secretary)