FTSCS 2018
Sixth International Workshop on Formal Techniques for Safety-Critical Systems

(An ICFEM 2018 Satellite Event)

Gold Coast, Australia, November 16, 2018

FTSCS will take place in Gold Coast, Australia, which seems to be a quite large city at the beach close to Brisbane. Brisbane is well connected to many cities around the world.

Please see the ICFEM 2018 web page for more information.