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.
For more information on this event, please see: http://mvd2016.cs.iastate.edu/#program