Difference between revisions of "AVM 2014"
From Numerical Transition Systems
Radu iosif (Talk | contribs) |
Radu iosif (Talk | contribs) |
||
| Line 1: | Line 1: | ||
= 9th Alpine Verification Meeting, 12-14 May 2014, Frejus, Cote d'Azur, France = | = 9th Alpine Verification Meeting, 12-14 May 2014, Frejus, Cote d'Azur, France = | ||
| + | |||
[[File:Avm2014-banner.jpg]] | [[File:Avm2014-banner.jpg]] | ||
| + | |||
| + | |||
| + | == | ||
* Hosted by [http://www.caes.cnrs.fr/vacances/nos-villages/la-villa-clythia/copy_of_la-villa-clythia-frejus-var/colloquium-at-frejus/ CAES/CNRS Conference Center "Villa Clythia"] | * Hosted by [http://www.caes.cnrs.fr/vacances/nos-villages/la-villa-clythia/copy_of_la-villa-clythia-frejus-var/colloquium-at-frejus/ CAES/CNRS Conference Center "Villa Clythia"] | ||
* Organized by [[Radu_Iosif|Radu Iosif]] (VERIMAG/CNRS/University of Grenoble) | * Organized by [[Radu_Iosif|Radu Iosif]] (VERIMAG/CNRS/University of Grenoble) | ||
* Presentation [[Media:Avm2014_flyer.pdf|flyer]] | * Presentation [[Media:Avm2014_flyer.pdf|flyer]] | ||
* Past and future [http://avm.sosy-lab.org/pastfuture.php AVMs] | * Past and future [http://avm.sosy-lab.org/pastfuture.php AVMs] | ||
| + | == | ||
Revision as of 16:04, 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
==
