  This volume contains the proceedings of the 2nd French Singaporean Workshop
on Formal Methods and Applications (FSFMA'14). The workshop was held in
Singapore on May 13th, 2014, as a satellite event of the 19th International
Symposium on Formal Methods (FM'14).
  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 is not limited 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 brings together researchers and
industry R&D experts from France, Singapore and other countries together to
exchange their knowledge, discuss their research findings, and explore
potential collaborations.
  This volume contains eight contributions: four invited talks and four regular
papers.
