It is time to register! The upcoming Formal Methods conference FM 2014 in Singapore has opened the registration process. The deadline for early registration is 31 March 2014.
For the list of accepted papers see list of accepted papers.
The upcoming Formal Methods conference FM 2014 will be held in Singapore. It takes place May 12-16, 2014 at the National University of Singapore (NUS).