MVD 2012

Midwest Verification Day 2012 (MVD'12) is the fourth workshop for the Midwest region on hardware and software verification, continuing the tradition of of MVD'09-MVD'11. This year, MVD will be held on September 20-21 at the University of Kansas in Lawrence, KS.

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

The workshop, loosely modeled after similar regional events such as Midwest Theory Day and MidGraph, has the following purposes:

  • give graduate and undergraduate students a chance to present their research ideas to other students and faculty in an informal and supportive setting;
  • share suggestions and ideas on everyone's work, early drafts of papers, and presentations;
  • improve acceptance chances at high-quality publication venues;
  • build a Midwestern formal methods community;
  • enjoy the company of like-minded friends.

The workshop has no program committee and no proceedings. Anyone willing to give talk is encouraged to do so. Participation is open to anyone and there are no registration fees. Also, we anticipate a number of travel and accommodation grants will be available to student participants given final approval by NSF.

Perry Alexander
Andy Gill
Information and Telecommunication Technology Center
The University of Kansas
Lawrence, KS

ittclogo.png10.43 KB