FSFMA 2014

2nd French Singaporean Workshop on Formal Methods and Applications

13th May 2014, Singapore



The 2nd French Singaporean Workshop in Formal Methods and Applications (FSFMA) aims at sharing research interests and launching collaborations in the area of formal methods and their applications.

The scientific subject of the workshop covers (but does not limit to) areas such as formal specification, model checking, verification, program analysis/transformation, software engineering, and applications in major areas of computer science, including aeronautics and aerospace.

The workshop will bring together researchers and industry R&D experts from all countries together to exchange their knowledge, discuss their research findings, and explore potential collaborations.

Round tables will focus on French Singaporean funding and cooperation opportunities.

Finally, a PhD session will allow Master and PhD students to present their work.

The workshop will take place on 13th of May 2014, in Singapore as a satellite of FM 2014.

Topics of the Workshop

The main theme of the workshop is to establish links between academic and industry scientists interested in methods and techniques for constructing reliable systems using formal methods. The scientific topics of the workshop include, but are not limited to:

Two kinds of papers are welcome: regular papers and PhD papers (for the doctoral session). 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.

Additional remarks:


FSFMA 2014 is a satellite of the FM 2014 conference taking place in Singapore.