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