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.

HIGHLIGHTS- 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

KEYNOTE SPEAKERS- 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

DOCTORAL SYMPOSIUM (http://fm2016.cs.ucy.ac.cy/cfpdoctoralsymposium.html)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

************************************************************ Contributions to be spread via DMANET are submitted to** DMANET@zpr.uni-koeln.de** 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.** DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/***********************************************************