Difference between revisions of "AVM 2014"
From Numerical Transition Systems
Radu iosif (Talk | contribs) |
Radu iosif (Talk | contribs) |
||
Line 4: | Line 4: | ||
* Organized by Radu Iosif (VERIMAG/CNRS/University of Grenoble) | * Organized by Radu Iosif (VERIMAG/CNRS/University of Grenoble) | ||
* Presentation flyer [http://nts.imag.fr/images/e/e3/Avm2014.pdf Avm2014.pdf] | * Presentation flyer [http://nts.imag.fr/images/e/e3/Avm2014.pdf Avm2014.pdf] | ||
− | * Past and future [http://avm.sosy-lab.org/ AVMs] | + | * Past and future [http://avm.sosy-lab.org/pastfuture.php AVMs] |
Revision as of 19:02, 27 April 2013
9th Alpine Verification Meeting, 12-15 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 Avm2014.pdf
- Past and future AVMs