[FM-India] FSFMA 2013: call for participation

Étienne André Etienne.Andre at univ-paris13.fr
Wed Jun 26 10:17:00 IST 2013

                        Call for participation

                              FSFMA 2013
  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  
in Singapore,
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 mailing list