The aim of the conference is to bring together practitioners and researchers from academia, industry and government to advance the state of the art in formal methods, to facilitate their uptake in the software industry and to encourage their integration with practical engineering methods. Papers that combine formal methods and software engineering are especially welcome.
Authors are invited to submit original research or tool papers on any relevant topic. These can either be normal or short papers. Short papers can discuss new ideas which are at an early stage of development and which have not yet been thoroughly evaluated.
Topics of interest include, but are not limited to:
The proceedings of the conference will be published in the Springer Lecture Notes in Computer Science series.
For the 10th anniversary of the conference, there will be an award to the most influential paper of the first 10 editions of the conference.