Call for Participation

Midwest Verification Day is the first workshop for the Midwest region on hardware and software verification. 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, is held for the following purpose:

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 small number of accommondation scholarships are available for student participants. See the Registration section for more details on both.

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