Difference between revisions of "AVM 2014"
From Numerical Transition Systems
Radu iosif (Talk | contribs) |
Radu iosif (Talk | contribs) |
||
| Line 2: | Line 2: | ||
[[File:Avm2014-banner.jpg]] | [[File:Avm2014-banner.jpg]] | ||
| + | |||
Revision as of 16:05, 11 February 2014
9th Alpine Verification Meeting, 12-14 May 2014, Frejus, Cote d'Azur, France
== * Hosted by CAES/CNRS Conference Center "Villa Clythia"
- Organized by Radu Iosif (VERIMAG/CNRS/University of Grenoble)
- Presentation flyer
- Past and future AVMs ==
