FTSCS 2015
Fourth International Workshop on Formal Techniques for Safety-Critical Systems

(An ICFEM 2015 Satellite Event)

Paris, France, November 6 and 7, 2015

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.