French Singaporean Workshop on Formal Methods and Applications
The 1st French Singaporean Workshop in Formal Methods and Applications (FSFMA) will take place on July 15th and 16th, 2013, at Singapore University of Technology and Design (SUTD) as a satellite of the 18th International Conference on Engineering of Complex Computer Systems (ICECCS 2013).
Co chaired by Assistant Professor Jun Sun, SUTD and Dr Christine Choppy, Université Paris 13, Sorbonne Paris Cité, France (LIPN, UMR 7030), this workshop 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 abstract submission is open until April 14th, 2013 (abstracts) and April 21st, 2013 (papers). The workshop may offer travel grants to a selection of PhD students.