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 310EF7EC6E for ; Mon, 27 Jan 2014 12:09:35 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of Laure.Petrucci@lipn.univ-paris13.fr) identity=pra; client-ip=194.254.163.15; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Laure.Petrucci@lipn.univ-paris13.fr"; x-sender="Laure.Petrucci@lipn.univ-paris13.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of Laure.Petrucci@lipn.univ-paris13.fr) identity=mailfrom; client-ip=194.254.163.15; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Laure.Petrucci@lipn.univ-paris13.fr"; x-sender="Laure.Petrucci@lipn.univ-paris13.fr"; x-conformance=sidf_compatible 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="Laure.Petrucci@lipn.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: AiwBAFY95lLC/qMPl2dsb2JhbABZg0S+TA4BAQEBAQgWBzyCSUsDgV+IBAUJnEGsAI41AYMND2aBFASYJ4EyhRWNRoE/gWcBHw X-IPAS-Result: AiwBAFY95lLC/qMPl2dsb2JhbABZg0S+TA4BAQEBAQgWBzyCSUsDgV+IBAUJnEGsAI41AYMND2aBFASYJ4EyhRWNRoE/gWcBHw X-IronPort-AV: E=Sophos;i="4.95,728,1384297200"; d="scan'208";a="46248422" 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; 27 Jan 2014 12:09:34 +0100 Received: from [10.31.8.113] (unknown [61.8.213.18]) (using TLSv1 with cipher ECDHE-RSA-AES128-SHA (128/128 bits)) (No client certificate requested) (Authenticated sender: petrucci@lipn.univ-paris13.fr) by mail.lipn.univ-paris13.fr (Postfix) with ESMTPSA id 94FF226183D for ; Mon, 27 Jan 2014 12:09:33 +0100 (CET) From: Petrucci Laure Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Date: Mon, 27 Jan 2014 12:04:19 +0100 Message-Id: <36F598E8-C0CC-45C1-86E3-92921ECC2247@lipn.univ-paris13.fr> To: caml-list@inria.fr Mime-Version: 1.0 (Apple Message framework v1085) X-Mailer: Apple Mail (2.1085) X-Validation-by: laure.petrucci@lipn.univ-paris13.fr Subject: [Caml-list] 1st Call for Papers: 2nd French Singaporean Workshop in Formal Methods and Applications =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=20=20=20=20=20=20=20=20=20=20=20=20= =20=20=20=20=20=20=20=20=20=20=20=20=20=20 FSFMA 2014=20=20=20=20=20=20=20=20=20=20=20=20=20= =20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20 2nd French Singaporean Workshop in Formal Methods and Applications http://lipn.univ-paris13.fr/fsfma2014/=20=20=20=20=20=20=20=20=20= =20=20=20=20 =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 2nd French Singaporean Workshop in Formal Methods and Applications (FSF= MA 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 analys= is/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 oppor= tunities. 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 sate= llite event of FM 2014. =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: March 2nd, 2014 Full papers: March 9th, 2014 Notification: April 15th, 2014 Workshop: May 12th-13th, 2014 Post-proceedings: June 15th, 2014 =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 i= ndustry scientists interested in methods and techniques for constructing re= liable 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 p= apers will be assigned to at least three reviews. The page limit is 12 pages (regular paper) and 6 pages (PhD paper) in the E= PTCS format. Accepted papers in both categories will be published by the Electronic Proc= eedings in Theoretical Computer Science (EPTCS), a free open-access and onl= ine electronic proceedings series, referenced in major databases such as DB= LP. 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=3Dfsfma2014 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 COMMITTEES =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 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-chai= r) * 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 =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 TBA --=20 ---------------------------------------------------------------------- Laure Petrucci laure.petrucci@lipn.univ-paris13.fr Director of LIPN, CNRS UMR 7030 Institut Galil=E9e - Universit=E9 Paris XIII 99 Avenue Jean-Baptiste Cl=E9ment, F-93430 Villetaneuse, FRANCE tel:[+33 1]/[01] 49 40 35 79 (sec: 35 90) fax:[+33 1]/[01] 48 26 07 12 tel (IUT):[+33 1]/[01] 49 40 37 41 ----------------------------------------------------------------------