Call for Industry Track papers at FM2015
20th International Symposium on Formal Methods
Oslo, Norway, June 22-26, 2015
http://fm2015.ifi.uio.no/fm2015-industry-track/
IMPORTANT DATES:
- Feb 2, 2015: Industry Track Submission:
- March 13, 2015: Industry Track Notification
- June 22 - 26, 2015: Main Conference
FM 2015 is the twentieth in a series of symposia organized by Formal Methods Europe, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The symposia have been notably successful in bringing together innovators and practitioners in precise mathematical methods for software and systems development, industrial users, as well as researchers. The industry track of FM 2015 welcomes short papers describing industrial applications of formal methods, experience with introducing formal methods in industry, tool usage reports, experiments with challenge problems. Authors are encouraged to explain how the use of formal methods has overcome problems, led to improvements in design or provided new insights.
A survey of industrial applications of formal methods has been conducted and is currently being extended (now with more than 100 entries). It would be welcome if submissions to the industrial track also would take the time to supply an entry to this survey. We hope during the industry track of FM 2015 to provide a new status of this survey so you will be able to see how your findings compare to others.
PAPER SUBMISSION
Industry track papers should not exceed 4 pages (including appendices and references). Accepted papers will be published in the Symposium Proceedings, to appear in Springer's Lecture Notes in Computer Science. Submitted papers should describe, in English, have not been published or submitted elsewhere concurrently for publication, and should be in Springer's format. All submissions will be evaluated by at least three members of the industry track program committee. Papers should be submitted through the FM 2015 Industry Track EasyChair web site:
https://easychair.org/conferences/?conf=fm2015industrytrack
INDUSTRY TRACK PROGRAM COMMITTEE
- Jon Burton, Praxis, United Kingdom.
- Ewen Denney, SGT/NASA Ames, United States.
- Wolfgang Grieskamp, Google, United States.
- Sako Hiroshi, Designers' Den Corp, Japan.
- Michael Holloway, NASA, United States.
- Ralf Huuck, NICTA, Australia. (co-chair).
- Peter Gorm Larsen, Aarhus University, Denmark (co-chair).
- Thierry Lecomte, ClearSy, France.
- Pekka Pihlajasaari, Data Abstraction (Pty) Ltd, South Africa.
- Nico Plat, West Consulting, Netherlands.
- Andreas Roth, SAP, Germany (co-chair).
- Bastian Schlich, ABB, Germany.
- Marcel Verhoef, Chess Wireless, Netherlands.