Difference between revisions of "AVM 2014"
From Numerical Transition Systems
Radu iosif (Talk | contribs) (Created page with "9th Alpine Verification Meeting, 12-15 May 2014, Frejus, Cote d'Azur, France") |
Radu iosif (Talk | contribs) |
||
| Line 1: | Line 1: | ||
9th Alpine Verification Meeting, 12-15 May 2014, Frejus, Cote d'Azur, France | 9th Alpine Verification Meeting, 12-15 May 2014, Frejus, Cote d'Azur, France | ||
| + | ============================================================================ | ||
| + | |||
| + | * Hosted by [http://www.caes.cnrs.fr/vacances/nos-villages/la-villa-clythia CAES/CNRS Conference Center "Villa Clythia"] | ||
| + | * Organized by Radu Iosif (VERIMAG/CNRS/University of Grenoble) | ||
| + | * Presentation flyer [File:Avm2014.pdf] | ||
Revision as of 19:33, 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 [File:Avm2014.pdf]
