FM 2018 is the latest in a series of symposia organized by Formal Methods Europe, an independent association that encourages the use of, and research on, formal methods for the engineering of computer-based systems and software. The symposia have been notably successful in bringing together researchers and industrial users around a programme of original papers on research and industrial experience, workshops, tutorials, reports on tools, projects, and ongoing doctoral work. FM 2018 will take place in Oxford UK from Sunday July 15 to Tuesday July 17, 2018 as part of FLoC 2018, the Federated Logic Conferences. The programme of FM 2018 also comprises a Doctoral Symposium and an Industry Day, as well as a number of FLoC 2018 workshops associated with FM 2018.