Aim
The 1st 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. Thanks to the support from the Merlion program, the workshop is happy to offer a travel grant to 2 PhD students.
The workshop will take place on July 15th and 16th, 2013, in Singapore as a satellite of ICECCS 2013.
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:
- concurrent and distributed systems
- formal specification and semantics
- infinite-state and parameterized systems
- model checking algorithms
- SAT and SMT solvers
- security and privacy
- software engineering and formal methods
- specification and verification (hardware and embedded systems, probabilistic and real-time systems, etc.)
- case studies and experience reports on the use of formal methods
- tools and industrial applications
- applications in aeronautics and aerospace
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 submitted to at least three reviews.
The page limit is 15 pages (regular paper) / 6 pages (PhD paper) in the OASIcs format. Accepted papers in both categories (regular and PhD) will be published by the OpenAccess Series in Informatics (OASIcs), a free open-access and online electronic proceedings series edited by Schloss Dagstuhl, indexed with ISBN and referenced in major databases such as DBLP. OASIcs proceedings are published under the Creative Commons Attribution 3.0 Unported license. Hereby, the authors retain their copyright.
Additional remarks:
- There are no restrictions on authors’ citizenships and working countries.
- For PhD papers, at least one author must be Master or PhD student.
Sponsors
FSFMA 2013 is partially supported by the Merlion program of the French embassy in Singapore and the Singapore University of Technology and Design, with the additional support of the Laboratoire d’Informatique de Paris Nord (Sorbonne Paris Cité, Université Paris 13, France), the Nanyang Technology University (Singapore), the National University of Singapore (Singapore), and the kind participation of the Laboratoire Spécification et Vérification (ENS de Cachan & CNRS, France).
