The board of FME recently decided that the 19th International Symposium on Formal Methods FM 2014 will be held in Singapore. The conference location will be the National University of Singapore (NUS). Jin Song Dong will serve as general co-chair.
More details can be found on the website of FM 2014.
This is the first time in its long history that FM will be held in Asia!
The FM conference series is the main event on formal methods organized by the FME organization. A list of past FM symposia can be found here.
(Photo: williamcho)