The eighth Midwest Verification Day workshop will be hosted at Iowa State University, Ames, Iowa on October 21-22, 2016.
Topics of this informal workshop on hardware and software verification include model checking, deductive verification, runtime verification, model based verification, and application of verification techniques. The workshop provides an outlet for undergraduate and graduate students to present early stages of their research work, and for researchers and educators to exchange research ideas. The purpose of the workshop is to strengthen the formal methods and verification community in the Midwest.
Anyone interested in the workshop topics is invited to participate. There is no registration fee. If you would like to present a talk at the workshop, please consider submitting an abstract. Abstracts will be made available on the workshop website. As the workshop does not publish proceedings, work in-progress papers as well as papers submitted or accepted for publication elsewhere are welcome.
Student participants may apply for travel support funds.
Important Dates
Registration & Abstract Submission Deadline: September 30, October 7, 11:59pm CDT
Workshop Dates: October 21-22, 2016.
Registration Information
Registration is free. If you would like to participate, register online. If you are interested in presenting your work, please submit title and abstract of your presentation at the time of registration.
Submission Formatting guidelines: Submissions should be in pdf following LNCS format. The abstract should not exceed 500 words.
Program Information
Will be posted on Oct 10, 2016.
Venue Information
- History of Computer Science Department
- History of Iowa State University
Organizers: Samik Basu, Gianfranco Ciardo, Andrew Miner and Kristin Rozier
Email: mvd2016@iastate.edu