FVSBS

International track on Formal Verification of Service Based Systems

Editions listed5 Covered2015–2019 Rank nowCORE absent

Editions

Year	Ed.	Held	Where	Paper deadline	Accepted	Rate
2019	7	12–14 Jun 2019	Naples 🇮🇹	12 Mar +20 days	—	—
2018	6	27–29 Jun 2018	Paris 🇫🇷	28 Feb	—	—
2017	5	21–23 Jun 2017	Poznań 🇵🇱	15 Mar +28 days	—	—
2016	4	13–16 Jun 2016	Paris 🇫🇷	25 Feb	—	—
2015	3	15–17 Jun 2015	Larnaca 🇨🇾	28 Feb	—	—

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

Where it has met

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

4 cities. 20152019

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: 20–28 days
Longest: 28 days
Not known: 3 editions

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

Deadline extensions: 10 days in 2013, 24 days in 2014, 15 days in 2015, 11+18 days in 2017, 13+7 days in 2019.

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 🤓