AVM 2014
From Numerical Transition Systems
Revision as of 15:28, 5 March 2014 by Radu iosif (Talk | contribs)
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.
- Hosted by CAES/CNRS Conference Center "Villa Clythia"
- Organized by Radu Iosif (VERIMAG/CNRS/University of Grenoble)
- Presentation flyer
- Past and future AVMs