[fg-arc] Call for Industry Track papers at FM2015 (20th Intl. Symposium on Formal Methods); 22.-26. June, 2015, Oslo

[Martin Steffen]

--------------------------=== FM 2015 Industry Track  ===-----------------
as part of  the 
 
             20th International Symposium on Formal Methods
 
                     Oslo, Norway, June 22-26, 2015

                 http://fm2015.ifi.uio.no/fm2015-industry-track/

                                Call for Papers

-------------------------------------------------------------------------

IMPORTANT DATES:

- Feb    2, 2015:      Industry Track Submission: 
- March 13, 2015:      Industry Track Notification
- June 22 - 26, 2015:  Main Conference

--------------------------------------------------------------------------


CALL FOR INDUSTRY TRACK PAPERS

---------------------------------------------------------------------------

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.