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. 

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