[TYPES/announce] Second call for tutorial proposals: FM 2016

Oleg Sokolsky sokolsky at cis.upenn.edu
Sun Feb 28 23:31:52 EST 2016

FM 2016: 21st International Symposium on Formal Methods
Limassol, Cyprus, 7-11 November 2016


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 
to exchange ideas, share experience,and network,via a programme of 
papers, workshops, and tutorials.

We invite proposals for half- or full-day tutorials in all aspects of 
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 
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, 
    successful technology transfer
5. Applications to systems linking computational, physical and/or human

Tutorials will take place on 7 and 8 November 2016.


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

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 
    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). 
    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 at glasgow.ac.uk) and Oleg Sokolsky 
(sokolsky at cis.upenn.edu).


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

QUESTIONS: Please direct any questions to the Tutorial Chairs.

More information about the Types-announce mailing list