Midwest Verification Day 2010 (MVD'10) is the second workshop for the Midwest region on hardware and software verification, aiming to repeat the success of MVD'09.

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, successful events like Midwest Theory Day and MidGraph, has the following purposes:

The workshop has no program committee and no proceedings. Anyone willing to give talk is encouraged to do so (see the Submissions section for more details).

Participation is open to anybody and there are no registration fees. However, prospective participants are strongly encouraged to register in advance. Also, a number of travel and accommodation grants are available, mostly to student participants, thanks to a grant by the National Science Foundation. See the Registration section for more details on both.

Colocated Events

On September 18, immediately following MVD'10, the Cedar Rapids IEEE Section is hosting a co-located Industry Formal Methods Workshop, on an introductory overview of industrial formal methods, with talks by researchers and practitioners currently or previously affiliated with Rockwell Collins. MVD'10 participants are welcome to stay for this additional event.


MVD'10 gratefully acknowledges the support of the following sponsors:

National Science Foundation     NEC Labs     Rockwell Collins

Copyright © The University of Iowa, 2010. All Rights Reserved.
Last Modified: Aug 25, 2010. Developed and maintained by Cesare Tinelli.