FSFMA 2014

2nd French Singaporean Workshop on Formal Methods and Applications

13th May 2014, Singapore


Call for papers

Two kinds of papers are welcome:

The content of papers should be original and not submitted elsewhere. All papers will be assigned to at least three reviews.

The page limit is 12 pages (regular paper) and 6 pages (PhD paper) in the EPTCS format. Accepted papers in both categories will be published by the Electronic Proceedings in Theoretical Computer Science (EPTCS), a free open-access and online electronic proceedings series, referenced in major databases such as DBLP. The proceedings are published under the Creative Commons CC-BY license. Hereby, the authors retain their copyright.

Submission will be made in English in PDF format through Easychair:

Additional remarks: