<div dir="ltr"><div>Call for Industry Track Papers: Formal Methods 2014 (FM 2014)</div><div><br></div><div>CALL FOR INDUSTRY TRACK PAPERS</div><div>Formal Methods 2014 (FM 2014)</div><div>19th International Symposium on Formal Methods</div>
<div>Singapore, May 14-16, 2014</div><div><br></div><div><a href="http://www.comp.nus.edu.sg/~pat/FM2014/">http://www.comp.nus.edu.sg/~pat/FM2014/</a></div><div><br></div><div>FM2014 is the nineteenth in a series of symposia organized by</div>
<div>Formal Methods Europe, an independent association whose aim is</div><div>to stimulate the use of, and research on, formal methods for</div><div>software development. The symposia have been notably successful</div><div>
in bringing together innovators and practitioners in precise</div><div>mathematical methods for software and systems development,</div><div>industrial users, as well as researchers.  The industry track of</div><div>FM 2014 welcomes papers describing industrial applications of</div>
<div>formal methods, experience with introducing formal methods in</div><div>industry, tool usage reports, experiments with challenge</div><div>problems. Authors are encouraged to explain how the use of</div><div>formal methods has overcome problems, lead to improvements in</div>
<div>design or provided new insights.</div><div><br></div><div>PAPER SUBMISSION</div><div><br></div><div>Industry track papers should not exceed 15 pages (including</div><div>appendices and references). Accepted papers will be published in</div>
<div>the Symposium Proceedings, to appear in Springer&#39;s Lecture Notes</div><div>in Computer Science. Submitted papers should describe, in</div><div>English, have not been published or submitted elsewhere</div><div>concurrently for publication, and should be in Springer&#39;s</div>
<div>format. All submissions will be evaluated by at least three</div><div>members of the industry track program committee.  Papers should</div><div>be submitted through the FM 2014 EasyChair web site:</div><div><br></div>
<div><a href="http://www.easychair.org/conferences/?conf=fm2014">http://www.easychair.org/conferences/?conf=fm2014</a></div><div><br></div><div>IMPORTANT DATES</div><div><br></div><div>* Industry Track Submission: January 16, 2014</div>
<div>* Industry Track Notification: February 16, 2014</div><div>* Camera-ready: February 25, 2014</div><div>* Main Conference Date: May 14-16, 2014</div><div><br></div><div>FM 2014 ORGANIZING COMMITTEES</div><div><br></div>
<div>General Chair</div><div>Jin Song Dong, National University of Singapore, Singapore.</div><div><br></div><div>Program Committee Co-Chairs</div><div>Cliff B Jones, Newcastle University, United Kindom.</div><div>Pekka Pihlajasaari, Data Abstraction (Pty) Ltd, South Africa.</div>
<div>Jun Sun, Singapore University of Technology and Design, Singapore.</div><div><br></div><div>Doc Symposium Chair</div><div>Annabelle McIver, Macquarie University, Australia.</div><div><br></div><div>Workshop Chair</div>
<div>Shengchao Qin, University of Teesside, United Kindom.</div><div><br></div><div>Publicity Chair</div><div>Jonathan Bowen, Birmingham City University, United Kindom.</div><div>Kenji Taguchi, AIST, Japan.</div><div><br>
</div><div>INDUSTRY TRACK PROGRAM COMMITTEE</div><div><br></div><div>* Jun Sun, Singapore University of Technology and Design, Singapore.</div><div>* Cliff Jones, Newcastle University, United Kingdom.</div><div>* Pekka Pihlajasaari, Data Abstraction (Pty) Ltd, South Africa.</div>
<div>* Michael Holloway, NASA, United States.</div><div>* Ralf Huuck, NICTA, Australia.</div><div>* Ewen Denney, SGT/NASA Ames, United States.</div><div>* Jim Grundy, Intel Corporation, United States.</div><div>* Hongjun Zheng, MathWorks, United States.</div>
<div>* Wolfgang Grieskamp, Google, United States.</div><div>* Cristina Cifuentes, Oracle, Australia.</div><div>* Jon Burton, Praxis, United Kingdom.</div><div><br></div><div>--</div><div><div dir="ltr">Prof. Jonathan Bowen<div>
<span style="font-family:arial;font-size:small">Professor of Computer Science, Birmingham City University</span><br style="font-family:arial;font-size:small">Emeritus Professor, London South Bank University<br>Chairman, Museophile Limited<br>
<a href="http://www.jpbowen.com" target="_blank">http://www.jpbowen.com</a><br></div></div></div>
</div>