part of the 21st International Symposium on Formal Methods
http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZG1hbmV0CQkJZG1hbmV0QHpwci51bmkta29lbG4uZGUJMjFzdCBJbnRlcm5hdGlvbmFsIFN5bXBvc2l1bSBvbiBGb3JtYWwgTWV0aG9kcyAoRk0gMjAxNik6IENhbGwgZm9yIEluZHVzdHJ5IFRyYWNrIFBhcGVycwk1MQlMaXN0cwkyNDcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Ffm2016.cs.ucy.ac.cy%2Fcfpindustrytrack.html
Limassol, Cyprus, November 7-11, 2016
IMPORTANT DATES
* Industry Track Submission: July 31, 2016 (AoE)
* Industry Track Notification: August 22, 2016
* Industry Track Camera Ready: September 5, 2016
* Industry Track Date: November 10, 2016
CALL FOR INDUSTRY TRACK PAPERS
FM 2016 is the 21st 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 2016 welcomes short papers and extended abstracts 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 engineering and qualification problems, led to improvements in design or provided new insights.
A survey of industrial applications of formal methods has been conducted and is continuously 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 (http://fm2016.cs.ucy.ac.cy/img/EntryTemplate.xlsx). We hope during the industry track of FM 2016 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 6 pages (including appendices and references) for short papers. Accepted short papers will be published in the Symposium Proceedings, to appear in Springer's Lecture Notes in Computer Science. Extended abstracts of 2-4 pages are also welcome and will be added in a conference report.
Submitted papers (written in English) should not have been published or submitted elsewhere concurrently for publication, shall not contain any proprietary information that might hamper publication (to be checked and confirmed by author prior to submission) and should be in Springer's LNCS format. All submissions will be evaluated by at least three members of the industry track program committee. Accepted papers shall be presented at the conference in person by at least one of the authors of the paper. Papers should be submitted through the FM 2016 Industry Track EasyChair web site.
http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=ZG1hbmV0CQkJZG1hbmV0QHpwci51bmkta29lbG4uZGUJMjFzdCBJbnRlcm5hdGlvbmFsIFN5bXBvc2l1bSBvbiBGb3JtYWwgTWV0aG9kcyAoRk0gMjAxNik6IENhbGwgZm9yIEluZHVzdHJ5IFRyYWNrIFBhcGVycwk1MQlMaXN0cwkyNDcJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dfm2016
(select "FM Industry Track" when adding a new submission)
A number of invited papers from the industry are also expected for presentation in the Industry track of FM 2016.
INDUSTRY TRACK PROGRAM COMMITTEE
Ewen Denney, NASA, US
Thai-Son Hoang, University of Southampton, UK
Ralf Huuck, NICTA, AU
Georgia Kapitsaki, University of Cyprus, CY (co-chair)
Thomas Kropf, Bosch, DE
Thierry Lecomte, ClearSy, FR
Tiziana Margaria, University of Limerick and Lero, IE (co-chair)
Nico Plat, West Consulting BV, NL
Judi Romijn, Movares, NL
Andreas Roth, SAP, DE
Marcel Verhoef, European Space Agency, NL (co-chair)
Aneta Vulgarakis, Ericsson Research, SE
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
