Accommodation Information

Description

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. ​This ​year ​Alpine ​Verification ​Meeting ​is ​a ​joint ​event ​of ​AVM ​and ​the ​RiSE ​Workshop. ​The ​meeting ​is ​open ​to ​the ​public.

Start Your Registration


You can also register a group.