From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id B6E8A7F30A for ; Wed, 13 Mar 2013 12:24:49 +0100 (CET) Received-SPF: Neutral (mail2-smtp-roc.national.inria.fr: domain of Etienne.Andre@univ-paris13.fr does not assert whether or not 194.254.164.7 is permitted sender) identity=pra; client-ip=194.254.164.7; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Etienne.Andre@univ-paris13.fr"; x-sender="Etienne.Andre@univ-paris13.fr"; x-conformance=sidf_compatible; x-record-type="spf2.0" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of Etienne.Andre@univ-paris13.fr designates 194.254.164.7 as permitted sender) identity=mailfrom; client-ip=194.254.164.7; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Etienne.Andre@univ-paris13.fr"; x-sender="Etienne.Andre@univ-paris13.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@upn.univ-paris13.fr) identity=helo; client-ip=194.254.164.7; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Etienne.Andre@univ-paris13.fr"; x-sender="postmaster@upn.univ-paris13.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: At4FAKRgQFHC/qQHgWdsb2JhbABDFogMvFuBWBYOAQEWJig5AQGCEgZFAw41AgUhAhEdiFwIrniSQheBI4wzAYE2gjSBEwOWVY8rhFeBaQEf X-IPAS-Result: At4FAKRgQFHC/qQHgWdsb2JhbABDFogMvFuBWBYOAQEWJig5AQGCEgZFAw41AgUhAhEdiFwIrniSQheBI4wzAYE2gjSBEwOWVY8rhFeBaQEf X-IronPort-AV: E=Sophos;i="4.84,836,1355094000"; d="scan'208";a="7214141" Received: from upn.univ-paris13.fr ([194.254.164.7]) by mail2-smtp-roc.national.inria.fr with ESMTP; 13 Mar 2013 12:24:49 +0100 Received: from webmail.univ-paris13.fr (unknown [192.168.0.20]) by upn.univ-paris13.fr (Mail Server) with ESMTP id 420C42DC06C; Wed, 13 Mar 2013 12:24:49 +0100 (CET) Received: by webmail.univ-paris13.fr (Postfix, from userid 1082) id 238B45DA06E; Wed, 13 Mar 2013 12:24:49 +0100 (CET) Received: from gw.lipn.univ-paris13.fr (gw.lipn.univ-paris13.fr [194.254.163.15]) by webmail.univ-paris13.fr (Horde Framework) with HTTP; Wed, 13 Mar 2013 12:24:48 +0100 Message-ID: <20130313122448.18567ko1xrdblvk0@webmail.univ-paris13.fr> Date: Wed, 13 Mar 2013 12:24:48 +0100 From: =?utf-8?b?w4l0aWVubmUg?= =?utf-8?b?QW5kcsOp?= To: caml-list@inria.fr Cc: Liu Yang MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; DelSp="Yes"; format="flowed" Content-Disposition: inline Content-Transfer-Encoding: quoted-printable User-Agent: Internet Messaging Program (IMP) H3 (4.3.7) Subject: [Caml-list] Call for papers: FSFMA (PhD session) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Call for papers (PhD session) FSFMA 2013 1st French Singaporean Workshop in Formal Methods and Applications http://www.comp.nus.edu.sg/~pat/fsfma2013/ =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D The 1st French Singaporean Workshop in Formal Methods and Applications (FSF= MA) 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=20= =20 findings, and explore potential collaborations. Round tables will focus on French-Singaporean funding and cooperation=20=20 opportunities. ---------------------------------------------------------------------------- | 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. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D IMPORTANT DATES =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Abstract: April 14th, 2013 Full papers: April 21st, 2013 Notification: June 3rd, 2013 Camera ready: June 13th, 2013 Workshop: July 15th-16th, 2013 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D TOPICS OF THE WORKSHOP =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 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, probabilis= tic 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 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D SUBMISSION AND PUBLICATION =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 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 (regular) and 6 pages (PhD) 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, indexed with ISBN and referenced in ma= jor | 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 Easychair: https://www.easychair.org/conferences/?conf=3Dfsfma2013 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. ---------------------------------------------------------------------------= ---- =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D CHAIRS =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D - Christine Choppy (Universit=C3=A9 Paris 13, Sorbonne Paris Cit=C3=A9, Fra= nce) - Jun Sun (Singapore University of Technology and Design, Singapore) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D PhD SESSION CHAIRS =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D - =C3=89tienne Andr=C3=A9 (Universit=C3=A9 Paris 13, Sorbonne Paris Cit=C3= =A9, France) - Yang Liu (Nanyang Technological University, Singapore) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D INVITED SPEAKERS =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D - Laurent Fribourg (LSV, CNRS & ENS de Cachan, France) - Ng Wee Keong (School of Computer Engineering, NTU, Singapore) (to be completed)