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.