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

(An ICFEM 2012 Satellite Event)

Kyoto, Japan, November 12, 2012

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.