Venue & Participation

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. This year's meeting will be co-located with the ConVeY group workshop.

AVM 2022 will take place September 12-14, 2022 at the Seminar House of Abbey Frauenwoerth, located on Frauenchiemsee, which is on an island in one of Bavaria's nicest lakes, the Chiemsee.

We strongly encourage each participant to consider giving a presentation. There is no formal review process, just check your intention to give a talk during registration and provide a preliminary title, we will ask you for an abstract later.

Important Dates

Registration untilAugust 1, 2022
Main AVMSeptember 12-14, 2022
ConVeY Meeting (not public)September 15, 2022

Registration via »this link«

Aiming to facilitate participation of young researchers, registration (but not accommodation) is free for PhD students, Postdocs, and similar early-career positions.

The regular registration fee is EUR 170, which covers the coffee breaks, meals during the meeting, and the excursion.

Please register your participation using the following Google Form until August 1. Payment will be handled separately (to be announced later).

Registration Formvia Google
Paymentto be announced


We gratefully acknowledge sponsorhip by LMU via the postdoc support fund, making it possible to offer free registration to young researchers.


Accommodation will be at the seminar facilities of the Monastery Frauenwoerth, reserved centrally via the organizers of AVM, based on the data indicated in the registration form.

Accommodation (including breakfast) will be paid as part of the registration in addition to registration fees (if these apply), per night rates will be approximately EUR 80 (regular single room), EUR 70 (regular shared room), and 40 (students, shared room).

It is suggested that a majority of participants to be accommodated in shared rooms, please indicate whether this is ok for you in the registration form. However, if you for any reason prefer a single room that should not at all be a problem. Let us know of any special arrangements or inquiries in which we can support you.

Socializing and Respectful behavior

Please keep that the seminar facilities are part of the Abbey of Frauenwörth and that we should be considerate to the community, and we kindly ask you to follow the guidelines listed here (no noise after 21:30pm, no smoking in rooms/courtyard, no swimwear or comparable).

There is a large common room where we can socialize in the evenings without risking to disturbe the nighttime silence, and where we will have a variety of drinks and snacks available.

Please be respectful to each other, show interest in each other's work, and maintain a positive attitude, so that this event is enjoyable for everyone.

COVID Information

Please be advised of the following
  • The venue requires proof of a negative self test or similar upon arrival, not older than 24h. We will be able to provide a limited number of tests on-site.
  • On public transport, including the ferries and on the jetty, wearing a face mask is mandatory. Medical masks, KN95, and FFP2 masks are all fine, but not plain cloth masks.
  • We generally recommend that participants are fully vaccinated for the protection of their own and others.

Travel Information

You must take a ferry to arrive at the island, destination Fraueninsel, a ticket can be bought on-board. Please be advised of the ferry schedule (link to german site, the English schedule seems to be unavailable currently), and that restaurant Klosterwirt closes very early on Sundays (latest dinner time: 17:30).

PDF of the ferry schedule with map of the lake and ports.

Arrival on Sunday via Prien

  • For arrival at Prien train station, please take a cab or walk to the ferry (25-30min).
  • Boats run throughout the day approximately every 30mins. The last three boats leave Prien at 17:00, 18:00 and 19:30.
  • Note that the only feasible restaurant Klosterwirt on the island welcomes guests only until approximately 17:30 latest, please keep this in mind for your dinner plans.
  • If there is sufficient demand, we can arrange for a cold platter to be prepared in advance.

Arrival on Monday morning via Prien

  • Monday to Friday there is a bus from Prien train station to the jetty. The morning connection 8:35-8:42 will catch the ferry at 9:00 which will be in time to the opening session. If you prefer to walk from the train station to the ferry, it will take 20-30 mins.
  • The suggested ferries from Prien are 9:00-9:25 and 9:30-10:00, both are in time to catch the welcoming at 10:15.

Arrival from other ferry ports

  • The other ferry ports are: Gstadt, Bernau/Felden, Übersee/Feldwies, Chieming, and Seebruck
  • Note that these ferries to the Fraueninsel run less frequently than those from Prien.

Program Overview

Monday, 12th 10:15 Welcome (note: starting time updated)
10:30 Morning Session
12:00 Lunch
13:00 Afternoon Sessions
18:00 Dinner

Tuesday, 13th 9:00 Morning Sessions
12:00 Lunch
13:00 Social Event
18:00 Dinner

Wednesday, 14th 9:00 Morning Sessions
12:00 Lunch
13:00 Afternoon Sessions
16:00 Closing

Thursday, 15th ConVeY

Logo Software Systems Lab Logo LMU Munich