11th International Conference on Rigorous State-Based Methods. 10.06. - 13.06.2025 | Düsseldorf, Germany
Joined May 2019
- Tweets143
- Following11
- Followers70
- Likes19
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/progr…
Registration is now open: abz-conf.org/site/2025/regis…
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/docto…
📢 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
Journal-First papers: summarize recently published papers, extended abstract of no more than 6 pages expected
Page limit excl. references.
More details at abz-conf.org/site/2025/maint…
#ABZ #Conference #FormalMethods #Düsseldorf
More exciting news: we now also have a LinkedIn profile (linkedin.com/company/1058142…). 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/cases…
📝 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!
ABZ Conference retweeted
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
ABZ Conference retweeted
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 – at Bergamo, Lombardy
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
ABZ Conference retweeted
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
The Best Paper Award of #ABZ2024 goes to the paper "Formal Modeling and Analysis of Apache Kafka in Alloy 6" by Saloni Sinha and Eunsuk Kang.
Congratulations!!🎉🎊
#ABZ #Conference #FormalMethods #Alloy #Apache #BestPaperAward #Award #Bergamo
