FM 2018 was held in Oxford as part of FloC on 15-17 July, with additional workshops on Saturday 14 July and on 18-19 July. It was a great pleasure to return to one of the spiritual homes of Formal Methods. This was the 22nd of a series stretching back to 1987. We are delighted to present its proceedings, once again published by Springer. FM is a core event for the formal methods community and brings together researchers working on both more theoretical aspects and industrial practice. Once again we had Industry Day, or I-Day.

In all, there were 110 submitted papers for the main conference of which 35 were accepted, an acceptance rate of 32%. Kim G. Larsen, Annabelle McIver, and Leonardo de Moura gave invited talks. For I-Day, 9 presenters were invited to share insights about applications of Formal Methods in industry.

Seven workshops were associated with FM this year: F-IDE, Overture, QAPL, AVoCS, REFINE, TLA+ and VaVas.

We offer our sincere thanks to all who helped make the conference a success, and with the preparation of these proceedings. These include the FM committee chaired by Ana Cavalcanti, the FloC organising committee led by Moshe Vardi, Daniel Kroening and Marta Kwiatkowska, as well as the staff and volunteers who supported this event. Naturally, we also thank the programme committee members and others who put so much effort into ensuring the quality of the programme, as well as all who submitted papers.

FLoC had many sponsors including Oxford University Computer Science Department, Springer and Diffblue. We thank them all.