The Program Committee of FM 2014 has completed the paper selection process. See the 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).
(Photo: williamcho)