Difference between revisions of "AVM 2014"

From Numerical Transition Systems
Jump to: navigation, search
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"]  
 
* 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)
 
* Organized by Radu Iosif (VERIMAG/CNRS/University of Grenoble)
 
* Presentation flyer [File:Avm2014.pdf]
 
* Presentation flyer [File:Avm2014.pdf]

Revision as of 18:34, 27 April 2013

9th Alpine Verification Meeting
12-15 May 2014, Frejus, Cote d'Azur, France