19th International Symposium on Formal Methods



FM 2014 (http://www.comp.nus.edu.sg/~pat/FM2014/) is the nineteenth international symposium of the Formal Methods Europe association. The symposium will again be a platform for researchers and practitioners from a diversity of countries, backgrounds and schools to exchange ideas and share experiences, via a forum of technical papers, workshops, and tutorials. A cross-cutting theme of FM 2014 is "linking informal and formal".

The organizing committee of FM 2014 thus invites proposals for half- or full-day tutorials in the broad area of formal methods. Proposals from industry practitioners or academics are very welcome; proposals for tutorials on applications of formal methods to challenging problems are particularly welcome. All tutorials should focus on providing participants with the opportunity to learn new techniques, new application domains, and insightful uses of formal methods.

The organizing committee welcome tutorial proposals addressing:

  1. novel applications of existing tools and techniques
  2. advanced topics in formal methods research
  3. uses of formal methods in emerging fields
  4. lessons learned from the applications of formal methods in industry, including ideas on how to successful transfer formal methods.
  5. the cross-cutting theme of the conference -- "linking informal and formal", e.g., via tutorials on combining formal methods with non-mathematical approaches.

Tutorials will take place on 12 and 13 May 2014.


A tutorial proposal (max. 2 pages of A4) should include the following details.

  1. tutorial title and brief description of its scope and aims
  2. one paragraph explaining what attendees will learn from the tutorial
  3. one paragraph "advertising" the tutorial: what makes it exciting and unique, written in a reasonably non-technical style that could reasonably be understood by a knowledgeable undergraduate CS student
  4. names and affiliations of the tutors
  5. format of the tutorial (e.g., problem/exercise-based, lecture-based)

Tutorials that make use of novel teaching formats (including delivery methods, use of unusual exercises, gamification, etc) are particularly welcome, and proposers should draw attention to this in their proposal.


Proposals in PDF format should be sent to the Tutorial Chair:

Richard Paige: richard.paige@york.ac.uk

Deadline for submission: 1 December 2013


Proposals will be evaluated by a small committee of experts (familiar with formal methods, linking informal and formal methods, technology transfer, and use of formal methods in industry), led by the tutorial chair.

Evaluation criteria will be importance, relevance, timeliness, audience appeal, connection to the cross-cutting theme of the conference ("linking informal and formal") and past experience/qualifications of the proposers.


Notification will be sent no later than 15 January 2014, ideally earlier.


Richard Paige, Department of Computer Science, University of York, UK