ABZ

International Conference on Rigorous State Based Methods

Editions listed10 Covered2014–2027 Rank nowCORE absent ProceedingsPaywalled Chairs & speakers4 of 23 women, 7 expected

Editions

Year	Ed.	Held	Where	Paper deadline	Accepted	Rate
2027 open	13	14–18 Jun 2027	Braga 🇵🇹	15 Feb	—	—
2026	12	18–20 May 2026	Tōkyō 🇯🇵	16 Feb	20 / 25	80%
2025	11	10–13 Jun 2025	Düsseldorf 🇩🇪	2 Mar +20 days	21 / 33	64%
2024	10	25–28 Jun 2024	Bergamo 🇮🇹	24 Feb +14 days	—	—
2023	9	30 May – 2 Jun 2023	Nancy 🇫🇷	30 Jan +7 days	—	—
2021	8	7–11 Jun 2021	Online	1 Mar +7 days	—	—
2020	7	27–29 May 2020	Ulm 🇩🇪	20 Jan	—	—
2018	6	5–8 Jun 2018	Southampton 🏴󠁧󠁢󠁥󠁮󠁧󠁿	5 Feb +7 days	—	—
2016	5	23–27 May 2016	Linz 🇦🇹	22 Jan	—	—
2014	4	2–6 Jun 2014	Toulouse 🇫🇷	3 Feb +20 days	—	—

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

Acceptance rate over time

0%30%60%

2026 80% 20/25
2025 64% 21/33

Scale runs to 60%; the mid-line marks 30%. No figure published for 2014, 2016, 2018, 2020, 2021, 2023, 2024, 2027.

Submissions

2026 25
2025 33

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

Who led each edition

Chairs and invited speakers

all 5 17% of 23
2027 1 of 2
2026 0 of 5
2025 0 of 5
2024 1 of 5
2023 2 of 6

Across 5 editions, 4 of 23 chairs and invited speakers were women or of another gender — 17%. At this site's own rate of 29%, 7 would be the expectation. The gap is within what chance would produce at these numbers.

Only editions with counted people appear: an edition recorded as mixed and nothing more has no arithmetic behind it. The total counts people, not years, so an edition with eight chairs weighs more than one with two. The committee is reported beside the platform, never added to it. The rate this is set against, 29%, is pooled from 362 chairs and invited speakers across 81 editions on this site — an observation about the field as recorded here, not a target.

How it has reviewed and published

Practice	14	16	18	20	21	23	24	25	26	27
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.

9 cities. 20142027

9 cities, 7 countries, 2 continents. Met online 1 time.

CORE rank over time

absent 2014–

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

Timing

Closes: between 30 Jan and 2 Mar, over the last 6 editions.
Decision: 29 days after the deadline (25–42 over 10 editions)
Then: 84 days to the conference (66–93)

Deadline habits

Extended: 6 of 6 editions
Typical: 7–20 days
Longest: 20 days
Not known: 4 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

DBLP: zum ↗
Calendar: Subscribe to ABZ
Data: All editions as JSON

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 🤓