[ecoop-info] STTT Special Section on Program Verification - Call for Papers

Rosemary.Monahan at nuim.ie Rosemary.Monahan at nuim.ie
Tue Nov 27 18:53:38 CET 2012

 (Apologies if you receive multiple copies of this announcement)
  International Journal on Software Tools for Technology Transfer (STTT)
 Special Section on Program Verification 
 This special section is devoted to activities related to VerifyThis 2012 
 which was held on August 30-31 2012 in Paris as a satellite event of
 Symposium on Formal Methods (FM 2012).
 VerifyThis 2012 brought together active tool developers and users from  both industry and academia, to evaluate the usability of tools in a  controlled experiment that could be easily repeated by others. 
 The competition offered a number of challenges presented in natural language. 
 Participants formalized the requirements, implemented a solution, and  formally verified the implementation for adherence to the specification.  There were no restrictions on the programming language and verification  technology used. The correctness properties posed in problems had the  input-output behaviour of programs as their focus.
 We invite VerifyThis 2012 participants to contribute an article for peer  review. This article should strengthen the exchange of ideas and  knowledge that was witnessed at VerifyThis 2012. 
 We also invite articles for peer review from those who could not attend  VerifyThis 2012, but would like to contribute by discussing their  solutions to the competition challenges, hence widening the discussion  on tools for program verification.
 Each article should detail the participants' experience of the  competition challenges containing topics such as (but not limited to)  the following:
 * Details of the tool/approach used
 * Material emphasizing usability of the tool
 * Discussion of completed challenges
 * Details of additional related challenges
 * A reflection on what was learned from completing the competition  challenges (advancements that are necessary for tools, usability issues,  comparison with other tools etc.)
 * A report on the experience of participating in the competition
 Submission to this special issue is completely open. We expect original  articles (typically 10-20 STTT pages) that present high-quality  contributions and must not be simultaneously submitted for publication  elsewhere. Submission of extended versions of previously published  papers is possible as long as the extension is significant, i.e., the  submission can be considered a new paper, the previous paper is  referenced, and the new material is clearly marked.
 Technically involved material and detailed proofs, not necessary to  understand the essence and the impact of the article, should be included  in Electronic Appendices. Electronic Appendices have no page limitation  and may be of different formats (links to online sites etc...).
 Submissions must comply with the STTT author guidelines
 and be written in English. Submission is via the STTT website which will  open for contributions in early February 2013. The link for submissions  will be circulated then.
 * Submission of papers: March 1st, 2013.
 * Intended Notification Date: June 1st, 2013.
 * Dr Marieke Huisman (University of Twente, The Netherlands)
 * Dr Vladimir Klebanov (Karlsruhe Institute of Technology, Germany)
 * Dr Rosemary Monahan (NUI Maynooth, Ireland)
 Please send any queries you may have to:
    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/

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20121127/bc66c8e2/attachment.html 

More information about the ecoop-info mailing list