Difference between revisions of "AVM 2014"

From Numerical Transition Systems
Jump to: navigation, search
Line 9: Line 9:
 
* [[speakers|Invited Speakers]]
 
* [[speakers|Invited Speakers]]
 
* [[programme|Programme]]
 
* [[programme|Programme]]
* [[abstracts|List of Presentations with Abstracts]]
+
* [[abstracts|Talks with Abstracts]]
 
* [[register|Registration/Accomodation]]
 
* [[register|Registration/Accomodation]]
 
* [[travel|Traveling to Frejus]]
 
* [[travel|Traveling to Frejus]]

Revision as of 13:48, 28 March 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.