The Alpine Verification Meeting (AVM) is a series of informal meetings on current problems in formal verification, which started in 2005 (in Lausanne, CH). The goal is to bring together PhD students and other researchers from the region surrounding the Alps.

The 16th Alpine Verification Meeting (AVM’24) will take place on 4th - 6th September 2024, in Freiburg im Breisgau, Germany. This year’s meeting is organized by the Software Engineering group at the University of Freiburg.

We strongly encourage each participant to give a short talk during the meeting. There is no formal review process. Upon registration, each participant can simply give a tentative title and an abstract for a talk. The idea is to update each other on their ongoing research.

Organisers: Dominik Klumpp, Matthias Heizmann, Andreas Podelski

Sponsoring

.

AVM’24 is sponsored by certora. More sponsors will be announced soon.