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

(An ICFEM 2019 Satellite Event)

Shenzhen, China, November 9, 2019

FTSCS 2019 will take place in Shenzhen, China, which is close to Hong Kong.

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