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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 0BE737F860 for ; Sat, 8 Mar 2014 08:34:04 +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: AnoJAPLGGlPBVEO1/2dsb2JhbABaDggSgl47hj6yboRpgySBYBZ0gicGAQEaIwEFCgQUBgcFAgECAQIGAgVDCAMBIzYBEgWHYAMVCbA+gVWBepRgDYcYAQUMkQQPgXsEiU+QKIs0hUWBQIEuTDA X-IPAS-Result: AnoJAPLGGlPBVEO1/2dsb2JhbABaDggSgl47hj6yboRpgySBYBZ0gicGAQEaIwEFCgQUBgcFAgECAQIGAgVDCAMBIzYBEgWHYAMVCbA+gVWBepRgDYcYAQUMkQQPgXsEiU+QKIs0hUWBQIEuTDA X-IronPort-AV: E=Sophos;i="4.97,613,1389740400"; d="scan'208";a="61840064" Received: from kruisbes.hosting.west.nl ([193.84.67.181]) by mail2-smtp-roc.national.inria.fr with ESMTP; 08 Mar 2014 08:34:03 +0100 Received: from kruisbes.hosting.west.nl (localhost [127.0.0.1]) by kruisbes.hosting.west.nl (Postfix) with ESMTP id 326A86FEF9; Sat, 8 Mar 2014 08:33:44 +0100 (CET) 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=SMYCTevzc5OGPZ7JF46cefGuxewUx6Dh2oKHXnhslmk=; b=yXJBfRHMSjIC5yvOcVy3QTzIRrOE/QV35MApkJSHMJ/pwS47T1LjBXyNily+bzdokR dUNVKt1puPaqGcH+H5PW05DHDpb3Q/s460Y2x0Omo1dp2VpTQXki/5I9C6EaGYdV8GMf 3XDxvd6g5RU7SaG8SwbA4hFAZKNJbIGgn3ImbZyq87GkALFnSQ8Lp8Y1IaRrcjNMHtok 4l0vLjktCGYeWy7HtaPR5qIZfUGC4Gj1KwCCpKI0mz43vcP/TTSagPu/Ud/bvtsv7Uym RMxT486FiQfmSsJL2W0/SnYSBFY99Qym7XkR/WgKJuCFM/mA+aLSzOhrz6NZBpy+quL6 gcYw== MIME-Version: 1.0 X-Received: by 10.221.55.133 with SMTP id vy5mr12373824vcb.17.1394236020582; Fri, 07 Mar 2014 15:47:00 -0800 (PST) Date: Sat, 8 Mar 2014 07:47:00 +0800 X-Google-Sender-Auth: T5IKjzd4Q5U91yvCmRxNR0DRHuI 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" X-Spam-Report: * -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at http://www.dnswl.org/, low * trust * [209.85.128.172 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 * -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: Sat, 08 Mar 2014 08:22:55 +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="===============6183320837807163828==" 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 Participation: FM 2014, Singapore, May 12-16 --===============6183320837807163828== Content-Type: multipart/alternative; boundary=001a113376febd6fbd04f40cde70 --001a113376febd6fbd04f40cde70 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! --001a113376febd6fbd04f40cde70 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
Call for Participation: Formal Methods 2014 (FM 2014)= , Singapore, May 12-16

FM 2014 received a high num= ber of high-quality submissions this year resulting in=A0
a highl= y competitive selection of accepted papers, and we are proud to announce=A0=
an excellent program. Please join us at FM 2014!

<= div>GENERAL THEME

FM 2014 is the nineteenth in a s= eries of symposia organized by Formal Methods=A0
Europe, an indep= endent association whose aim is to stimulate the use of, and=A0
research on, formal methods for software development. The symposia hav= e been=A0
notably successful in bringing together innovators and = practitioners in precise
mathematical methods for software and sy= stems development, industrial users, as well as researchers. In addition to= high-quality main track papers, FM 2014=A0
features 7 industry track papers which highlight industry applications= of formal=A0
methods.

VENUE
<= br>
FM 2014 will be held in National University of Singapore, Sin= gapore. Different
options for accommodations are available. Please refer to our website = on how to=A0
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,= =A0
workshops and tutorials, include breakfast, lunch and coffee breaks. P= lease visit=A0
the registration webpage for further details:


Visitors to Singapore from certain countries are requir= ed to apply for an entry=A0
visa, typically through an embassy in= their country. Kindly contact us if any=A0
assistance from the c= onference organisor is needed.

PROGRAM OVERVIEW

* Workshops (= May 12-13, 2014)=A0

=A0 - Collaborative Modelling and Co-si= mulation: Tools and techniques for Designing Embedded Systems
=A0 - Unifying Theories of Programming in Isabelle/HOL
=A0 -= Formal Model-Driven Engineering
=A0 - BACH: From Bounded Reachab= ility Analysis of Linear Hybrid Automata To Online Verification of Industri= al Cyber-Physical System
=A0 - The Correctness-by-Construction Approach to Programming

* Doctoral Symposium (May 13, 2014)=A0
--001a113376febd6fbd04f40cde70-- --===============6183320837807163828== 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 --===============6183320837807163828==--