ABZ Conference

Congratulations to all authors of accepted papers to be presented at #ABZ2025! 🎉 The list of all accepted papers is now available at: abz-conf.org/site/2025/prog… Registration is now open: abz-conf.org/site/2025/regi… See you soon in Düsseldorf!

📢 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: abz-conf.org/site/2025/ #ABZ #Conference #FormalMethods

🎓 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. abz-conf.org/site/2025/doct…

Page limit excl. references. More details at abz-conf.org/site/2025/main… #ABZ #Conference #FormalMethods #Düsseldorf

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

📢 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

More exciting news: we now also have a LinkedIn profile (linkedin.com/company/105814…). The posts will be the same as here. Follow us here or there to always get the latest news about #ABZ2025!

🚗 The #ABZ2025 case study is online! It is about a safety controller for autonomous driving on a highway. Check out the detailed specification here: abz-conf.org/site/2025/case… 📝 You can submit your case study papers by Feb 10, 2025 (abstract submission by Feb 3, 2025).

Great news! Submit your work for #ABZ2025: abz-conf.org/site/2025/calls 🎓 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!

Presenting our tool Asmeta asmeta.github.io at @FMsymp @foselab - in the picture: @bombandrea94 @SilviaBG_IT me ElviniaRiccobene @pscand - video available soon

#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

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

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

Anne Grieu is talking about "Event-B to lambdapi" at the PhD Symposium of #ABZ2024. #ABZ #Conference #FormalMethods #PhD #PhDSymposium #Bergamo #EventB #Lambdapi

Wolf Zimmermann is currently talking about "Small-Step Incremental Development of Verified Compilers" at #ABZ2024. #ABZ #FormalMethods #Conference #Verification #Compiler #Bergamo

Mamoun Filali is giving a talk about "Verification of multi-trace Properties with Rodin" at #ABZ2024 #ABZ #Conference #Bergamo #FormalMethods #Rodin #Verification #EventB

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