FTSCS 2015
Fourth International Workshop on Formal Techniques for Safety-Critical Systems

(An ICFEM 2015 Satellite Event)

Paris, France, November 6 and 7, 2015


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.