<br> <div style="text-align: center;">(Apologies if you receive multiple copies of this announcement)<br> ------------------------------------------------------------<br> </div>&nbsp;<div style="text-align: center;">International Journal on Software Tools for Technology Transfer (STTT)<br> Special Section on Program Verification <br> -- CALL FOR PAPERS --<br> </div>&nbsp;<div style="text-align: center;">------------------------------------------------------------<br> </div>&nbsp;<br> This special section is devoted to activities related to VerifyThis 2012 <br> &nbsp;&nbsp; <br> <a href="http://fm2012.verifythis.org/">&nbsp;http://fm2012.verifythis.org</a><br> <br> which was held on August 30-31 2012 in Paris as a satellite event of<br> Symposium on Formal Methods (FM 2012).<br> <br> 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. <br> <br> The competition offered a number of challenges presented in natural language. <br> 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.<br> <br> 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. <br> <br> 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.<br> <br> Each article should detail the participants' experience of the  competition challenges containing topics such as (but not limited to)  the following:<br> * Details of the tool/approach used<br> * Material emphasizing usability of the tool<br> * Discussion of completed challenges<br> * Details of additional related challenges<br> * A reflection on what was learned from completing the competition  challenges (advancements that are necessary for tools, usability issues,  comparison with other tools etc.)<br> * A report on the experience of participating in the competition<br> <br> 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.<br> <br> 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...).<br> <br> Submissions must comply with the STTT author guidelines<br> <br> &nbsp;&nbsp;<a href="http://sttt.cs.uni-dortmund.de/for-authors.html"> http://sttt.cs.uni-dortmund.de/for-authors.html</a><br> <br> 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.<br> <br> IMPORTANT DATES<br> ---------------<br> * Submission of papers: March 1st, 2013.<br> * Intended Notification Date: June 1st, 2013.<br> <br> GUEST EDITORS<br> --------------<br> * Dr Marieke Huisman (University of Twente, The Netherlands)<br> * Dr Vladimir Klebanov (Karlsruhe Institute of Technology, Germany)<br> * Dr Rosemary Monahan (NUI Maynooth, Ireland)<br> <br> CONTACT<br> --------------<br> Please send any queries you may have to:<br> &nbsp;&nbsp; fm2012@verifythis.org.<br> <br><br>Dr Rosemary Monahan<br>Principles of Programming Research Group<br>Department of Computer Science,<br>NUI Maynooth, Maynooth, Co. Kildare, Ireland.<br><br>Tel: +353-1-7083463<br>Web: http://www.cs.nuim.ie/staff/rosemary/<br>