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.
We will have 2 invited speakers, and the rest of the talks will be given mainly by PhD students and post-docs. As usual, AVM does not have a formal reviewing process. To give a talk at AVM, supervisors should nominate students or post-docs, by sending an email with a title and an abstract to the organizer.
- Yannis Smaragdakis (University of Athens)
- Dino Distefano (Queen Mary University of London and Facebook)
March 21, 2014: submission of titles and abstracts of proposed talks by supervisors
March 28, 2014: notification of acceptance
April 11, 2014: registration of attendees (due to local organization constraints, this is a firm deadline)
May 12, 2014: arrival on site (around 12pm)
May 14, 2014: departure (afternoon)
The talks will take place at the CNRS Conference Center Villa Clythia in Frejus. We plan to accomodate all participants on site with full board. Due to this reason, we must respect a strict registration deadline. The workshop is open for participation to everybody.
Radu Iosif, organizer of AVM 2014