Difference between revisions of "AVM 2014"

From Numerical Transition Systems
Jump to: navigation, search
(12-15 May 2014, Frejus, Cote d'Azur, France)
 
(50 intermediate revisions by the same user not shown)
Line 1: Line 1:
===== 9th Alpine Verification Meeting =====
+
= 9th Alpine Verification Meeting, 12-14 May 2014, Frejus, Cote d'Azur, France =
===== 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"]  
+
[[File:Avm2014-banner.jpg]]
* Organized by Radu Iosif (VERIMAG/CNRS/University of Grenoble)
+
 
* Presentation flyer [http://nts.imag.fr/images/e/e3/Avm2014.pdf Avm2014.pdf]
+
 
 +
'''The Alpine Verification Meeting is an informal meeting on current problems in formal verification. The goal of the meeting is bringing together young researchers from the Alpine region. The meeting is open to everyone.'''
 +
 
 +
 
 +
* [[speakers|Invited Speakers]]
 +
* [[programme|Programme]]
 +
* [[abstracts|Talks with Abstracts]]
 +
* [[register|Registration/Accomodation]]
 +
* [[travel|Traveling to Frejus]]
 +
* [[AVM_2014_pictures|Photos]]
 +
* [http://www.saint-raphael.com/en/ Local Information about Frejus/Saint-Raphael]
 +
 
 +
 
 +
----
 +
 
 +
 
 +
* 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)
 +
* Presentation [[Media:Avm2014_flyer.pdf|flyer]]
 +
* Past and future [http://avm.sosy-lab.org/pastfuture.php AVMs]
 +
 
 +
 
 +
----
 +
 
 +
 
 +
'''Sponsored by'''
 +
 
 +
 
 +
[[File:avm_sponsors.jpg]]

Latest revision as of 10:06, 12 May 2014

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

Avm2014-banner.jpg


The Alpine Verification Meeting is an informal meeting on current problems in formal verification. The goal of the meeting is bringing together young researchers from the Alpine region. The meeting is open to everyone.








Sponsored by


Avm sponsors.jpg