Alpine Verification Meeting

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 Alpine Verification Meeting is a joint event of AVM and the RiSE Workshop. We also host the RiSE PI meeting and a poster session.

Each student talk will have 20 minutes (15 minutes for the presentation + 5 minutes for the questions)!

The timing is the following, for the session details please visit the program page.


  Alpine Verification Meeting 2017 Program
Monday Tuesday Wednesday Thursday
9:00   Ufuk Topcu   Session
6 (4 talks)
9:30 Dino Distefano
10:00
10:30 Travel
to Visegrád
Coffee break Coffee break / posters Coffee break
11:00 Session
3 (4 talks)
Session
4 (4 talks)
Session
7 (4 talks)
11:30
12:00 Registration
/ Lunch
12:30 Lunch Lunch Lunch
13:00
13:30
14:00 Gabriel Ebner Xiaowei Huang Bernhard K. Aichernig Travel
to Budapest
14:30
15:00 Alfons Laarman
15:30 Coffee break Posters
+ Coffee
Coffee break  
16:00 Session
1 (3 talks)
Session
5 (3 talks)
16:30 Roundtable
/ Discussion
17:00 Break Trip
17:30 Session
2 (3 talks)
18:00
18:30     Dinner
(banquet)
19:00 Dinner Dinner
19:30
20:00
20:30   Game night / Spa
21:00