From: "Étienne André" <Etienne.Andre@univ-paris13.fr>
To: caml-list@inria.fr
Cc: Sun Jun <sunjun@sutd.edu.sg>,
Christine Choppy <christine.choppy@lipn.univ-paris13.fr>
Subject: [Caml-list] FSFMA 2013: call for participation
Date: Wed, 26 Jun 2013 06:44:22 +0200 [thread overview]
Message-ID: <20130626064422.72333h987i2dn2jq@webmail.univ-paris13.fr> (raw)
====================================================================
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
reply other threads:[~2013-06-26 4:44 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20130626064422.72333h987i2dn2jq@webmail.univ-paris13.fr \
--to=etienne.andre@univ-paris13.fr \
--cc=caml-list@inria.fr \
--cc=christine.choppy@lipn.univ-paris13.fr \
--cc=sunjun@sutd.edu.sg \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).