FTSCS 2018
Sixth International Workshop on Formal Techniques for Safety-Critical Systems

(An ICFEM 2018 Satellite Event)

Gold Coast, Australia, November 16, 2018

FTSCS will take place in Gold Coast, Australia, which seems to be a quite large city at the beach close to Brisbane. Brisbane is well connected to many cities around the world.

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