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.

Please contact the main organizer, Pavel Parízek (Charles University), at parizek@d3s.mff.cuni.cz in case of any questions.

Important dates

Registration open fromJune 1, 2023
Registration deadlineJuly 31, 2023
AVM 2023 meetingSeptember 11-13, 2023

Registration

The process of registration has two steps, completing the registration form and payment by a credit/debit card. The registration form is available here.

Payment of the registration fee with a card is possible here through a form that leads to an external payment gateway service. We plan to send a "confirmation of registration" letter (invoice) by email.

The registration fee is 4300 CZK (~ 180 EUR) - it includes lunches, two coffee breaks on each day of the meeting, and social events. We provide the registration fee in the local currency CZK, because the payment gateway service for credit/debit cards accepts payments only in CZK.

Venue: Location and Public Transport

The building of the School of Computer Science is located at the following address:
  Malostranské náměstí 25
  118 00 Prague 1
  Czech Republic
The exact location (pointer) of the building on Google Maps is provided here. It is very easily reachable by public transport (subway, trams) from anywhere in Prague. The nearest tram stop is Malostranské náměstí, located right in front of the building, and served by tram lines 12, 15, 20, and 22. The nearest subway stop is Malostranská, on line A ("green"), in walking distance (10 minutes). Detailed information, including maps and connections, are provided also on the website of the Prague Public Transport Agency here.

All sessions will take place in the lecture room S9 in the first floor. Coffee breaks will be served in the hallway next to the lecture room, while for lunches we will use a restaurant in the basement of the building. Dinners are not possible in the same restaurant that we will use for lunches. Here we provide a list of several restaurants within the centre of Prague (at different price levels), and we are also negotiating financial support (sponsorship) for the dinners with IT/software companies based in Prague.

Accommodation

We have prepared a list of selected hotels in the area of Prague nearby to the meeting venue. Several of the hotels are even in a walking distance from the university building, and the others are well connected to the venue by public transport. We also tried to pick hotels at different price levels, from the cheap (budget) up to relatively expensive (luxury). Besides the hotels (see below), in Prague there is really a wide range of places (apartments) available through services like Airbnb. In case of specific requests or questions, please contact the organizers by email, and we will try to find a hotel that suits your needs.

The list of hotels:

Restaurants and Pubs

Here you can find a list of restaurants and pubs in walking distance from the conference venue, mostly in the Old Town and Malá Strana (Lesser Town). In addition, we have included also few interesting places to eat and grab some drinks that are located a bit further. We tried to consider all major cuisines (Czech, Italian, Chinese/Vietnamese, and so on) when preparing the list, but please ask the organizers if you are looking for something specific. There are many more places in the centre of Prague.

Program

We provide just a program overview here. For details see the full program.

Monday, September 11
9:00 - 9:15Welcome & Organization
9:15 - 10:30Session
10:30 - 11:00Coffee break
11:00 - 12:30Session
12:30 - 14:00Lunch
14:00 - 16:00Session
16:00 - 16:30Coffee break
16:30 - 18:00Session
Tuesday, September 12
9:00 - 10:30Session
10:30 - 11:00Coffee break
11:00 - 12:30Session
12:30 - 14:00Lunch
14:00 - 15:30Session
15:30 - 16:00Coffee break
16:30 - 18:30Social event
Wednesday, September 13
9:00 - 10:30Session
10:30 - 11:00Coffee break
11:00 - 12:30Session
12:30 - 14:00Lunch
14:00 - 16:00Session
16:00 - 16:30Coffee break
16:30 - 17:30Closing & Discussions