Timisoara, Romania, September 24-26, 2025

A meeting on verification, model checking, and abstract interpretation.

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, postdocs and more senior researchers from the region surrounding the Alps.

The 17th Alpine Verification Meeting (AVM’25) will take place between September 24-26, 2025, in Timisoara, Romania. This year’s meeting is organized by the FORSYTE research unit of the TU Wien and the West University of Timisoara. The meeting takes place as co-located event of the SYNASC 2025 conference. 

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

Organizers: Laura Kovács and Mãdãlina Eraşcu