All conferences / FMICS-AVoCS

FMICS-AVoCS

International Workshop on Formal Methods for Industrial Critical Systems (FMICS) and 17th International Workshop on Automated Verification of Critical Systems (AVoCS)

Editions listed2 Covered2016–2017 Rank nowCORE C ProceedingsPaywalled since 2017

Editions

Year	Ed.	Held	Where	Paper deadline	Accepted	Rate
2017	2	18–20 Sep 2017	Turin 🇮🇹	28 May +7 days	—	—
2016	1	26–29 Sep 2016	Pisa 🇮🇹	9 May +14 days	—	—

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

How it has reviewed and published

Practice	16	17
Proceedings	•	•

Practice

Proceedings

•

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.

Where it has met

Loads tiles from OpenStreetMap, which will see your IP address.

2 cities. 20162017

2 cities, 1 country, 1 continent.

CORE rank over time

C 2016–

Only the current rank is recorded; earlier rounds have not been checked.

Timing

Decision: 39 days after the deadline (31–48 over 2 editions)
Then: 87 days to the conference (82–92)

Deadline habits

Extended: 2 of 2 editions
Typical: 7–14 days
Longest: 14 days

An edition counts as firm only when it was checked; a deadline with no earlier date recorded is counted as not known, not as firm.

Elsewhere

Data: All editions as JSON

Notes carried over

Acceptance rate: 60% (12/20) in 2015 for FMICS only, 63% (11+24/24) in 2016 for FMICS+AVoCS, 10+4/22+8 (including special track) in 2017. Deadline extension: 1 week (2014 and 2015), 2 weeks (2016), 1 week (2017).

Kept verbatim from the old site while it is being turned into structured data.

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 🤓