RiSE Workshop: 24-27 Sep 2018

This year the RiSE Workshop is a joint event with AVM. 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.

AVM18 is located at Wagrain, Austria, from September 24. 2018 to September 27. 2018.

Wagrain is a small mountain village at 850 meters above sea level. It is surrounded by the stunning Salzburg Alps and characterised by its sunny location. The workshop is held at the four-star superior Sporthotel Wagrain. The hotel is the ideal base to explore the Pongau area and its landscape of lush meadows giving way to mountain slopes and craggy peaks and offers guests the chance to enjoy relaxing in the beautiful Salzburger Land region.


The goal of the workshop is to engage students in discussions on the current state of the art and open problems in the area of formal methods. The workshop will have 21 student talks, 20 min each (15 min for the presentation + 5 min for the questions). Students without presentation are encouraged to present their ongoing research on a poster.

The details will follow shortly.


The  AVM/RiSE Workshop will be held in Wagrain, Austria. The location of the meeting is Sporthotel Wagrain.

Sporthotel Wagrain | Fam. Berger
Hofmark 9 | 5602 Wagrain
Tel: +43 6413 7333

Arrival info from our AVM18 web-page.


Registration fee is 140 euro and includes attendance, coffee breaks, social event and bus transfer from Vienna. The hotel fee is 80 euro per person per night, (i.e., in total 240 euro) and includes all meals.

Please use our registration system.