About AVM
The Alpine Verification Meeting (AVM) is an informal, annual workshop series dedicated to formal verification. It brings together researchers including PhD students primarily from the Alpine region and surrounding countries to discuss current challenges and advances in the field.
Call for Participation
We invite researchers working in formal verification and related areas to participate in AVM'26. If you would like to give a talk, please submit a tentative title and abstract to the organizers by August 2026 (currently not yet open).
Venue
AVM'26 will be held in Eger, Hungary, a charming baroque city known for its historic castle, thermal baths, and excellent wine region. Located in the foothills of the Bükk Mountains in lieu of proper Alps, Eger offers a perfect venue for AVM'26.
📍 Location
Eger, Hungary
Exact location TBA
📅 Date
22-24 September 2026
Plan to arrive on the 21st.
Registration
Registration Coming Soon
Registration for AVM'26 will open in the coming months. Please check back later for updates.
Contact
For questions about AVM'26, please contact the organizers:
Levente Bajczi
PhD student
Critical Systems Research Group, BME-MIT
Zsófia Ádám
PhD student
Critical Systems Research Group, BME-MIT