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 BA6907EE99 for ; Mon, 9 Dec 2013 11:14:24 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of events-bounces@fmeurope.org) identity=pra; client-ip=193.84.67.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="events-bounces@fmeurope.org"; x-sender="events-bounces@fmeurope.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of events-bounces@fmeurope.org) identity=mailfrom; client-ip=193.84.67.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="events-bounces@fmeurope.org"; x-sender="events-bounces@fmeurope.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@kruisbes.hosting.west.nl) identity=helo; client-ip=193.84.67.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="events-bounces@fmeurope.org"; x-sender="postmaster@kruisbes.hosting.west.nl"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlUPAHiXpVLBVEO1dGdsb2JhbABDFg6BYwQBTXxTuEZOgSgWDgEMHTyCJwUBAQEaKQoEFAYOAwECBgIBARwXEwgDASMyBAESBQSHeAUJwQyOJggOAwE/hEsDmUSSH4EuP4FxOQ X-IPAS-Result: AlUPAHiXpVLBVEO1dGdsb2JhbABDFg6BYwQBTXxTuEZOgSgWDgEMHTyCJwUBAQEaKQoEFAYOAwECBgIBARwXEwgDASMyBAESBQSHeAUJwQyOJggOAwE/hEsDmUSSH4EuP4FxOQ X-IronPort-AV: E=Sophos;i="4.93,856,1378850400"; d="scan'208,217";a="40017030" Received: from kruisbes.hosting.west.nl ([193.84.67.181]) by mail3-smtp-sop.national.inria.fr with ESMTP; 09 Dec 2013 11:14:23 +0100 Received: from kruisbes.hosting.west.nl (localhost [127.0.0.1]) by kruisbes.hosting.west.nl (Postfix) with ESMTP id 9A7166FE73; Mon, 9 Dec 2013 11:13:25 +0100 (CET) To: "EAPLS@jiscmail.ac.uk" , "announcements@lists.artist-embedded.org" , "events@fmeurope.org" , "acm-fse@lists.inf.unisi.ch" , "fmindia@cmi.ac.in" , "coq-club@pauillac.inria.fr" , "pvs-announce@csl.sri.com" , "cl-isabelle-users@lists.cam.ac.uk" , "procos@jiscmail.ac.uk" , "om-announce@openmath.org" , "petrinet@informatik.uni-hamburg.de" , "concurrency@listserver.tue.nl" , "THEORYNT@listserv.nodak.edu" , "theorem-provers@ai.mit.edu" , "pvs@csl.sri.com" , "ecoop-info@ecoop.org" , "fmics@inrialpes.fr" , "types-announce@lists.seas.upenn.edu" , "seworld@sigsoft.org" Thread-Topic: Call for Industry Track Papers, FM 2014, May 2014, Singapore Thread-Index: AQHO9MJy8KdAB9FHD06LaRjJyW7/fg== Date: Mon, 9 Dec 2013 09:38:43 +0000 Accept-Language: en-SG, en-US Content-Language: en-SG X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [222.165.108.158] x-forefront-prvs: 00550ABE1F x-forefront-antispam-report: SFV:NSPM; SFS:(199002)(189002)(2656002)(56816005)(87936001)(81686001)(2171001)(85852002)(90146001)(16236675002)(74366001)(74316001)(87266001)(85306002)(49866001)(74876001)(81342001)(83322001)(19580395003)(59766001)(77982001)(54356001)(51856001)(80022001)(81816001)(66066001)(74662001)(81542001)(4396001)(46102001)(65816001)(79102001)(76576001)(47446002)(76176001)(47976001)(74706001)(47736001)(76482001)(80976001)(74482001)(54316002)(56776001)(50986001)(33646001)(53806001)(76796001)(69226001)(83072001)(76786001)(77096001)(63696002)(31966008)(74502001)(921002)(1121002)(24736002); DIR:OUT; SFP:; SCL:1; SRVR:SIXPR03MB078; H:SIXPR03MB080.apcprd03.prod.outlook.com; CLIP:222.165.108.158; FPR:; RD:InfoNoRecords; A:1; MX:1; LANG:en; MIME-Version: 1.0 X-OriginatorOrg: sutd.edu.sg X-Spam-Report: * -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at http://www.dnswl.org/, low * trust * [213.199.154.13 listed in list.dnswl.org] * 1.0 TO_INFO mail was sent to easy guessable address 'info@...' * -0.0 SPF_PASS SPF: sender matches SPF record * -1.7 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] * 0.0 HTML_MESSAGE BODY: HTML included in message X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on kruisbes.hosting.west.nl X-Mailman-Approved-At: Mon, 09 Dec 2013 10:42:37 +0100 Message-ID: From: Announcements of FME events X-BeenThere: events@fmeurope.org X-Mailman-Version: 2.1.13 Reply-To: events@fmeurope.org List-Id: Announcements of FME events List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Content-Type: multipart/mixed; boundary="===============6012667772266113787==" Sender: events-bounces@fmeurope.org Errors-To: events-bounces@fmeurope.org X-Virus-Scanned: clamav-milter 0.97.8 at kruisbes X-Virus-Status: Clean X-Validation-by: events-owner@fmeurope.org Subject: [Caml-list] Call for Industry Track Papers, FM 2014, May 2014, Singapore --===============6012667772266113787== Content-Language: en-SG Content-Type: multipart/alternative; boundary="_000_2d3812a6205a42e59ba855b8cfc3432aSIXPR03MB080apcprd03pro_" --_000_2d3812a6205a42e59ba855b8cfc3432aSIXPR03MB080apcprd03pro_ Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable CALL FOR INDUSTRY TRACK PAPERS FM2014 is the nineteenth in a series of symposia organized by Formal Method= s Europe, an independent association whose aim is to stimulate the use of, and resear= ch on, formal methods for software development. The symposia have been notably suc= cessful in bringing together innovators and practitioners in precise mathematical m= ethods for software and systems development, industrial users, as well as research= ers. The industry track of FM 2014 welcomes papers describing industrial applica= tions of formal methods, experience with introducing formal methods in industry, = tool usage reports, experiments with challenge problems. Authors are encouraged = to explain how the use of formal methods has overcome problems, lead to improv= ements in design or provided new insights. PAPER SUBMISSION Industry track papers should not exceed 15 pages (including appendices and references). Accepted papers will be published in the Symposium Proceedings= , to appear in Springer's Lecture Notes in Computer Science. Submitted papers sh= ould describe, in English, have not been published or submitted elsewhere concur= rently for publication, and should be in Springer's format. All submissions will be evaluated by at least three members of the industry track program committee. Papers should be submitted through the FM 2014 EasyChair web site: http://www.easychair.org/conferences/?conf=3Dfm2014 IMPORTANT DATES * Industry Track Submission: January 16, 2014 * Industry Track Notification: February 16, 2014 * Camera-ready: February 25, 2014 * Main Conference Date: May 14-16, 2014 FM 2014 ORGANIZING COMMITTEES General Chair Jin Song Dong, National University of Singapore, Singapore. Program Committee Co-Chairs Cliff B Jones, Newcastle University, United Kindom. Pekka Pihlajasaari, Data Abstraction (Pty) Ltd, South Africa. Jun Sun, Singapore University of Technology and Design, Singapore. Doc Symposium Chair Annabelle McIver, Macquarie University, Australia. Workshop Chair Shengchao Qin, University of Teesside, United Kindom. Publicity Chair Jonathan Bowen, London South Bank University, United Kindom. Kenji Taguchi, AIST, Japan. INDUSTRY TRACK PROGRAM COMMITTEE * Jun Sun, Singapore University of Technology and Design, Singapore. * Cliff Jones, Newcastle University, United Kingdom. * Pekka Pihlajasaari, Data Abstraction (Pty) Ltd, South Africa. * Michael Holloway, NASA, United States. * Ralf Huuck, NICTA, Australia. * Ewen Denney, SGT/NASA Ames, United States. * Jim Grundy, Intel Corporation, United States. * Hongjun Zheng, MathWorks, United States. * Wolfgang Grieskamp, Google, United States. * Cristina Cifuentes, Oracle, Australia. * Jon Burton, Praxis, United Kingdom. This email may contain confidential and/or proprietary information that is = exempt from disclosure under applicable law and is intended for receipt and= use solely by the addressee(s) named above. If you are not the intended re= cipient, you are notified that any use, dissemination, distribution, or cop= ying of this email, or any attachment, is strictly prohibited. Please delet= e the email immediately and inform the sender. Thank You --_000_2d3812a6205a42e59ba855b8cfc3432aSIXPR03MB080apcprd03pro_ Content-Type: text/html; charset="us-ascii" Content-Transfer-Encoding: quoted-printable
CALL FOR INDUSTRY TRACK PAPERS

FM2014 is the nineteenth in a series of symposia organized by Formal M= ethods Europe, 
an independent association whose aim is to stimulate the use of, and r= esearch on, 
formal methods for software development. The symposia have been notabl= y successful 
in bringing together innovators and practitioners in precise mathemati= cal methods 
for software and systems development, industrial users, as well as res= earchers. 
The industry track of FM 2014 welcomes papers describing industrial ap= plications 
of formal methods, experience with introducing formal methods in indus= try, tool 
usage reports, experiments with challenge problems. Authors are encour= aged to 
explain how the use of formal methods has overcome problems, lead to i= mprovements 
in design or provided new insights.

PAPER SUBMISSION

Industry track papers should not exceed 15 pages (including appendices= and 
references). Accepted papers will be published in the Symposium Procee= dings, to 
appear in Springer's Lecture Notes in Computer Science. Submitted pape= rs should 
describe, in English, have not been published or submitted elsewhere c= oncurrently 
for publication, and should be in Springer's format. All submissions w= ill be 
evaluated by at least three members of the industry track program comm= ittee. 
Papers should be submitted through the FM 2014 EasyChair web site:
http://www.easychair.org/conferences/?conf=3Dfm2014

IMPORTANT DATES

•  Industry Track Submission: January 16, 2014
•  Industry Track Notification: February 16, 2014
•  Camera-ready: February 25, 2014
•  Main Conference Date: May 14-16, 2014

FM 2014 ORGANIZING COMMITTEES

General Chair
Jin Song Dong, National University of Singapore, Singapore.

Program Committee Co-Chairs
Cliff B Jones, Newcastle University, United Kindom.
Pekka Pihlajasaari, Data Abstraction (Pty) Ltd, South Africa.
Jun Sun, Singapore University of Technology and Design, Singapore.

Doc Symposium Chair
Annabelle McIver, Macquarie University, Australia.

Workshop Chair
Shengchao Qin, University of Teesside, United Kindom.

Publicity Chair
Jonathan Bowen, London South Bank University, United Kindom.
Kenji Taguchi, AIST, Japan.

INDUSTRY TRACK PROGRAM COMMITTEE

•  Jun Sun, Singapore University of Technology and Design, = Singapore.
•  Cliff Jones, Newcastle University, United Kingdom.
•  Pekka Pihlajasaari, Data Abstraction (Pty) Ltd, South Af= rica.
•  Michael Holloway, NASA, United States.
•  Ralf Huuck, NICTA, Australia.
•  Ewen Denney, SGT/NASA Ames, United States.
•  Jim Grundy, Intel Corporation, United States.
•  Hongjun Zheng, MathWorks, United States.
•  Wolfgang Grieskamp, Google, United States.
•  Cristina Cifuentes, Oracle, Australia.
•  Jon Burton, Praxis, United Kingdom.

This email may contain confidential and/or propr= ietary information that is exempt from disclosure under applicable law and = is intended for receipt and use solely by the addressee(s) named above. If = you are not the intended recipient, you are notified that any use, dissemination, distribution, or copying of = this email, or any attachment, is strictly prohibited. Please delete the em= ail immediately and inform the sender. Thank You

--_000_2d3812a6205a42e59ba855b8cfc3432aSIXPR03MB080apcprd03pro_-- --===============6012667772266113787== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ events mailing list events@fmeurope.org http://fmeurope.hosting.west.nl/mailman/listinfo/events --===============6012667772266113787==--