FTSCS 2012
First International Workshop on Formal Techniques for Safety-Critical Systems

(An ICFEM 2012 Satellite Event)

Kyoto, Japan, November 12, 2012

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.