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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 218F07F7B4 for ; Tue, 11 Feb 2014 19:53:32 +0100 (CET) Received-SPF: SoftFail (mail3-smtp-sop.national.inria.fr: domain of etienne.andre@univ-paris13.fr is inclined to not designate 194.254.163.15 as permitted sender) identity=pra; client-ip=194.254.163.15; receiver=mail3-smtp-sop.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: SoftFail (mail3-smtp-sop.national.inria.fr: domain of etienne.andre@univ-paris13.fr is inclined to not designate 194.254.163.15 as permitted sender) identity=mailfrom; client-ip=194.254.163.15; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail.lipn.univ-paris13.fr) identity=helo; client-ip=194.254.163.15; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="etienne.andre@univ-paris13.fr"; x-sender="postmaster@mail.lipn.univ-paris13.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmkBANJw+lLC/qMPl2dsb2JhbABag0TBBQ4BAQEBAQgWBzyCSRswA0o0AlkIAQGIBQmYErBQjiEBgw0PgXoEmVyUHIFnAR8 X-IPAS-Result: AmkBANJw+lLC/qMPl2dsb2JhbABag0TBBQ4BAQEBAQgWBzyCSRswA0o0AlkIAQGIBQmYErBQjiEBgw0PgXoEmVyUHIFnAR8 X-IronPort-AV: E=Sophos;i="4.95,826,1384297200"; d="scan'208";a="48683729" Received: from gw.lipn.univ-paris13.fr (HELO mail.lipn.univ-paris13.fr) ([194.254.163.15]) by mail3-smtp-sop.national.inria.fr with ESMTP; 11 Feb 2014 19:53:31 +0100 Received: from MacBook-Pro-de-Etienne.local (jem75-5-82-244-55-231.fbx.proxad.net [82.244.55.231]) (using TLSv1 with cipher ECDHE-RSA-AES128-SHA (128/128 bits)) (No client certificate requested) (Authenticated sender: andre@lipn.univ-paris13.fr) by mail.lipn.univ-paris13.fr (Postfix) with ESMTPSA id A712A261820 for ; Tue, 11 Feb 2014 19:53:30 +0100 (CET) Message-ID: <52FA71AA.60704@univ-paris13.fr> Date: Tue, 11 Feb 2014 19:53:30 +0100 From: =?ISO-8859-1?Q?=C9tienne_Andr=E9?= User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9; rv:24.0) Gecko/20100101 Thunderbird/24.3.0 MIME-Version: 1.0 To: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Validation-by: etienne.andre@univ-paris13.fr Subject: [Caml-list] FSFMA: call for papers (FM satellite) ==================================================================== Call for papers FSFMA 2014 2nd French Singaporean Workshop in Formal Methods and Applications http://lipn.univ-paris13.fr/fsfma2014/ ==================================================================== The 2nd French Singaporean Workshop in Formal Methods and Applications (FSFMA 2014) 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 is not limited to) areas such as formal specification, model checking, verification, program analysis/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 opportunities. A PhD session will allow Master and PhD students to present their work. The workshop will take place on 12th-13th May, 2014, in Singapore as a satellite event of FM 2014. ================= IMPORTANT DATES ================= Abstract: March 2nd, 2014 Full papers: March 9th, 2014 Notification: April 15th, 2014 Workshop: May 12th-13th, 2014 Post-proceedings: June 15th, 2014 ================= TOPICS OF THE WORKSHOP ================= 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 ================= SUBMISSION AND PUBLICATION ================= 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 assigned to at least three reviews. The page limit is 12 pages (regular paper) and 6 pages (PhD paper) in the EPTCS format. Accepted papers in both categories will be published by the Electronic Proceedings in Theoretical Computer Science (EPTCS), a free open-access and online electronic proceedings series, referenced in major databases such as DBLP. The proceedings are published under the Creative Commons CC-BY license. Hereby, the authors retain their copyright. Submission will be made in English in PDF format through Easychair: https://www.easychair.org/conferences/?conf=fsfma2014 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. ================= COMMITTEES ================= General chairs * Etienne Andre, Universite Paris 13, Sorbonne Paris Cite, France * Yang Liu, Nanyang Technological University, Singapore PC chairs * Shang-Wei Lin, Temasek Lab@NUS, Singapore * Laure Petrucci, Universite Paris 13, Sorbonne Paris Cite, France PhD session chairs * Christine Choppy, Universite Paris 13, Sorbonne Paris Cite, France * Jin-Song Dong, National University of Singapore, Singapore Program committee * Etienne Andre, Universite Paris 13, Sorbonne Paris Cite, France * Christine Choppy, Universite Paris 13, Sorbonne Paris Cite, France * Jorg Desel, Fernuniversitat in Hagen, Germany * Jin-Song Dong, National University of Singapore, Singapore * Monika Heiner, Brandenburg University of Technology Cottbus, Germany * Maritta Heisel, University of Duisburg-Essen, Germany * Romain Kervarc, ONERA, France * Kais Klai, Universite Paris 13, Sorbonne Paris Cite, France * Lars M. Kristensen, Bergen University College, Norway * Ulrich Kuhne, University of Bremen, Germany * Shang-Wei Lin, Temasek Lab@NUS, Singapore (co-chair) * Yang Liu, Nanyang Technological University, Singapore * Laure Petrucci, Universite Paris 13, Sorbonne Paris Cite, France (co-chair) * Geguang Pu, East China Normal University, China * Shengchao Qin, University of Teesside, Middlesbrouq, U.K * Gianna Reggio, DIBRIS, Genova, Italy * Jun Sun, Singapore University of Technology and Design, Singapore * Quan Thanh Tho, Hochiminh City University of Technology, Vietnam * Alwen Tiu, Nanyang Technological University, Singapore * Bow-Yaw Wang, Academia Sinica, Taiwan * Naijun Zhang, Chinese Academy of Sciences, China ================= INVITED SPEAKERS ================= TBA