Difference between revisions of "AVM 2014"

From Numerical Transition Systems
Jump to: navigation, search
Line 4: Line 4:
  
  
The Alpine Verification Meeting is an informal meeting on current problems in formal verification. The goal of the meeting is to bring together researchers from the Alpine region to update each other on their research, to have time for discussion, also on possible collaborations.  
+
The Alpine Verification Meeting is an informal meeting on current problems in formal verification.  
 +
The goal of the meeting is to bring together researchers from the Alpine region to update each other  
 +
on their research, to have time for discussion, also on possible collaborations.  
  
  

Revision as of 14:31, 24 February 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 to bring together researchers from the Alpine region to update each other on their research, to have time for discussion, also on possible collaborations.