AVM 2014

From Numerical Transition Systems
Revision as of 15:05, 11 February 2014 by Radu iosif (Talk | contribs)

Jump to: navigation, search

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