21st International Symposium on Formal Methods (FM 2016): Call for Industry Track Papers


Industry Track Submission:  10 July 2016 (AoE) Extended to 31 July 2016

Industry Track Notification:  22 August 2016

Camera ready:  5 September, 2016

Main Conference Date:  10 November 2016



FM 2016 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 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.


اترك تعليقاً

لن يتم نشر عنوان بريدك الإلكتروني. الحقول الإلزامية مشار إليها بـ *

هذا الموقع يستخدم Akismet للحدّ من التعليقات المزعجة والغير مرغوبة. تعرّف على كيفية معالجة بيانات تعليقك.