conferences.computer.science

All conferences / FTSCS

FTSCS

ACM International Workshop on Formal Techniques for Safety-Critical Systems

Editions listed8 Covered2013–2023 Rank nowCORE absent ProceedingsPaywalled
Discontinued

Discontinued after 2023.

Editions

YearEd.HeldWhere Paper deadlineAcceptedRate
2023 9 22 Oct 2023 Cascais πŸ‡΅πŸ‡Ή 21 Jul +9 days — —
2022 8 7 Dec 2022 Auckland πŸ‡³πŸ‡Ώ 8 Sep +7 days — —
2019 7 11 Nov 2019 Shenzhen πŸ‡¨πŸ‡³ 3 Sep — —
2018 6 16 Nov 2018 Gold Coast πŸ‡¦πŸ‡Ί 11 Sep +7 days 10 / 22 45%
2016 5 14–15 Nov 2016 Tōkyō πŸ‡―πŸ‡΅ 4 Sep 9 / 23 39%
2015 4 2–3 Nov 2015 Paris πŸ‡«πŸ‡· 13 Sep +8 days 17 / 46 37%
2014 3 6–7 Nov 2014 Luxembourg πŸ‡±πŸ‡Ί 12 Sep 14 / 40 35%
2013 — — — 18 / 33 55%

A missing year does not mean the conference did not meet: coverage before 2013 has not been verified.

Acceptance rate over time

0%30%60%
  1. 2018 45% 10/22
  2. 2016 39% 9/23
  3. 2015 37% 17/46
  4. 2014 35% 14/40
  5. 2013 55% 18/33

Scale runs to 60%; the mid-line marks 30%. No figure published for 2019, 2022, 2023.

Submissions

  1. 2018 22
  2. 2016 23
  3. 2015 46
  4. 2014 40
  5. 2013 33

Scaled to this conference's own busiest year (46), so the shape is comparable across its editions but not between conferences.

How it has reviewed and published

Practice 14151618192223
Proceedings • • • • • • •
Anonymity             S

A blank cell means nobody has checked that year, not that the answer is no. Licences are read as recorded on the edition, never inherited from the publisher.

Spotted something wrong on this page? Tell us, with a source if you have one ↗

Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the call for papers and/or the Web sites and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers might then move deadlines without telling anyone, which may lead to inconsistencies. So, treat this small page as a well-meaning notebook rather than an authority πŸ€“