Sunday, September 4, 2016

[DMANET] FM 2016: 21st International Symposium on Formal Methods -- Call for Participation

FM 2016: 21st International Symposium on Formal Methods
Limassol, Cyprus, 7-11 November 2016
Early Registration Deadline: 6 October 2016

FM 2016, the 21st International Symposium on research and practice in Formal Methods, will be held this year on the ancient and beautiful Mediterranean island of Cyprus. Every 18 months, the FM symposium attracts practitioners and researchers from industry and academia to present and discuss the most recent results and experience in formal methods. Those who join us in Cyprus this year will enjoy a highly selective programme of papers covering the broad range of formal methods, as well as a featured track on industry practice. Workshops will provide an opportunity to work in smaller groups on current challenges; tutorials will allow the acquisition of new skills; and a doctoral symposium will offer advice and encouragement to researchers just beginning their careers in this exciting and rapidly evolving field.
The conference will take place in Limassol, Cyprus. Limassol is the second largest city in Cyprus. It is located on the south coast of the island, between the ancient towns of Amathus and Kourion. Limassol is renowned for its extensive cultural traditions, and it offers a wide spectrum of activities and a number of museums and archaeological sites to the interested visitor. Indeed, this richly cultured, cosmopolitan, seaside city has become one of the most important tourism destinations in Cyprus. The venue of the summer school will be the 5-star St. Raphael Resort, located on one of the most renowned and largest beaches, only a short coastal drive from the lively centre of Limassol.

You can register at the FM 2016 website:

- 44 regular papers and ten short papers reflecting the current state of research and practice in formal methods, including a track on industry practice
- Three world-class keynote speakers
- A Doctoral Symposium, six specialist workshops and eight tutorials
- Presentation of the first FME Lucas Award for a Highly Influential Publication
- Launch of Springer's new LNCS Formal Methods subline

- Manfred Broy, Technical University of Munich, Germany
- Peter O'Hearn, University College London and Facebook, UK
- Jan Peleska, University of Bremen and Verified Software International, Germany

- ESSS 2016: 5th International Workshop on Engineering Safety and Security Systems
- F-IDE 2016: 3rd Workshop on Formal Integrated Development Environment
- FM-Priv 2016: 1st Workshop on Formal Methods for Privacy
- Overture 2016: 14th Overture Workshop
- TLA+ 2016: International Workshop on the TLA+ Method and Tools
- USE 2016: 2nd Workshop on Usages of Constraint Solving and Symbolic Execution

This symposium aims to provide a helpful environment in which selected PhD students can present and discuss their ongoing work, meet other students working on similar topics, and receive helpful advice and feedback from a panel of researchers and academics.
- Keynote Speaker: John S. Fitzgerald, Newcastle University, UK

- Abstraction and Rely/Guarantee Thinking
Tutors: Cliff Jones, Newcastle University, UK; Ian Hayes, University of Queensland, AU
- Compositional Verification using AADL and the Assume Guarantee Reasoning Environment (AGREE)
Tutor: Michael Whalen, University of Minnesota, USA
- Cyber-Physical Systems Engineering: Next Generation Foundations, Methods and Tools
Tutors: John Fitzgerald, Newcastle University, UK; Peter Gorm Larsen, Aarhus University, DK; Jim Woodcock, University of York, UK; Ken Pierce, Newcastle University, UK; Simon Foster, University of York, UK
- First-Order Theorem Proving and Vampire
Tutors: Laura Kovacs, Chalmers University of Technology, SE; Andrei Voronkov, University of Manchester, UK
- KeYmaera X Tutorial - Tactics and Proofs for Cyber-Physical Systems
Tutors: Stefan Mitsch, Carnegie Mellon University, USA; Nathan Fulton, Carnegie Mellon University, USA; André Platzer, Carnegie Mellon University, USA
- Modelling and Analysis of Collective Adaptive Systems
Tutors: Jane Hillston, University of Edinburgh, UK; Michele Loreti, Università di Firenze, IT
- Session Types for Concurrent and Distributed Programming: Principles and Practice
Tutors: Raymond Hu, Imperial College London, UK; Jorge A. Pérez, University of Groningen, NL; Nobuko Yoshida, Imperial College London, UK
- The CProver Suite of Verication Tools
Tutors: Daniel Kroening, University of Oxford, UK; Martin Brain, University of Oxford, UK; Peter Schrammel, University of Sussex, UK

ACCEPTED PAPERS (Research Track)

* Contributions to be spread via DMANET are submitted to
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.