International Conference Abstract State Machines, Alloy, B, TLA, VDM, and Z (Previously International Conference of B and Z Users, ZB, changed in 2008)
Indexed in CORE Rankings with rank C (ICORE2026).
Prestige Metrics & Badges
Submission Deadlines & Live Countdown
13th International Conference on Rigorous State Based Methods • Braga Portugal(14 – 18 Jun, 2027)
No active deadlines currently announced for the upcoming edition
Please check the official conference portal or DBLP for the latest Call for Papers announcements.
| Track / Round | Format | Abstract Due | Paper Submission | Rebuttal Period | Notification Date | Camera-Ready Due | Time Remaining |
|---|---|---|---|---|---|---|---|
Main Track | conference | TBA | TBA | — | TBA | TBA | TBA |
Multi-Source Prestige Rankings
Comparative classification across international academic evaluation bodies
| Ranking System | Evaluation Body | Classification | Edition / Year | Field / Scope | Prestige Significance |
|---|---|---|---|---|---|
| CORE Ranking | Computing Research and Education Association of Australasia | C | Year 2026 | Software engineering | Indexed conference in CORE database |
| CCF Ranking | China Computer Federation (CCF) | N/A | CCF 2022 Catalog | Computer Science | Important international conference |
| TH-CPL | Tsinghua University | N/A | TH-CPL List | CS & Engineering | Tsinghua Recommended Conference Publishing List |
| Qualis CAPES | CAPES (Brazilian Ministry of Education) | N/A | Sucupira / Qualis | Ciência da Computação | South American academic evaluation standard |
| CORE | Academic Association | C | ICORE2026 | General | International prestige ranking |
Conference Editions Timeline
Locations, dates, proceedings, and historical tracks of past & future editions
13th International Conference on Rigorous State Based Methods
UpcomingAbstract State Machines, Alloy, B and Z
PastABZ 2021: 8th International Conference on Rigorous State Based Methods
PastABZ 2020 – 7th International Conference on Rigorous State Based Methods
Past6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z, 2018
Past3rd International ABZ 2012 Conference: Abstract State Machines (ASM), Alloy, B, VDM, Z
PastABZ 2010 Conference Abstract State Machines (ASM), Alloy, B and Z
PastAcademic Resources & External Links
Access DBLP archives, Papers With Code, and official conference portals
DBLP Computer Science
Comprehensive open bibliographic database tracking full papers across editions.
Papers With Code
Explore trending papers, open-source code repositories, and leaderboards.
CORE Ranking Portal
Official evaluation catalog from Computing Research and Education Association.