ABZ Conference
@ABZ_Conference
Followers
69
Following
19
Media
73
Statuses
143
11th International Conference on Rigorous State-Based Methods. 10.06. - 13.06.2025 | Düsseldorf, Germany
Joined May 2019
Congratulations to all authors of accepted papers to be presented at #ABZ2025! 🎉 . The list of all accepted papers is now available at: Registration is now open: See you soon in Düsseldorf!.
0
0
0
📢 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 #Conference #FormalMethods.
0
0
1
🎓 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.
0
0
2
0
0
0
Journal-First papers: summarize recently published papers, extended abstract of no more than 6 pages expected.
1
0
0
Application in industry papers: Reporting on work or experiences on the application of state based formal methods in industry, 8 pages.
1
0
0
Short papers: present and validate a work in progress or tool demonstrations, 6 pages.
1
0
0
Full research papers: original, unpublished and not submitted elsewhere, 16 pages.
1
0
0
📢 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.
1
0
1
More exciting news: we now also have a LinkedIn profile (. The posts will be the same as here. Follow us here or there to always get the latest news about #ABZ2025!.
0
0
1
🚗 The #ABZ2025 case study is online! It is about a safety controller for autonomous driving on a highway. Check out the detailed specification here: 📝 You can submit your case study papers by Feb 10, 2025 (abstract submission by Feb 3, 2025).
0
3
1
RT @angelogargantin: Presenting our tool Asmeta at @FMsymp @foselab - in the picture: @bombandrea94 @SilviaBG_IT….
0
7
0
#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
0
2
8
RT @atif_mashkoor: As #ABZ2024 @ABZ_Conference concludes, a huge thank to Elvinia, @angelogargantin, @SilviaBG_IT, @pscand, and the entire….
0
4
0
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
0
0
1
Anne Grieu is talking about "Event-B to lambdapi" at the PhD Symposium of #ABZ2024. #ABZ #Conference #FormalMethods #PhD #PhDSymposium #Bergamo #EventB #Lambdapi
0
0
2
Wolf Zimmermann is currently talking about "Small-Step Incremental Development of.Verified Compilers" at #ABZ2024. #ABZ #FormalMethods #Conference #Verification #Compiler #Bergamo
0
2
0
Mamoun Filali is giving a talk about "Verification of multi-trace Properties with Rodin" at #ABZ2024. #ABZ #Conference #Bergamo #FormalMethods #Rodin #Verification #EventB
0
2
0