Conference Information

• Home
• Important Dates
• Committees
• Call for Papers
• Invited Speakers
• Submission
• Accepted Papers
• Program
• Pre-proceedings

General Information

• Venue
• Accommodation
• Registration

* Program

• Traveling Info
• Contact
• Sponsors

FTSCS 2012 First International Workshop on Formal Techniques for Safety-Critical Systems
(An ICFEM 2012 Satellite Event)
Kyoto, Japan, November 12, 2012