FTSCS 2019
Seventh International Workshop on Formal Techniques for Safety-Critical Systems

(An ICFEM 2019 Satellite Event)

Shenzhen, China, November 5 or 9, 2019


Please see the ICFEM 2018 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.