Difference between revisions of "AVM 2014"
From Numerical Transition Systems
Radu iosif (Talk | contribs) |
Radu iosif (Talk | contribs) |
||
| Line 6: | Line 6: | ||
The Alpine Verification Meeting is an informal meeting on current problems in formal verification. | 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 | 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. | + | on their research, to have time for discussion, also on possible collaborations. The meeting is open to |
| − | + | everyone. | |
* [[register|Registration/Accomodation]] | * [[register|Registration/Accomodation]] | ||
Revision as of 14:32, 24 February 2014
9th Alpine Verification Meeting, 12-14 May 2014, Frejus, Cote d'Azur, France
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 meeting is open to
everyone.
- Hosted by CAES/CNRS Conference Center "Villa Clythia"
- Organized by Radu Iosif (VERIMAG/CNRS/University of Grenoble)
- Presentation flyer
- Past and future AVMs
