Preface to the proceedings of FM 2018

FM 2018 was held in Oxford as part of FloC during July 15–17, with additional
workshops on July 14 and during 18–19. 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 an 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, nine 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
assisted with the preparation of these proceedings. This includes the FM
committee chaired by Ana Cavalcanti, the FloC Organizing 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 Program
Committee members and others who put so much effort into ensuring the quality
of the program, as well as all authors who submitted papers. FLoC had many
sponsors including Oxford University Computer Science Depart- ment, Springer,
and Diffblue. We thank them all.

June 2018,
Erik de Vink, Jan Peleska, Bill Roscoe, Klaus Havelund