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.
This year Alpine Verification Meeting is a joint event of AVM and the RiSE Workshop. We also host the RiSE PI meeting and a poster session.
If you have a suggested presentation or topic, please drop an e-mail to the organizers, we are happy to elaborate it into the program.