[FM-India] Call for Papers: FSFMA 2013, Singapore

Madhavan Mukund madhavan at cmi.ac.in
Sat Mar 9 06:14:49 IST 2013

 From: jun sun <sunjun at sutd.edu.sg>
 To: EAPLS at jiscmail.ac.uk, announcements at lists.artist-embedded.org, 
 	events at fmeurope.org, acm-fse at lists.inf.unisi.ch, fmindia at cmi.ac.in, 
 	coq-club at pauillac.inria.fr, pvs-announce at csl.sri.com, 
 	cl-isabelle-users at lists.cam.ac.uk, procos at jiscmail.ac.uk, 
 	om-announce at openmath.org, petrinet at informatik.uni-hamburg.de, 
 	concurrency at listserver.tue.nl, THEORYNT at listserv.nodak.edu, 
 	theorem-provers at ai.mit.edu, pvs at csl.sri.com, ecoop-info at ecoop.org, 
 	fmics at inrialpes.fr, formal-methods at cs.uidaho.edu
 Date: Sat, 9 Mar 2013 08:09:48 +0800
 Subject: Call for Papers: FSFMA 2013, Singapore
                           Call for papers
                              FSFMA 2013
  1st French Singaporean Workshop in Formal Methods and Applications
 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.
 Round tables will focus on French-Singaporean funding and cooperation
 A PhD session will allow Master and PhD students to present their work.
 The workshop may offer travel grants to a selection of PhD students.
 The workshop will take place on July 15th and 16th, 2013, in the National
 University of Singapore as a satellite of ICECCS 2013.
 Abstract: April 14th, 2013
 Full papers: April 21st, 2013
 Notification: June 3rd, 2013
 Camera ready: June 13rd, 2013
 Workshop: July 15th-16th, 2013
 The main theme of the workshop is to establish links between academic and
 industry scientists interested in methods and techniques for constructing
 reliable systems using formal methods. The scientific topics of the workshop
 include, but are not limited to:
 - concurrent and distributed systems
 - formal specification and semantics
 - infinite-state and parameterized systems
 - model checking algorithms
 - SAT and SMT solvers
 - security and privacy
 - software engineering and formal methods
 - specification and verification (hardware and embedded systems, probabilistic
   and real-time systems, etc.)
 - case studies and experience reports on the use of formal methods
 - tools and industrial applications
 - applications in aeronautics and aerospace
 Two kinds of papers are welcome:
 - regular papers
 - PhD papers (for the doctoral session).
 The content of papers should be original and not submitted elsewhere.
 All papers will be submitted to at least three reviews.
 The page limit is 15 pages in the OASIcs format.
 Both regular and PhD papers will be published by the OpenAccess Series in
 Informatics (OASIcs), a free open-access and online electronic proceedings
 series edited by Schloss Dagstuhl and referenced in major databases
 such as DBLP.
 OASIcs proceedings are published under the Creative Commons CC-BY license.
 Hereby, the authors retain their copyright.
 Submission will be made in PDF format through
 Additional remarks:
 - There are no restrictions on authors' citizenships and working countries.
 - For PhD papers, at least one author must be Master or PhD student.
 - Christine Choppy (Université Paris 13, Sorbonne Paris Cité, France)
 - Jun Sun (Singapore University of Technology and Design, Singapore)
 - Laurent Fribourg (LSV, CNRS & ENS de Cachan, France)
 - Ng Wee Keong (School of Computer Engineering, NTU, Singapore)
  (to be completed)

More information about the FMIndia mailing list