Edit
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
Contact
Peter Ölveczky
and
Cyrille Artho