AVoCS

International Workshop on Automated Verification of Critical Systems

Editions listed5 Covered2015–2019 Rank nowCORE absent

Editions

Year	Ed.	Held	Where	Paper deadline	Accepted	Rate
2019	19	30 Sep – 1 Oct 2019	Grenoble 🇫🇷	16 Jun +14 days	—	—
2018	18	18–19 Jul 2018	Oxford 🏴󠁧󠁢󠁥󠁮󠁧󠁿	20 Apr +5 days	—	—
2017 Held jointly	17		—	—	—	—
2016 Held jointly	16		—	—	—	—
2015	15	1–4 Sep 2015	Edinburgh 🏴󠁧󠁢󠁳󠁣󠁴󠁿	19 Jun	—	—

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

CORE rank over time

absent 2015–

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

Deadline habits

Extended: 2 of 2 editions
Typical: 5–14 days
Longest: 14 days
Not known: 1 edition

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), 5 days (2018), 14 days (2019).

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

Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the announcement and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers then move deadlines without telling anyone, calls get edited in place, and now and then the typing is simply wrong. Treat this as a well-meaning notebook rather than an authority, and check the conference’s own page before you submit anything you care about.