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:
Tutorials will take place on 12 and 13 May 2014.
A tutorial proposal (max. 2 pages of A4) should include the following details.
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: email@example.com
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