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 Talks *

  • 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)
  • [Tutorial Lecture] Michael Plum (Karlsruhe Institute of Technology, Germany)

* Invited talks are planning to be opened to the public co-sponsored by Japan Science and Technology Agency (JST) / CREST, and Waseda University, Research Institute for Science and Engineering.

Special Session on Tools and HPC

  • David P. Sanders (National Autonomous University of Mexico, Mexico)
  • Masahide Kashiwagi (Waseda University, Japan)
  • Anastasia Volkova (INRIA, France)
  • Takeo Hoshi (Tottori University, Japan)
  • Florian B√ľnger (Hamburg University of Technology, Germany)

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

>> Registration page is here.

Early Registration
(before July 10)
Regular Registration
(July 11 — Aug. 31)
General JPY 50,000 JPY 60,000
Student JPY 40,000 JPY 50,000

* Student registration is available for undergraduate and graduate students ONLY. The student rate is not available to post-doctorates.
* The registration fee includes lunch expenses for Sep. 11, 12 and 13 (JPY 500 per one meal).
* The registration fee includes bus transportation expense (JPY 2,000 for round trip to Hakone on Sep. 14 & 15), and accommodation fee at Hakone (JPY 8,000 for Sep. 14’s night).
* At Hakone, following Japanese tradition, Japanese style rooms are shared by 5 to 8 persons. If you prefer a single room, we will prepare a single room in nearby hotel with extra expense JPY 15,000. In that case, please contact us by the end of July.
* At Hakone, if you come with your family, please contact us by the end of July. Attendance fee for accompany persons is JPY 10,000 per person. We might provide one room for your family.

Access

Venue

The International Conference Center at Waseda University
1-104 Totsukamachi, Shinjuku-ku, Tokyo, 169-8050, JAPAN
[view on map]

Nearest Station :
Tokyo Metro Tozai Line, Waseda Station

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 Booking.com 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

Scientific Committee

Scientific Committee

  • G. Alefeld (Karlsruhe, Germany)
  • A. Bauer (Ljubljana, Slovenia)
  • G.F. Corliss (Milwaukee, USA)
  • T. Csendes (Szeged, Hungary)
  • R.B. Kearfott (Lafayette, USA)
  • V. Kreinovich (El Paso, USA)
  • W. Luther (Duisburg, Germany)
  • G. Mayer (Rostock, Germany)
  • J.-M. Muller (Lyon, France)
  • M. Nakao (Tokyo, Japan)
  • T. Ogita (Tokyo, Japan)
  • S. Oishi (Tokyo, Japan)
  • K. Ozaki (Tokyo, Japan)
  • M. Plum (Karlsruhe, Germany)
  • A. Rauh (Rostock, Germany)
  • N. Revol (Lyon, France)
  • J. Rohn (Prague, Czech Republic)
  • S. Rump (Hamburg, Germany/Tokyo, Japan)
  • S. Shary (Novosibirsk, Russia)
  • W. Tucker (Uppsala, Sweden)
  • W. Walter (Dresden, Germany)
  • J. Wolff von Gudenberg (Wuerzburg, Germany))
  • N. Yamamoto (Tokyo, Japan)

Organization Committee

  • Shin’ichi Oishi (Waseda University), chair.
  • Masahide Kashiwagi (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)
  • Kouta Sekine (Toyo University)
  • Yusuke Morikura (Teikyo Heisei University)
  • Yuka Yanagisawa (Waseda University)
  • Kazuaki Tanaka (Waseda University), secretary.
  • Ryo Kobayashi (Waseda University)
  • Makoto Mizuguchi (Waseda University)
  • Shinya Uchiumi (Waseda University)

Contact

scan2018@oishi.info.waseda.ac.jp

Co-Sponsors