Important Dates
Past Editions

The eighth Midwest Verification Day workshop will be hosted at Iowa State University, Ames, Iowa on October 21-22, 2016.
Download flyer

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 (Form).

Organizers: Samik Basu, Gianfranco Ciardo, Andrew Miner and Kristin Rozier
Email: mvd2016@iastate.edu


Registration & Abstract submission deadline: September 30, October 10, 11:59pm CDT

Workshop: October 21-22, 2016.


Registration is free. If you are interested in presenting your work, please submit title and abstract of your presentation at the time of registration.
Registration Closed.

Submission Formatting guidelines: Submissions should be in pdf following LNCS format. The abstract should not exceed 500 words.


Download MVD 2016 Program. (Click here for detailed program with local information).

Logistics: On Friday, MVD 2016 will take place in the Oak Room of the ISU Memorial Union. Lunch will be on your own; the Memorial Union has a large food court, or Campustown is just a short walk away (but be aware that the lunch break is only 70 minutes long).
On Saturday, MVD 2016 will take place in 2245 Coover Hall. A catered buffet lunch will be provided nearby, in 2200 Marston Hall.
Please note that the duration of each presentation, including questions and answers, is 60 minutes for Keynote presentations, and 20 minutes for Regular presentations.

Keynote speakers

Venue Information

Past Editions