Aims and Scope

Midwest Verification Day(s) is an informal workshop for the Midwest region on hardware and software verification, with verification understood in a broad sense.

The workshop, loosely modeled after similar, successful events like Midwest Theory Day and MidGraph, has the following purposes:

  • provide an outlet for students and researchers to present early stages of their research work in an informal and relaxed setting;
  • share suggestions and ideas on other participants work, drafts, papers, and presentations;
  • improve acceptance chances at high-quality publication venues;
  • strengthen the formal methods and verification community in the Midwest.

The workshop has a steering committee but no program committee and no proceedings. Talks on work progress and/or submitted/accepted elsewhere are welcome. Participation is open to anyone and there are no registration fees. Thus, anyone willing to give talk is encouraged to do so.

Topics of Interest

Topics of interest include, but are not limited to, deductive verification, model checking, static analysis, abstract interpretation, runtime verification, model-based testing, and security.

Financial Support

A number of student travel and accommodation grants are usually available thanks to support from various sponsors.

Next Edition

MVD 2017 will take place at Kansas State University on October 6-7.


To receive announcements about MVD you can subscribe to this mailing list.