Difference between revisions of "AVM 2014"

From Numerical Transition Systems
Jump to: navigation, search
Line 4: Line 4:
 
* Organized by Radu Iosif (VERIMAG/CNRS/University of Grenoble)
 
* Organized by Radu Iosif (VERIMAG/CNRS/University of Grenoble)
 
* Presentation flyer [http://nts.imag.fr/images/e/e3/Avm2014.pdf Avm2014.pdf]
 
* Presentation flyer [http://nts.imag.fr/images/e/e3/Avm2014.pdf Avm2014.pdf]
* Past and future [http://avm.sosy-lab.org/ AVMs]
+
* Past and future [http://avm.sosy-lab.org/pastfuture.php AVMs]

Revision as of 19:02, 27 April 2013

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

Avm2014-banner.jpg