Midwest Verification Day(s)

Midwest Verification Day(s) (MVD) returns to The University of Iowa for its tenth edition. MVD is an annual regional workshop on formal verification, and formal methods in general. Topics of interest include deductive verification, model checking, static analysis, abstract interpretation, runtime verification, model-based testing, and security.

The workshop seeks to provide a forum for students and young researchers such as postdocs and junior faculty to present their work and ideas in an informal and relaxed setting, and share suggestions and ideas on the presented work. It is also meant to be an opportunity to network with fellow students, professors and people from industry.

This year, the workshop will stress its industrial connections. Representatives from a number of companies seeking to hire in formal methods will be in attendance, with some of them participating in a speed meeting session on Friday.

Submissions and Registration

Participation is open to anyone and there are no registration fees. Thus, anyone willing to give a talk is encouraged to submit a title and abstract, bearing in mind that talks by students and postdocs will be given precedence. The workshop has no proceedings. Talks on work in progress or submitted/accepted elsewhere are welcome. For planning purposes registration is strongly encouraged.

Travel Grants

A number of travel and accommodation grants are available for student and postdocs. Students/postdocs seeking support are encouraged to indicate this in the registration form.

Important Dates

  • Sep 21   Registration deadline
  • Sep 21   Abstract submission deadline
  • Sep 24   Final program announcement
  • Sep 28–29   Workshop days