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

(An ICFEM 2016 Satellite Event)

Tokyo, Japan, November 14, 2016

The workshop will take place in Conference Room 3D (3rd floor) at the conference venue, which should be the TKP Ichigaya Conference Centre in Tokyo.

Please see the ICFEM 2016 web page for more information.

Grand Arch de la Défense

FTSCS will place in Paris, undoubtedly one of the world's most beautiful cities. More precisely, it will take place at the Conservatoire National des Arts et Métiers, which is smack in the center of Paris (Metro: Arts et Métiers, for example).

Please see the ICFEM 2015 "Venue" site for further information.

FTSCS is hosted in Kyoto, the ancient former capital of Japan. Kyoto is home of several World Heritage Sites.

The workshop venue is Building No. 1 in the Kyoto Research Park at Tambaguchi Station. The station is one stop from Kyoto station on the JR San'in Honsen (JR Sagano line).

Kyoto is spectacular to see in autumn, as these photos can hopefully attest.