Organizers
MDV'10 is hosted by the Computer Science Department of the University of Iowa.
It is organized by Aaron Stump and Cesare Tinelli.
Local administrative and logistic support is provided by Catherine Till, Sheryl Semler and Naomi Mumford.
MVD'10 - Midwest Verification Day
September 17-18, 2010 |
|
MDV'10 is hosted by the Computer Science Department of the University of Iowa.
It is organized by Aaron Stump and Cesare Tinelli.
Local administrative and logistic support is provided by Catherine Till, Sheryl Semler and Naomi Mumford.