# ABZ'27 Call for Papers

**URL:** <https://alloytools.discourse.group/t/abz27-call-for-papers/574>\
**Category:** Uncategorized\
**Created:** [October 5, 2026, 2:13pm UTC](https://alloytools.discourse.group/t/abz27-call-for-papers/574 "2026-10-05T14:13:41Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![alcino](https://yyz2.discourse-cdn.com/free1/user_avatar/alloytools.discourse.group/alcino/32/25_2.png) [@alcino](https://alloytools.discourse.group/u/alcino)\
**Post date:** [October 5, 2026, 2:13pm UTC](https://alloytools.discourse.group/t/abz27-call-for-papers/574/1 "2026-10-05T14:13:41Z")

</div>

Hi,

ABZ is a conference dedicated to state-based methods such as Alloy. The Call for Papers for next year edition can be found in the conference web page at:

> **[ABZ 2027 – 13th International Conference on Rigorous State Based Methods | ABZ](https://abz-conf.org/site/2027/)**
>
> Braga (Portugal) - June 14 — June 18 2027
> 
> 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, that share a common conceptual...

I’ve read several posts in this forum about the usage of Alloy in an industrial context. The call includes _application in industry_ short papers, so, if you are the author of one of these posts, please consider submitting a paper! Also, there is a _case study_ track, and I believe the case study for next year is quite Alloy friendly!

The deadline for submitting contributions is next February.

All the best,  
Alcino