Page Areas:



Current Submenu:

Additional Information:

Conferences

Conferees at JKU Campus

Position Indication:

Content

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.