Honored and excited to share that our work on modeling and analyzing Apache Kafka, lead by Saloni Sinha, a recent Master of Software Engineering Programs graduate, has won the Best Paper Award at ABZ Conference!! CMU Software and Societal Systems Department

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

As #ABZ2024 ABZ Conference concludes, a huge thank to Elvinia, Angelo Gargantini, Silvia Bonfanti, Patrizia Scandurra, and the entire team UniBg for the fantastic hosting! Looking forward to seeing everyone at Heinrich-Heine-Universität Düsseldorf for #ABZ2025! #Bergamo #Düsseldorf

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

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

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

#ABZ2024 This is the end... It was really nice being with all of you in these days. See you at the next editio#ABZ2025 Angelo Gargantini Atif Mashkoor Patrizia Scandurra fabianvu98 Silvia Bonfanti foselab

Presenting our tool Asmeta asmeta.github.io at Formal Methods 2026 foselab - in the picture: Andrea Bombarda Silvia Bonfanti me ElviniaRiccobene Patrizia Scandurra - video available soon

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!

🚗 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).

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!

🎓 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…

📢 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

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!