Call for tutorial proposals: FM 2016

CALL FOR TUTORIALS

FM 2016: 21st International Symposium on Formal Methods

Limassol, Cyprus | 7-11 November 2016 | fm2016.cs.ucy.ac.cy

Deadline for tutorial proposals: 6 May 2016 Notification of decision on tutorials: 6 June 2016

FM 2016 - the 21st International Symposium on Formal Methods - will be held in Limassol, Cyprus in November, 2016. It will provide a lively and exciting forum for researchers and practitioners from a diversity of countries and backgrounds to exchange ideas, share experience,and network,via a programme of technical papers, workshops, and tutorials.

We invite proposals for half- or full-day tutorials in all aspects of formal methods. Tutors may be industry practitioners, researchers or academics, and may cover new applications of formal methods to challenging problems, as well as updates on established techniques and tools. All tutorials should focus on providing participants the opportunity to learn new techniques, discover new application domains, and gain insights on uses of formal methods.

We welcome tutorial proposals addressing any of the following:

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 industry deployment of formal methods, including successful technology transfer
5. Applications to systems linking computational, physical and/or human processes.

Tutorials will take place on 7 and 8 November 2016.

PROPOSALS

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

1. Tutorial title and brief description of its scope and aims
2. Names and affiliations of the tutors. Specific qualifications for the tutors, including any tutorials given in recent years would be helpful in evaluating the proposal.
3. One paragraph explaining what attendees will learn from the tutorial.
4. Description of the target audience and the background that attendees are expected to have
5. One paragraph "advertising" the tutorial: what makes it exciting and unique, written in a non-technical style that could reasonably be understood by a knowledgeable undergraduate CS student
6. Format of the tutorial (e.g., problem/exercise-based, lecture-based). List any equipment requirements (e.g., will attendees need their laptops and, if so, whether any software is required).
7. If the tutorial has been given previously elsewhere, please provide a link to the past event.

Proposals in PDF format should be sent to the Tutorial Chairs: Dimitrios Kouzapas (dimitrios.kouzapas@glasgow.ac.uk) and Oleg Sokolsky (sokolsky@cis.upenn.edu).

IMPORTANT DATES

• Deadline for submission: May 6, 2016
• Notification of acceptance: June 6, 2016

QUESTIONS: Please direct any questions to the Tutorial Chairs.