FM 2016 - 2016 21st International Symposium on Formal Methods

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 FM symposia welcome original papers on research and industrial experience, proposals for workshops and tutorials, entries for the exhibition of software tools and projects, and reports on ongoing doctoral work.
FM is the first and largest conference covering the rapidly growing area of formal methods. During the past three decades, many of the advances achieved in model-driven software engineering, validation and verification of software systems, design methods and tools have been first published in the proceedings of the FM conference series. FM is a technical conference gathering 200?300 world-leading researchers from academia and industry approximately every 18 months. The conference is held at different locations, mostly across Europe, and is organized by a local committee.