Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] VerifyThis Verification Competition @ FM 2012 ...

Email Gateway (Aug 19 2022 at 08:05):

From: Rosemary.Monahan@nuim.ie

VerifyThis Verification Competition 2012 - Call for participation

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

http://fm2012.verifythis.org/

IMPORTANT DATES

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

ABOUT

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
specification.

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.

SCHEDULE

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

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@verifythis.org
listing team composition and tools.

PRIZES

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

ORGANIZERS

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

CONTACT

fm2012@verifythis.org
http://fm2012.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/

Last updated: Apr 24 2024 at 16:18 UTC