University of Minnesota
Software Engineering Center

You are here

Midwest Verification Day 2011

Date of Event: 
Friday, September 30, 2011 - 8:00am to Saturday, October 1, 2011 - 5:00pm
Friday, September 30th and Saturday, October 1st, 2011, 8:30-16:30
Registration and coffee start at 8:00.
Friday:University of Minnesota, Minneapolis Campus, McNamara Alumni Center, at the corner of Oak Street and Washington Avenue
Saturday:University of Minnesota, Minneapolis Campus, Keller Hall Rm. 3-230 at 200 Union Street SE.

Midwest Verification Day 2011 (MVD'11) is the third workshop for the Midwest region on hardware and software verification, aiming to repeat the successes of MVD'09 & '10. 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:

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

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.

The schedule is posted here.

Hotel information is posted here.

Reimbursement policies for travel grants are posted here.

Support for MVD'11 from the National Science Foundation under Grant No. NSF/CCF 1143933 is gratefully acknowledged. Any opinions, findings, and conclusions or recommendations expressed in this page are those of the concerned author(s) and do not necessarily reflect the views of the National Science Foundation.