From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 AE7117EE6D for ; Fri, 29 Nov 2013 08:07:52 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of events-bounces@fmeurope.org) identity=pra; client-ip=193.84.67.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="events-bounces@fmeurope.org"; x-sender="events-bounces@fmeurope.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of events-bounces@fmeurope.org) identity=mailfrom; client-ip=193.84.67.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="events-bounces@fmeurope.org"; x-sender="events-bounces@fmeurope.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.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=mail2-smtp-roc.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: AjEFAOI8mFLBVEO1/2dsb2JhbABDFg4IgnE4uF1OgRsWdIInBgEBGiMBBQoFEwYMAgECAQIGAgUZFxMIAwEjNgESBQSHZgMTCbMbhG8NiBMBBQyOEhIEQ4RLA4k8kAiQY4JqRDeBLA X-IPAS-Result: AjEFAOI8mFLBVEO1/2dsb2JhbABDFg4IgnE4uF1OgRsWdIInBgEBGiMBBQoFEwYMAgECAQIGAgUZFxMIAwEjNgESBQSHZgMTCbMbhG8NiBMBBQyOEhIEQ4RLA4k8kAiQY4JqRDeBLA X-IronPort-AV: E=Sophos;i="4.93,796,1378850400"; d="scan'208";a="46021948" Received: from kruisbes.hosting.west.nl ([193.84.67.181]) by mail2-smtp-roc.national.inria.fr with ESMTP; 29 Nov 2013 08:07:52 +0100 Received: from kruisbes.hosting.west.nl (localhost [127.0.0.1]) by kruisbes.hosting.west.nl (Postfix) with ESMTP id B0ED46FF08; Fri, 29 Nov 2013 08:07:29 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=6OOAPP7D0I9jpa9NCZZE87G5XD7yIcNyW9SOC3rUQ/0=; b=B7pnjT6JqPtz/V/D4aWzOx/tGdESx0YIF/QtvhLyvEPzia1HslEPAeJaLfgn0lZt+B 4NF5Xy9jAPLsGs1hwzEpH6gYepSVFsGoHq+DumBJIV1htkh65zXhakTavJWcaWQflFTr nfwGkMlp+rX1JSfM2OZkHXowkvDg2fuP8TEwWxojBEE+RpbzMl8XghN7hM0nQSq/obkK uxEe2Lwl6a9PMuIBmEq6ybKkVV3oU1PUZI0cCKPYfJZCaDx45ugj2AFSyE7BHI6lduRi iln3DVB1mcI+shCpezeksenvOpLgxOnbBgQccDJuzvcwLnf08zGRt7oswbms4ECST5hu zu2Q== MIME-Version: 1.0 X-Received: by 10.52.231.130 with SMTP id tg2mr3358082vdc.16.1385661765799; Thu, 28 Nov 2013 10:02:45 -0800 (PST) Date: Thu, 28 Nov 2013 22:02:45 +0400 To: FM announcements , FME events , FMnet mailing list , IFM SIG mailing list , ZFORUM mailing list , B forum mailing list , FACS Events X-Spam-Report: * -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at http://www.dnswl.org/, low * trust * [209.85.220.172 listed in list.dnswl.org] * 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider * (jpbowen[at]gmail.com) * -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 * -0.1 DKIM_VALID_AU Message has a valid DKIM or DK signature from author's * domain * 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily * valid * -0.1 DKIM_VALID Message has at least one valid DKIM or DK signature X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on kruisbes.hosting.west.nl X-Mailman-Approved-At: Fri, 29 Nov 2013 08:01:09 +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="===============4013747355405820982==" 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: Formal Methods 2014 (FM 2014) --===============4013747355405820982== Content-Type: multipart/alternative; boundary=089e0102f83254549b04ec408554 --089e0102f83254549b04ec408554 Content-Type: text/plain; charset=ISO-8859-1 Call for Industry Track Papers: Formal Methods 2014 (FM 2014) CALL FOR INDUSTRY TRACK PAPERS Formal Methods 2014 (FM 2014) 19th International Symposium on Formal Methods Singapore, May 14-16, 2014 http://www.comp.nus.edu.sg/~pat/FM2014/ FM2014 is the nineteenth in a series of symposia organized by Formal Methods Europe, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The symposia have been notably successful in bringing together innovators and practitioners in precise mathematical methods for software and systems development, industrial users, as well as researchers. The industry track of FM 2014 welcomes papers describing industrial applications 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 improvements 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 should describe, in English, have not been published or submitted elsewhere concurrently 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=fm2014 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, Birmingham City 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. -- Prof. Jonathan Bowen Professor of Computer Science, Birmingham City University Emeritus Professor, London South Bank University Chairman, Museophile Limited http://www.jpbowen.com --089e0102f83254549b04ec408554 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
Call for Industry Track Papers: Formal Methods 2014 (= FM 2014)

CALL FOR INDUSTRY TRACK PAPERS
= Formal Methods 2014 (FM 2014)
19th International Symposium on For= mal Methods
Singapore, May 14-16, 2014


Formal Methods Europe, an independent association whose aim is
to stimulate the use of, and research on, formal methods for
formal methods, experience with introducing formal methods in
industry, tool usage reports, experiments with challenge
proble= ms. Authors are encouraged to explain how the use of
formal metho= ds has overcome problems, lead to improvements in
design or provided new insights.

PAPER SUBMIS= SION

Industry track papers should not exceed 15 pa= ges (including
appendices and references). Accepted papers will b= e published in
the Symposium Proceedings, to appear in Springer's Lecture Notes
in Computer Science. Submitted papers should describe, in
English, have not been published or submitted elsewhere
concurr= ently 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. =A0Papers should
be submitted through the FM 2014 EasyChair web site:


= IMPORTANT DATES

* Industry Track Submission: Janua= ry 16, 2014
* Industry Track Notification: February 16, 2014
* Camera-re= ady: February 25, 2014
* Main Conference Date: May 14-16, 2014

FM 2014 ORGANIZING COMMITTEES

General Chair
Jin Song Dong, National University of Singapor= e, Singapore.

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

Doc Symposium Chair
Annabelle McIver, Macqu= arie University, Australia.

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

Publicity Chair
Jonathan Bowen, Birmingham City Universi= ty, 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 Pihlaj= asaari, 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 Zhen= g, MathWorks, United States.
* Wolfgang Grieskamp, Google, United States.
* Cristina Cifu= entes, Oracle, Australia.
* Jon Burton, Praxis, United Kingdom.

--
Prof. Jonathan Bowen<= div> Professor of Computer Sci= ence, Birmingham City University
Emeritus Professor, London South Bank University
Chairman, M= useophile Limited
http://www.jpbowen.com=
--089e0102f83254549b04ec408554-- --===============4013747355405820982== 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 --===============4013747355405820982==--