<html>
<head>
<title>HTML Message</title>
<meta name=generator content=Advanced HTML parser v2>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
</head>
<body>
<table border="0" width="100%" cellspacing="0" cellpadding="0">
<tr>
<td>
<font face='Lucida Grande' size='4'><b>FM 2016: 21st International Symposium on Formal Methods<br><br>Limassol, Cyprus, 7-11 November 2016<br><br><a href="http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=cHJhZ21hdGljd2ViICwJCQlwcmFnbWF0aWN3ZWJAbGlzdHMuc3BsaW5lLmluZi5mdS1iZXJsaW4uZGUJMjFzdCBJbnRlcm5hdGlvbmFsIFN5bXBvc2l1bSBvbiBGb3JtYWwgTWV0aG9kcyAoRk1FIDIwMTYpOiBGaXJzdCBDYWxsIGZvciBQYXBlcnMJMzIJQWRkcmVzc2VzCTk3NTgJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Ffm2016.cs.ucy.ac.cy">http://fm2016.cs.ucy.ac.cy</a><br><br>*** FIRST CALL FOR PAPERS ***<br><br></b></font><font face='Lucida Grande'><br><u>IMPORTANT DATES</u><br><br>• <b>Abstract submission deadline</b>: 16 May 2016 <br>• <b>Full paper submission deadline</b>: 30 May 2016 <br>• <b>Notification</b>: 8 August 2016 <br>• <b>Conference</b>: 7-11 November 2016<br> <br>FM 2016 is the latest in a series of symposia organized by Formal Methods<br>Europe, an independent association that encourages the use of, and research<br>on, formal methods for the engineering of computer-based systems and<br>software. The symposia have been notably successful in bringing together<br>researchers and industrial users around a programme of original papers on<br>research and industrial experience, workshops, tutorials, reports on tools,<br>projects, and ongoing doctoral work.<br><br><u>SCOPE AND TOPICS<br></u><br>FM 2016 will highlight the development and application of formal methods <br>in a wide range of domains including software, computer-based systems,<br>systems-of-systems, human interaction, manufacturing, sustainability,<br>power, transport, cities, healthcare, and biology. We also welcome papers<br>on experiences of formal methods in industry, and on the design and<br>validation of formal methods tools. <br> <br>FM 2016 encourages submissions on formal methods for developing and<br>evaluating systems that interact with physical processes, and systems that<br>use artificial intelligence technology. Examples include autonomous systems,<br>robots, and cyber-physical systems in general. Applying formal methods to<br>these systems of growing interest and importance is challenging because<br>they exhibit much greater non-determinism than traditional systems, making<br>them challenging to assure.<br><br>The broad topics of interest for FM 2016 include, but are not limited to:<br><br>• <b>Interdisciplinary formal methods</b>: Techniques, tools and experiences<br>demonstrating formal methods in interdisciplinary frameworks.<br><br>• <b>Formal methods in practice</b>: Industrial applications of formal methods,<br>experience with formal methods in industry, tool usage reports, experiments<br>with challenge problems. Authors are encouraged to explain how formal<br>methods overcame problems, led to improved designs, or provided new<br>insights.<br><br>• <b>Tools for formal methods</b>: Advances in automated verification and<br>model-checking, tools integration, environments for formal methods, and<br>experimental validation of tools. Authors are encouraged to demonstrate<br>empirically that the new tool or environment advances the state of the art.<br><br>• <b>Role of formal methods in software and systems engineering</b>:<br>Development processes with formal methods, usage guidelines for formal<br>methods, and method integration. Authors are encouraged to evaluate<br>process innovations with respect to qualitative or quantitative improvements.<br>Empirical studies and evaluations are also solicited.<br><br>• <b>Theoretical foundations</b>: All aspects of theory related to specification,<br>verification, refinement, and static and dynamic analysis. Authors are<br>encouraged to explain how their results contribute to the solution of<br>practical problems with methods or tools.<br> <br><u>SUBMISSION INFORMATION<br><br></u>Papers should be original work, not published or submitted elsewhere, in<br> Springer LNCS format, written in English, submitted through Easychair<br>(</font><font face='Lucida Grande' color='#4DC3FF'><u><a href="http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=cHJhZ21hdGljd2ViICwJCQlwcmFnbWF0aWN3ZWJAbGlzdHMuc3BsaW5lLmluZi5mdS1iZXJsaW4uZGUJMjFzdCBJbnRlcm5hdGlvbmFsIFN5bXBvc2l1bSBvbiBGb3JtYWwgTWV0aG9kcyAoRk1FIDIwMTYpOiBGaXJzdCBDYWxsIGZvciBQYXBlcnMJMzIJQWRkcmVzc2VzCTk3NTgJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dfm2016">https://easychair.org/conferences/?conf=fm2016</a></u></font><font face='Lucida Grande'>). <br> <br>Each paper will be evaluated by at least three members of the Programme<br>Committee. Authors of papers reporting experimental work are strongly<br>encouraged to make their experimental results available for use by reviewers.<br>Similarly, case study papers should describe significant case studies and the<br>complete development should be made available at the time of review. The<br>usual criteria for novelty, reproducibility, correctness and the ability for<br>others to build upon the described work apply. Tool papers should explain<br>enhancements made compared to previously published work. A tool paper<br>need not present the theory behind the tool but should focus more on the<br>tool’s features, how it is used, its evaluation, and examples and screen shots<br>illustrating the tool’s use. Authors of tool papers should make their tool<br>available for use by reviewers.<br><br>We solicit two categories of papers:<br><br>• <b>Regular Papers</b> should not exceed 15 pages, not counting references<br>and appendices.<br><br>• <b>Short papers</b>, including <b>tool papers</b>, should not exceed 6 pages, not<br>counting references and appendices. Besides tool papers, short papers are<br>encouraged for any subject that can be described within the page limit, and<br>in particular for novel ideas without an extensive experimental evaluation.<br>Short papers will be accompanied by short presentations.<br><br>For regular and tool papers, an appendix can provide additional material such<br>as details on proofs or experiments. The appendix is not part of the page<br>count and not guaranteed to be read or taken into account by the reviewers.<br>It should not contain information necessary to the understanding and the<br>evaluation of the presented work. Papers will be accepted or rejected in the<br>category in which they were submitted—there will be no “demotions” from a<br>regular to a short paper.<br><br><u>BEST PAPER AWARD<br><br></u>During the conference, the Programme Committee Chairs will present an<br>award to the authors of the submission selected as the FM 2016 Best Paper.<br> <br><u>PUBLICATION<br><br></u>Accepted papers will be published in the Symposium Proceedings and in<br>Springer’s Lecture Notes in Computer Science. Extended versions of selected<br>papers will be invited for publication in a special issue of one or more journals.<br><br><u>LOCATION<br><br></u>FM 2016 is organized by the University of Cyprus and will take place at St.<br>Raphael Resort, Limassol, Cyprus. <br><br><u>GENERAL CHAIR<br></u>Anna Philippou, University of Cyprus, Cyprus<br><br><u>PROGRAMME CHAIRS<br><br></u>John S Fitzgerald, Newcastle University, UK<br>Stefania Gnesi, CNR-ISTI, Italy<br>Constance L Heitmeyer, Naval Research Laboratory, USA<br><br><u>PROGRAM COMMITTEE (TBA)<br></u></font>
</td>
</tr>
</table>
<img src="http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=cHJhZ21hdGljd2ViICwJCQlwcmFnbWF0aWN3ZWJAbGlzdHMuc3BsaW5lLmluZi5mdS1iZXJsaW4uZGUJMjFzdCBJbnRlcm5hdGlvbmFsIFN5bXBvc2l1bSBvbiBGb3JtYWwgTWV0aG9kcyAoRk1FIDIwMTYpOiBGaXJzdCBDYWxsIGZvciBQYXBlcnMJMzIJQWRkcmVzc2VzCTk3NTgJb3Blbglubwlubw==&url=" alt="LM Opening" height="1" width="1" />
</body>
</html>