FTSCS 2016
Fifth International Workshop on Formal Techniques for Safety-Critical Systems

(An ICFEM 2016 Satellite Event)

Tokyo, Japan, November 14, 2016

Please see the ICFEM 2016 web page.

The workshop will take place close to downtown Paris, with very convenient Metro access from anywhere, so there should be many hotels to choose from using your favorite hotel booking site.

The best selection of available hotels can probably be found via online portals such as http://booking.com/ or http://travel.rakuten.com/ . Please check the location of the hotel; for FTSCS and ICFEM, a hotel near Kyoto station, Tanbaguchi station (one stop west of Kyoto), or Nijo station (one stop north of the conference site) is ideal. Please make your travel preparations ASAP as November is peak travel season in Kyoto.