The Alpine Verification Meeting (AVM) is an informal meeting on current problems in formal verification. The goal of the meeting is to bring together researchers from the region to update each other on their research, to have time for discussion, also on possible collaborations. The meeting is open to the public.

AVM 2023 will take place on September 11-13, 2023 at the School of Computer Science, Faculty of Mathematics and Physics, Charles University, in Prague, Czech Republic. The building of the School of Computer Science is located in the historic centre of Prague.

We strongly encourage each participant to give a presentation during the meeting. There is no formal review process, just check your intention to give a talk during registration and provide a title of your presentation.

Additional information regarding the venue, accommodation, registration (including payment) and travel will be provided later.

Important dates

Registration deadline (tentative)August 1, 2023
AVM 2023 meetingSeptember 11-13, 2023