Overview

The Alpine Verification Meeting 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.

Upcoming: 14th AVM »»

Picture of Island Frauenchiemsee
Website, Details, Registration
https://avm.sosy-lab.org/2022/
Date
September 12-14, 2022
Venue
Seminar House Abbey Frauenwoerth
Location
Frauenchiemsee, Germany