VerifyThis Verification Competition will take place on 30th and 31st August
This event attached to the FM 2012 symposium aims to evaluate the usability of (mostly deductive) verification tools in a controlled experiment that could be easily repeated by others.Verification Competition Schedule
Thursday, August 30th
11.30 - 11.45 : Verification competition presentation by Marieke Huisman, U Twente, Vladimir Klebanov, Karlsruhe Institute of Technology, Rosemary Monahan, NUI MaynoothFriday, August 31st
10:30 - 12:30 : Q&A session with participants and judgesOrganizers
Marieke Huisman, U Twente, NL
Vladimir Klebanov, Karlsruhe Institute of Technology, DE
Rosemary Monahan, NUI Maynooth, IE
For more information : http://fm2012.verifythis.org/