The Midwest Verification Day 2013 (MVD'13)

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:

  • To give graduate and undergraduate students a chance to present their research ideas to other students and faculty in an informal and supportive setting;
  • To share and discuss ideas pertaining to early work;
  • To improve the chance of presented work being accepted to high-quality publication venues;
  • To build a formal methods community in the midwest;
  • To make friends and enjoy the company of like-minded individuals.

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.

Important Dates

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.

Invited Speakers

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.

Questions and other inquiries can be directed to Lenore D. Zuck, Mark Grechanik, or Matthew L. Bolton, Department of Computer Science, University of Illinois at Chicago.