[isabelle] VerifyThis Verification Competition @ FM 2012 - Call for participation

VerifyThis Verification Competition 2012 - Call for participation

To be held at FM 2012 - 30-31 August 2012, Paris, France



FM early registration ends: July 10, 2012
Competition: August 30-31, 2012


VerifyThis is a two-day event taking place as part of the Symposium on
Formal Methods (FM 2012) on August 30-31 in Paris, France. It is a
successor of the program verification competition held at FoVeOOS 2011.

The aims of the competition are:
- to bring together those interested in formal verification, and to
  provide an engaging, hands-on, and fun opportunity for discussion
- to evaluate the usability of logic-based program verification tools in
  a controlled experiment that could be easily repeated by others.

The competition will offer a number of challenges presented in natural
language. Participants have to formalize the requirements, implement a
solution, and formally verify the implementation for adherence to the

There are no restrictions on the programming language and verification
technology used. The correctness properties posed in problems will have
the input-output behavior of programs in focus. Solutions will be judged
for correctness, completeness and elegance. A separate call for problem
contributions is forthcoming.


The problem-solving session will take place on August 30th. On the
following day, the participants will have the opportunity to discuss
solutions with the judges, and the preliminary results will be announced
at a plenary session of FM 2012.


Participation is open for anybody interested. Teams of up to two people
are allowed. Physical presence on site is required. We particularly
encourage participation of:

- student teams (this includes PhD students)
- non-developer teams using a tool someone else developed
- several teams using the same tool

The competition is a satellite event of the FM 2012. Participants must
register on the FM website AND send an email to fm2012 at verifythis.org
listing team composition and tools.


Prizes will be awarded in the following categories:

- best team
- best student team
- tool used by most teams
- tool providing most assistance to the user


* Marieke Huisman, University of Twente, the Netherlands
* Vladimir Klebanov, Karlsruhe Institute of Technology, Germany
* Rosemary Monahan, National University of Ireland Maynooth


fm2012 at verifythis.org

Dr Rosemary Monahan
Principles of Programming Research Group
Department of Computer Science,
NUI Maynooth, Maynooth, Co. Kildare, Ireland.

Tel: +353-1-7083463
Web: http://www.cs.nuim.ie/staff/rosemary/

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.