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 using the abstract form.
Venue
AVM'26 will be held at Hotel Korona 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.
📅 Date
22-24 September 2026
Plan to arrive on the 21st.
🚆 Travel
Train from Budapest-Keleti
Eger is mostly walkable.
Registration
Registration is open until 31 August 2026.
- First person from each affiliation creates it during pre-registration.
- Others select the affiliation, then log in to complete registration.
Includes coffee breaks, lunches, and Wednesday dinner.
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