AVM 2014

From Numerical Transition Systems
Revision as of 11:06, 12 May 2014 by Radu iosif (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

9th Alpine Verification Meeting, 12-14 May 2014, Frejus, Cote d'Azur, France


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.

Sponsored by

Avm sponsors.jpg