Page Areas:

Current Submenu:

Additional Information:


Conferees at JKU Campus

Position Indication:


10th Alpine Verification Meeting (AVM 2015)

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.

For additional information see the conference homepage.

Please click the menu item at the left to start the registration process.