The Alpine Verification Meeting (AVM) is an informal 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. The meeting is open to the public.

Participation and Program

To be announced.


The workshop takes place at Frauenchiemsee Monastery, Frauenchiemsee Nr. 50, 83256 Frauenchiemsee, which is on an island in one of Bavaria's nicest lakes, the Chiemsee.

Logo Software Systems Lab Logo LMU Munich