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 title.

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
Paymentvia invoices resp. special arrangement with ConVeY


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 75 (regular single room), EUR 65 (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 seminar house requests proof of an official negative antigen test (PCR not necessary), not older than 24h. Note that this is different from prior announcement that a self-test would suffice, which it does not.
  • 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).

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.
  • Dinner: There are no dinner options after approx 16:30 unless arranged already, please check with the Klosterwirt on an individual basis.

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, for details see full program

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