ABZ 2025: Calls for Contributions

The ABZ conference is dedicated to the cross-fertilization of state-based and machine-based formal methods, like Abstract State Machines (ASM), Alloy, B, TLA, VDM and Z. The aim is to foster a vital exchange of knowledge and experience among the research communities around different formal methods.

Submission Channels

Contributions can be submitted via EasyChair: https://easychair.org/conferences/?conf=abz2025

Tracks and Deadlines

• Workshops/Tutorials:

  • Please contact the organizers directly as soon as possible for workshop or tutorial proposals. There is no special call for workshops or tutorials this year.

• Case Study Track:

  • Abstract submission: March 1, 2025 AOE
  • Paper submission: March 2, 2025 AOE
  • Notification: March 29, 2025
  • Final version: April 9, 2025

• Main Track (including research/short/industry/journal-first papers):

  • Abstract submission: March 1, 2025 AOE
  • Paper submission: March 2, 2025 AOE
  • Notification: March 29, 2025
  • Final version: April 9, 2025

• Doctoral Symposium:

  • Paper submission: March 2, 2025 AOE
  • Notification: March 29, 2025
  • Final version: April 9, 2025

Conference Dates

• Workshops and Tutorials: June 10, 2025 (Düsseldorf, Germany)
• ABZ 2025 Conference: June 11-13, 2025 (Düsseldorf, Germany)

Open Access / Open Choice

Authors interested in contributing to ABZ 2025 in Open Access or Open Choice should refer to the corresponding Springer webpage.

Contact Us

abz2025@hhu.de