The Midwest Verification Day 2013 (MVD'13) is the fifth workshop for the Midwest region on hardware and software verification, continuing the tradition of MVD'09-MVD'12. This year, MVD will be held from September 20-21 at the University of Illinois at Chicago.
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, which is loosely modeled after similar regional events such as the Midwest Theory Day and MidGraph, has the following purposes:
Participation is open to anyone and there are no registration fees. Thus, anyone willing to give talk is encouraged to do so. Registration is free and a number of student travel and accommodation grants will be available given final approval by the NSF.
There is no program committee and there will be no proceedings.
Sept 16: Abstract submissions for presentations are due. Note that due to time constraints, earlier submissions will be given higher scheduling priority. To present, please follow the instructions for submitting an abstract here.
Sept 18 (or earlier): Announcement of the final program. The final program will posted here.
Sept 20-21: The workshop will be held at the University of Illinois at Chicago. Venue and accommodation information can be found here. All attendees are expected to register using the form found here.
The MVD'13 organizers are proud to announce that Thomas Ball of Microsoft Research will be the keynote speaker and that Robert V. Binder of System Verification Associates will be giving an invited talk. More information on both talks can be found in the program.