Difference between revisions of "AVM 2014"
From Numerical Transition Systems
Radu iosif (Talk | contribs) |
Radu iosif (Talk | contribs) |
||
Line 12: | Line 12: | ||
* [[register|Registration/Accomodation]] | * [[register|Registration/Accomodation]] | ||
* [[travel|Traveling to Frejus]] | * [[travel|Traveling to Frejus]] | ||
− | * [[ | + | * [[AVM_2014_pictures|Photos]] |
* [http://www.saint-raphael.com/en/ Local Information about Frejus/Saint-Raphael] | * [http://www.saint-raphael.com/en/ Local Information about Frejus/Saint-Raphael] | ||
Latest revision as of 10:06, 12 May 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 bringing together young researchers from the Alpine region. The meeting is open to everyone.
- Invited Speakers
- Programme
- Talks with Abstracts
- Registration/Accomodation
- Traveling to Frejus
- Photos
- Local Information about Frejus/Saint-Raphael
- Hosted by CAES/CNRS Conference Center "Villa Clythia"
- Organized by Radu Iosif (VERIMAG/CNRS/University of Grenoble)
- Presentation flyer
- Past and future AVMs
Sponsored by