The eighth Midwest Verification Day workshop will be hosted at Iowa
State University, Ames, Iowa on October 21-22, 2016.
Andrew Miner and
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
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.
Submission Formatting guidelines: Submissions should be in pdf
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.
- Sagar Chaki, Software Engineering Institute at CMU.
Title: Engineering High-Assurance Software for Distributed Adaptive Real-Time Systems
- Aaron Tomb, Galois.
Title: Top-to-bottom Verification of Cryptographic Algorithms
- MVD 2015, University of Illinois at Urbana-Champaign
- MVD 2014, University of Missouri, Columbia
- MVD 2013, University of Illinois, Chicago
- MVD 2012, University of Kansas, Lawrence
- MVD 2011, University of Minnesota, Minneapolis
- MVD 2010, University of Iowa, Iowa City
- MVD 2009, University of Iowa, Iowa City