ABZ Conference

11th International Conference on Rigorous State-Based Methods.
10.06. - 13.06.2025 | Düsseldorf, Germany

[ABZ Conference @ABZ_Conference]

Congratulations to all authors of accepted papers to be presented at #ABZ2025! 🎉

The list of all accepted papers is now available at: https://t.co/5w33GFOugw

Registration is now open: https://t.co/VMTAoIhiJ9

See you soon in Düsseldorf!

[ABZ Conference @ABZ_Conference]

📢 Deadline Extension for #ABZ2025!

📝 Abstract Submission: Feb 15, 2025
📝 Paper Submission (Research/Case Study): Feb 18, 2025

Join us in #Düsseldorf, June 10-13, 2025!

Submit your work: https://t.co/BKKcbeRzw7

#ABZ #Conference #FormalMethods

[ABZ Conference @ABZ_Conference]

🎓 If you are a PhD student, you are invited to contribute to the #ABZ2025 PhD Symposium:

This is an excellent opportunity to
• present your ongoing research,
• receive valuable feedback from the ABZ community,
• interact with other PhD students.

https://t.co/VzlzGyABWZ

[ABZ Conference @ABZ_Conference]

Page limit excl. references.

More details at https://t.co/HO6LigP7Oe

#ABZ #Conference #FormalMethods #Düsseldorf

[ABZ Conference @ABZ_Conference]

📢 The #ABZ2025 main track invites four categories of contributions: full research papers, short papers, application in industry papers, and journal-first papers.

📝 Abstract (mandatory): Feb 03, 2025
📝 Submission: Feb 10, 2025
📩 Notification: Mar 29, 2025

[ABZ Conference @ABZ_Conference]

Journal-First papers: summarize recently published papers, extended abstract of no more than 6 pages expected

[ABZ Conference @ABZ_Conference]

More exciting news: we now also have a LinkedIn profile (https://t.co/Z1rlq2Ihri). The posts will be the same as here. Follow us here or there to always get the latest news about #ABZ2025!

[ABZ Conference @ABZ_Conference]

🚗 The #ABZ2025 case study is online! It is about a safety controller for autonomous driving on a highway. Check out the detailed specification here: https://t.co/nfsnh1S983

📝 You can submit your case study papers by Feb 10, 2025 (abstract submission by Feb 3, 2025).

[ABZ Conference @ABZ_Conference]

Great news! Submit your work for #ABZ2025: https://t.co/K3jsuU6Uwr

🎓 PhD submissions by Feb 24, 2025
📝 Original research and case study papers by Feb 10, 2025
🎉 Join us in #Düsseldorf from June 10-13, 2025!

[Angelo Gargantini @angelogargantin]

Presenting our tool Asmeta https://t.co/rivvmPJjSF at @FMsymp @foselab - in the picture: @bombandrea94 @SilviaBG_IT me ElviniaRiccobene @pscand - video available soon

[ABZ Conference @ABZ_Conference]

#ABZ2024
This is the end... It was really nice being with all of you in these days. See you at the next editio#ABZ2025 @angelogargantin @atif_mashkoor @pscand @fabianvu98 @SilviaBG_IT @foselab

[Atif Mashkoor @atif_mashkoor]

As #ABZ2024 @ABZ_Conference concludes, a huge thank to Elvinia, @angelogargantin, @SilviaBG_IT, @pscand, and the entire team @UniBergamo for the fantastic hosting! Looking forward to seeing everyone at @HHU_de for #ABZ2025!
#Bergamo #Düsseldorf

[ABZ Conference @ABZ_Conference]

Edward Sabinus is talking about "Proof Construction and Checking on Evolving Abstract State Machines" at the PhD Symposium track of #ABZ2024.

#ABZ #Conference #Bergamo #PhD #PhDSymposium #FormalMethods #Proving #ASM #Verification

[ABZ Conference @ABZ_Conference]

Anne Grieu is talking about "Event-B to lambdapi" at the PhD Symposium of #ABZ2024.

#ABZ #Conference #FormalMethods #PhD #PhDSymposium #Bergamo #EventB #Lambdapi

[ABZ Conference @ABZ_Conference]

Wolf Zimmermann is currently talking about "Small-Step Incremental Development of
Verified Compilers" at #ABZ2024.

#ABZ #FormalMethods #Conference #Verification #Compiler #Bergamo

[ABZ Conference @ABZ_Conference]

Mamoun Filali is giving a talk about "Verification of multi-trace Properties with Rodin" at #ABZ2024

#ABZ #Conference #Bergamo #FormalMethods #Rodin #Verification #EventB

[Eunsuk Kang @eskang09]

Honored and excited to share that our work on modeling and analyzing Apache Kafka, lead by Saloni Sinha, a recent @MSE_CMU graduate, has won the Best Paper Award at @ABZ_Conference!! @S3DatCMU