Formal Techniques for Safety-Critical Systems

6th FTSCS 2018: Gold Coast, Australia

5th FTSCS 2016: Tokyo, Japan

4th FTSCS 2015: Paris, France

3rd FTSCS 2014: Luxembourg

2nd FTSCS 2013: Queenstown, New Zealand

1st FTSCS 2012: Kyoto, Japan

maintained by Schloss Dagstuhl LZI, founded at University of Trier