Difference between revisions of "AVM 2014"

From Numerical Transition Systems
Jump to: navigation, search
Line 4: Line 4:
  
  
==  
+
== * 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 15:05, 11 February 2014

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

Avm2014-banner.jpg


== * Hosted by CAES/CNRS Conference Center "Villa Clythia"

  • Organized by Radu Iosif (VERIMAG/CNRS/University of Grenoble)
  • Presentation flyer
  • Past and future AVMs ==