[Caml-list] FSFMA 2013: call for participation

====================================================================
Call for participation

FSFMA 2013
1st French Singaporean Workshop in Formal Methods and Applications

15-16 July 2013, Singapore

http://www.comp.nus.edu.sg/~pat/fsfma2013/
====================================================================


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
findings,
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
opportunities.

The workshop will take place on July 15th and 16th, 2013, in Singapore as a
satellite of ICECCS 2013.


===================
FREE REGISTRATION
===================
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:
http://www.comp.nus.edu.sg/~pat/fsfma2013/registration.html


===================
INVITED SPEAKERS
===================
- Chin Wei Ngan (School of Computing, National University of Singapore)
- Laurent Fribourg (LSV, CNRS & ENS de Cachan, France)


===================
CHAIRS
===================
- Christine Choppy (Universite Paris 13, Sorbonne Paris Cite, France)
- Jun Sun (Singapore University of Technology and Design, Singapore)


===================
LOCATION
===================
FSFMA 2013 will be located in the National University of Singapore, in Temasek
Laboratories, level 8.
http://www.comp.nus.edu.sg/~pat/fsfma2013/venue.html


--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs