The ABZ conference is dedicated to the cross-fertilization of state-based and machine-based formal methods, like Abstract State Machines (ASM), Alloy, B, TLA, VDM and Z, that share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The conference aims for a vital exchange of knowledge and experience among the research communities around different formal methods.
The 11th instalment of the ABZ conference will be held at the Haus der Universität, located in the centre of Düsseldorf with easy access to the airport and central rail station.
Company Details
- Address
- Düsseldorf, De
- Industry
- Research Services
- NAICS
-
Scientific Research and Development ServicesResearch and Development in the Physical, Engineering, and Life SciencesResearch and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
- Website
- https://abz-conf.org/site/2025
- HQ
- Düsseldorf
Abz Conference Questions
Abz Conference's website is https://abz-conf.org/site/2025
Abz Conference's LinkedIn profile is https://de.linkedin.com/company/abz-conference
Abz Conference's industry is
Research Services
Abz Conference's top competitors are
Grundfos,
Clearsy,
Hugging Face,
Robostar Centre For Software Engineering For Robotics.
Abz Conference's categories are Research Services
