16th Alpine Verification Meeting (AVM’24)

Freiburg im Breisgau, Germany ┆ Wed 4 - Fri 6 September 2024

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

Important Dates  
Registration opens 1 June 2024
Registration ends 31 July 2024
Meeting 4-6 September 2024


certora logo.

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