Conference series Beta

International Workshop on Formal Techniques for Safety-Critical Systems

FTSCS

Events (9)

20122023

Year	No.	Event	Place	Date
2023	9	Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2023, Cascais, Portugal, 22 October 2023	Cascais
2022	8	Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2022, Auckland, New Zealand, 7 December 2022	Auckland
2019	7	Formal Techniques for Safety-Critical Systems - 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers	Shenzhen
2018	6	Formal Techniques for Safety-Critical Systems - 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers FTSCS	Gold Coast	2018-11-16
2016	5	International Workshop on Formal Techniques for Safety-Critical Systems FTSCS	Tokyo	2016-11-14
2015	4	International Workshop on Formal Techniques for Safety-Critical Systems FTSCS	Paris	2015-11-06/07
2014	3	International Workshop on Formal Techniques for Safety-Critical Systems FTSCS	Luxembourg	2014-11-06/07
2013	2	International Workshop on Formal Techniques for Safety-Critical Systems FTSCS	Queenstown	2013-10-29/30
2012		Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2012, Kyoto, Japan, November 12, 2012. FTSCS	Kyoto	2012-11-12

The records of the sources that this identifier brings together (cr:sameAs).

Springer LOD (2018)	`http://lod.springer.com/data/confseries/ftscs`
confref portal (2020)	`https://id.confref.org/data/confref-portal/series/ftscs`
Wikidata	`http://www.wikidata.org/entity/Q105696153`
dblp	`https://dblp.org/streams/conf/ftscs`
GND	`https://d-nb.info/gnd/1092554068`

International Workshop on Formal Techniques for Safety-Critical Systems. confref identifier s109qna. https://id.confref.org/series/s109qna

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.