[FM-India] FSFMA 2013: call for participation
Etienne.Andre at univ-paris13.fr
Wed Jun 26 10:17:00 IST 2013
Call for participation
1st French Singaporean Workshop in Formal Methods and Applications
15-16 July 2013, Singapore
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
and 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
and explore potential collaborations.
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.
Round tables will focus on French-Singaporean funding and cooperation
The workshop will take place on July 15th and 16th, 2013, in Singapore as a
satellite of ICECCS 2013.
Thanks to the support by the Merlion program of the French Institute
there are no registration fees for FSFMA 2013.
However, registration is compulsory: if you plan to attend FSFMA,
please register here:
- Chin Wei Ngan (School of Computing, National University of Singapore)
- Laurent Fribourg (LSV, CNRS & ENS de Cachan, France)
- Christine Choppy (Universite Paris 13, Sorbonne Paris Cite, France)
- Jun Sun (Singapore University of Technology and Design, Singapore)
FSFMA 2013 will be located in the National University of Singapore, in Temasek
Laboratories, level 8.
More information about the FMIndia