Co-located with FM 2015
June 23rd, 2015
Oslo, Norway

line decor
line decor


You can download the PDF version of the call for paper.

Aims and Scope
The emergence of software engineering as a new term in the discipline of Computer Science / Computing / Informatics created significant challenges for educators. Embracing this new concept required a transition from a discipline of lone wolves and artistic heroes to a discipline of engineers focusing on product development in a planned process under constrained time, budget, and other resources but leading to a predictable quality. One of the issues involved is the use of formal methods and usually they are taught at least once in a computer science curriculum. We now know how to use formal notations to write specifications, use refinement calculus to gradually transform a specification into a correct implementation, and use Hoare or Dijkstra's logics to prove programs correct with the same degree of the rigor that we apply to mathematical theorems. But, none of these techniques is easy to use by ordinary practitioners to deal with real software projects, and teaching formal methods and introducing at least one formal specification language still turns out to be a real challenge. The overall objectives of the FMSEET'15 workshop are

  • to find out/identify the status-quo of formal methods education at Universities and research institutions,
  • to come up with a set of recommendations for ways in improving our lectures and curricula (in respect to motivation as well as skills), and
  • to establish a forum for future knowledge-exchange.

Consequently, FMSEET'15 focuses on ways in teaching formal methods, tools, teaming and other skills needed by software engineering practitioners in today's context. Innovative approaches are particularly welcome.

Quality submissions covering curriculum development, empirical studies, personal or institutional experience, conceptual or theoretical work are particularly invited. The list below indicates areas in the focus of FMSEET'15. Submissions on additional topics consistent with the central themes of the conference are also welcome

  • Methodological aspects of formal methods;
  • Teaching high quality formal specifications;
  • Formal methods in the software engineering curriculum;
  • Best practices in formal methods education;
  • Successes and failures of formal methods;
  • Cooperative projects to further education and training;
  • Languages and tools for formal methods education;
  • Formal engineering methods versus formal methods;
  • New challenges due to agility and open source;
  • Continuous education to cope with technological change;

 FMSEET 2015

Important Dates
April 7, 2015 - Paper Submission
April 30th, 2015 - Author Notification
May 18th, 2015 - Camera-Ready

Quick Links
Submission (EasyChair)
FM 2015 (Website)