From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 370EA7F89E for ; Sun, 30 Mar 2014 10:11:44 +0200 (CEST) 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: AmAFABjRN1PBVEO1/2dsb2JhbABZDgiCLEQ7unSBP4ZkgWIWdIInBgEBGiMBBQoEFAYHBQIBAgECBgIFQwgDASM2ARIFh2ADFQmwc4FVgXqVHQ2HQAEFDJEoD4F7BIlQkDGLO4VHgUCBME0w X-IPAS-Result: AmAFABjRN1PBVEO1/2dsb2JhbABZDgiCLEQ7unSBP4ZkgWIWdIInBgEBGiMBBQoEFAYHBQIBAgECBgIFQwgDASM2ARIFh2ADFQmwc4FVgXqVHQ2HQAEFDJEoD4F7BIlQkDGLO4VHgUCBME0w X-IronPort-AV: E=Sophos;i="4.97,759,1389740400"; d="scan'208";a="54678553" Received: from kruisbes.hosting.west.nl ([193.84.67.181]) by mail3-smtp-sop.national.inria.fr with ESMTP; 30 Mar 2014 10:11:43 +0200 Received: from kruisbes.hosting.west.nl (localhost [127.0.0.1]) by kruisbes.hosting.west.nl (Postfix) with ESMTP id B78946FF0B; Sun, 30 Mar 2014 10:11:37 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:date:message-id:subject:from:to:content-type; bh=nkgnIi4/CPBnpKLCk/6hFulAyzIZOm1HsE0EWBLd+fA=; b=sC0ts/otlcONEHBprCS0SKBfBpLa21ooD0cOikN2M0Zpzrwjeijmzy7d+aJ1v+Uw2C n75jBuyxq8A8mpXvqUVCEvzLTP2wcVhTxlzG1Hn5ymB4eUZIwvMKGQ9HrqP+jW5CKYQ9 o+cYgftBx/LDhSkohCg9WTlwB2v9wwOIrNnAKlZ5dC6/91z9SfnVmyTNsdrlzWzhUkzv NSfQSjN6fJB+EcFdLBSwT7D4zYKTTPP54pJfrjYsUf2+XJL9uYHwan/YRyZl4cS/AcfN z/x3y/+6Ds13Quu2ZZ0M85Z22afKbA+qA4YYKMT+SAp1Ge+S3UqVrWQI5khs3YmIFavQ wvcQ== MIME-Version: 1.0 X-Received: by 10.52.171.68 with SMTP id as4mr11175767vdc.0.1396109906926; Sat, 29 Mar 2014 09:18:26 -0700 (PDT) Date: Sun, 30 Mar 2014 00:18:26 +0800 X-Google-Sender-Auth: 8NSV1k4Rc1s1sNJjN8yUXuktV8M 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" X-Spam-Report: * -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at http://www.dnswl.org/, low * trust * [209.85.220.176 listed in list.dnswl.org] * 1.0 TO_INFO mail was sent to easy guessable address 'info@...' * 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider * (sunjunhqq[at]gmail.com) * -0.0 SPF_PASS SPF: sender matches SPF record * 0.3 HTML_OBFUSCATE_05_10 BODY: Message is 5% to 10% HTML obfuscation * -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_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: Sun, 30 Mar 2014 10:02:46 +0200 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="===============8389131535806863355==" Sender: events-bounces@fmeurope.org Errors-To: events-bounces@fmeurope.org X-Virus-Scanned: clamav-milter 0.98.1 at kruisbes X-Virus-Status: Clean X-Validation-by: events-owner@fmeurope.org Subject: [Caml-list] Call for Participation: FM 2014 --===============8389131535806863355== Content-Type: multipart/alternative; boundary=047d7b6dbd9a11e0a104f5c12b0d --047d7b6dbd9a11e0a104f5c12b0d Content-Type: text/plain; charset=ISO-8859-1 Call for Participation: Formal Methods 2014 (FM 2014), Singapore, May 12-16 FM 2014 received a high number of high-quality submissions this year resulting in a highly competitive selection of accepted papers, and we are proud to announce an excellent program. Please join us at FM 2014! GENERAL THEME FM 2014 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. In addition to high-quality main track papers, FM 2014 features 7 industry track papers which highlight industry applications of formal methods. VENUE FM 2014 will be held in National University of Singapore, Singapore. Different options for accommodations are available. Please refer to our website on how to reserve rooms at special rates. See: http://www.comp.nus.edu.sg/~pat/FM2014/conference_hotel.html REGISTRATION The deadline for early registration is March 31, 2014. After March 31, 2014, late and on-site registration fees apply. Registrations for the main conference, workshops and tutorials, include breakfast, lunch and coffee breaks. Please visit the registration webpage for further details: See: http://www.comp.nus.edu.sg/~pat/FM2014/registration.html Visitors to Singapore from certain countries are required to apply for an entry visa, typically through an embassy in their country. Kindly contact us if any assistance from the conference organisor is needed. PROGRAM OVERVIEW * Workshops (May 12-13, 2014) - AI4FM 2014: http://www.ai4fm.org/ai4fm-2014/ - ESSS 2014: http://pat.sce.ntu.edu.sg/esss14/ - FMTV 2014: http://www.merge-project.eu/?page_id=192 - FSFMA 2014: http://lipn.univ-paris13.fr/fsfma2014/ - QFM 2014: http://web.science.mq.edu.au/conferences/qfm14/ - UTP 2014: http://www.comp.nus.edu.sg/~pat/UTP2014/ * Tutorials (May 12-13, 2014): http://www.comp.nus.edu.sg/~pat/FM2014 /tutorial.html - Collaborative Modelling and Co-simulation: Tools and techniques for Designing Embedded Systems - Unifying Theories of Programming in Isabelle/HOL - Formal Model-Driven Engineering - BACH: From Bounded Reachability Analysis of Linear Hybrid Automata To Online Verification of Industrial Cyber-Physical System - The Correctness-by-Construction Approach to Programming * Doctoral Symposium (May 13, 2014) * Main Conference (May 14-16) - Keynotes: http://www.comp.nus.edu.sg/~pat/FM2014/keynotes.html - Main Track Papers: http://www.comp.nus.edu.sg/~pat/FM2014 /accepted_main_track_papers.html - Industry Track Papers: http://www.comp.nus.edu.sg/~pat/FM2014 /accepted_industry_track_papers.html See you in Singapore! --047d7b6dbd9a11e0a104f5c12b0d Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
Call= =A0for=A0Parti= cipation: Formal Methods=A02014=A0(FM=A02014), Singapore, May 12-16

FM=A02014=A0received a high number= of high-quality submissions this year resulting in=A0
a highly competi= tive selection of accepted papers, and we are proud to announce=A0
an excellent progra= m. Please join us at=A0FM=A02014!

GENERAL THEME

FM=A02014=A0is= the nineteenth in a series of symposia organized by Formal Methods=A0
Europe, an independent association whose aim is to stimulate the use of, an= d=A0
resear= ch on, formal methods for software development. The symposia have been=A0
notably successf= ul in bringing together innovators and practitioners in precise
mathematical methods f= or software and systems development, industrial users, as well as researche= rs. In addition to high-quality main track papers,=A0FM=A02014=A0
features 7 indus= try track papers which highlight industry applications of formal=A0
methods.

VENUE<= /div>

<= div style=3D"font-family:arial,sans-serif;font-size:13px">FM=A02014=A0will be held in Nat= ional University of Singapore, Singapore. Different
options for acco= mmodations are available. Please refer to our website on how to=A0
reserve rooms at sp= ecial rates.


REGISTRATION

The deadline for early registration is March 31,=A02014. After March 31,=A02014,
<= div style=3D"font-family:arial,sans-serif;font-size:13px"> late and on-site registration fees apply. Registrations for the main confer= ence,=A0
wo= rkshops and tutorials, include breakfast, lunch and coffee breaks. Please v= isit=A0
the registration= webpage for further details:

Visitors to Singapore = from certain countries are required to apply for an entry=A0
visa, typically through an embassy in their country. Kindly contact us if a= ny=A0
assis= tance from the conference organisor is needed.

PROGRA= M OVERVIEW
=
* Work= shops (May 12-13,=A02014)=A0
=A0 - AI4FM=A02014:=A0<= a href=3D"http://www.ai4fm.org/ai4fm-2014/" target=3D"_blank">http://www.ai= 4fm.org/ai4fm-2014/
=A0 - ESSS=A02014:=A0http://pat.sc= e.ntu.edu.sg/esss14/
=A0 - FMTV=A02014:=A0http= ://www.merge-project.eu/?page_id=3D192
=A0 - FSFMA=A02014:=A0<= a href=3D"http://lipn.univ-paris13.fr/fsfma2014/" target=3D"_blank">http://= lipn.univ-paris13.fr/fsfma2014/

* Tutorials (May 12-13= ,=A02014):=A0http://www.comp.nus.edu.sg/~pat/FM2014/tutorial.= html=A0
=A0 - Collaborat= ive Modelling and Co-simulation: Tools and techniques for Designing Embedde= d Systems
= =A0 - Unifying Theories of Programming in Isabelle/HOL
=A0 - Formal Mod= el-Driven Engineering
=A0 - BACH: From Bounded Reachability Analysis of Linear Hybrid = Automata To Online Verification of Industrial Cyber-Physical System
=A0 - The Correc= tness-by-Construction Approach to Programming

* Doctoral Symposium (May 13,=A02014)=A0

* Main Conference (May 14-16)=A0

See you in Singapore!<= /div>
--047d7b6dbd9a11e0a104f5c12b0d-- --===============8389131535806863355== 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 --===============8389131535806863355==--