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:
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