10th Alpine Verification Meeting (AVM 2015)
News
Important Dates
- March 21 2015: submission of titles and abstracts of proposed talks by supervisors
-
March 28 2015: notification of acceptance
-
April 5 2015: registration
-
May 4 - May 6 2015: Workshop
Attersee, Austria, May 4 2015 - May 6 2015
The Alpine Verification Meeting is an informal meeting on current problems in formal verification. The goal of the meeting is bringing together young researchers from the Alpine region. The meeting is open to everyone.
Organization
