Skip to Content
Host Your Own Event
12th Alpine Verification Meeting (AVM 2018)
Monday, 24 September 2018 13:00
Thursday, 27 September 2018 13:00
(Central European Time)
Tel: +43 3168735514
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
Verify Email Address
View or Change Your Existing Registration
You can also register a group.
Event Contact Information
Interested in hosting your own event?
Your Privacy Rights
Quick, easy and affordable
online event registration
event management software
for all event sizes.
Lanyon Solutions UK, Ltd, a wholly owned subsidiary of Lanyon Solutions, Inc., will process your payments.