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 program 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 program of FM 2018 also comprises an Industry Day on Tuesday July 17. Moreover, directly preceding and following the main conference (Saturday July 14 and Wednesday July 18 to Thursday July 19) the FM Doctoral Symposium as well as a number of FLoC 2018 workshops associated with FM 2018 will be held.