7th EditionConference

ABZ International Conference on Rigorous State Based Methods

25 - 29 May 2020Postponed 
Ulm University, Ulm, Germany
AboutFollowersExhibitorsSpeakersReviewsPhotosTravel Deals

ABZ International Conference on Rigorous State-Based Methods is dedicated to the cross-fertilization of state-based and machine-based formal methods, like abstract state machines, 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 main aim of the conference is to contribute to the integration of accurate state- and machine-based system development methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modelling, experimental validation, mathematical verification of reliable high-quality hardware-software systems.


09:00 AM-06:00 PM (expected)
Not Verified

Entry Fees

Check Official Website

Estimated Turnout

upto 100
Based on previous editions

Category & Type

IT & Technology


May 2020 7th Edition

Frequency Not Available

Official Links


Report Error
Claim this event


Logo Follow Company

Ulm University

19 Total Events / 1 Upcoming Event

Write a Review

Add Your Review

Venue Map & Directions

map of Ulm University

Helmholtzstrase 16, 89081 Ulm

Get Directions

Featured Hotels in Ulm