Midwest Verification Day to be Held October 21st - 22nd at ISU

September 30, 2016


The eighth Midwest Verification Day workshop will be hosted at Iowa State University, Ames, Iowa on October 21-22, 2016. 
Download flyer 

Topics of this informal workshop on hardware and software verification include model checking, deductive verification, runtime verification, model based verification, and application of verification techniques. The workshop provides an outlet for undergraduate and graduate students to present early stages of their research work, and for researchers and educators to exchange research ideas. The purpose of the workshop is to strengthen the formal methods and verification community in the Midwest. 

Anyone interested in the workshop topics is invited to participate. There is no registration fee. If you would like to present a talk at the workshop, please consider submitting an abstract. Abstracts will be made available on the workshop website. As the workshop does not publish proceedings, work in-progress papers as well as papers submitted or accepted for publication elsewhere are welcome. 

Student participants may apply for travel support funds.

Important Dates

Registration & Abstract Submission Deadline: September 30, October 7, 11:59pm CDT

Workshop Dates: October 21-22, 2016.


Registration Information

Registration is free. If you would like to participate, register here. If you are interested in presenting your work, please submit title and abstract of your presentation at the time of registration. 

Submission Formatting guidelines: Submissions should be in pdf following LNCS format. The abstract should not exceed 500 words.

Program Information

Will be posted on Oct 10, 2016.

Venue Information

Organizers: Samik BasuGianfranco CiardoAndrew Miner and Kristin Rozier 


Email: mvd2016@iastate.edu


News Type: