The AVM is a meeting on current problems in formal verification. The goal of the meeting is to bring together researchers from the region to update each other on their research, to have time for discussion, also on possible collaborations.
Also, this will be an initiating meeting for the Austrian Society for Rigorous Systems Engineering, founded in 2010.
The event opens with a keynote talk by Edmund Clarke (Carnegie Mellon Univ.) on “Statistical Model Checking for Cyber-Physical Systems”.
Further information is available at the event’s website.