FM 2018: final call for workshop proposals

by Maurice ter Beek, June 15, 2017


FM 2018: 23rd International Symposium on Formal Methods
Oxford, 14-16 July, 2018

----------------: FINAL CALL FOR WORKSHOP PROPOSALS :----------------


Deadline for workshop proposals: June 19, 2017
Notification of decision on workshops: July 31, 2017




The 23rd International Symposium on Formal Methods (FM 2018)

will take place at the University of Oxford, 14-16 July 2018, as part

of the Federated Logic  Conference (FLoC) 2018. FM 2018 is the

latest in a series of symposia organised 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.




For this major event, we are now inviting proposals for workshops

that will complement the main FM Symposium. Being part of FLoC

moreover provides an opportunity to link more widely with other

conferences, such as LICS and CAV (see:

The purpose of the FM workshops is to provide an informal setting

for participants to discuss technical issues, exchange research ideas,

and to discuss and/or demonstrate applications. These workshops

may be driven by fundamental academic interests or by needs from

specific application domains. We encourage a diversity of workshops

relating to different varieties of formal methods and applications.


One day FM workshops can be held immediately before the main

symposium, on 13 July 2018, or directly after the symposium, on

17 July 2018. Two day FM workshops will be held directly after the

main symposium, on 17 and 18 July 2018. FM thus supports both

mid and post FLoC proposals.




Researchers and practitioners wishing to organise an FM workshop

are invited to submit proposals for FM workshops in two parts, as

outlined on the general FLoC call for workshops webpage:


Contact the FM Workshops Chairs to discuss prospective workshops:

Helen Treharne ( and

Maurice ter Beek (