FM 2016 in Cyprus

FM 2016, the 21st International Symposium on Formal Methods will be held in Cyprus, 7-11 November 2016.

The General Chair is Anna Philippou, University of Cyprus.

The PC Co-Chairs are John Fitzgerald, Newcastle University, UK, Stefania Gnesi, ISTI-CNR, Italy, and Constance Heitmeyer, US Naval Research Lab, USA.

The event will take place at the 5 star hotel St. Raphael Resort at the beach of Limassol.

Limassol (Lemesos) is the second largest city in Cyprus, located on the south coast of the island.

Submission of abstracts: 16 May 2016
Submission of full papers: 30 May 2016

Further details are available on the webpage of FM 2016.

Author: Bernhard Aichernig