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 E7BB3820A1 for ; Sat, 31 Aug 2013 16:07:20 +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: AiILAN33IVLBVEO1/2dsb2JhbABaKIJJFjWDHr4dgR0WdIImAQUBAQkRKQoYBg4DAQIGAghACAMBI0kFiAEIjBWtV45GAYEzhCkDiH2QJ5A3gyI6gTU X-IPAS-Result: AiILAN33IVLBVEO1/2dsb2JhbABaKIJJFjWDHr4dgR0WdIImAQUBAQkRKQoYBg4DAQIGAghACAMBI0kFiAEIjBWtV45GAYEzhCkDiH2QJ5A3gyI6gTU X-IronPort-AV: E=Sophos;i="4.89,997,1367964000"; d="scan'208";a="25303608" Received: from kruisbes.hosting.west.nl ([193.84.67.181]) by mail3-smtp-sop.national.inria.fr with ESMTP; 31 Aug 2013 16:07:19 +0200 Received: from kruisbes.hosting.west.nl (localhost [127.0.0.1]) by kruisbes.hosting.west.nl (Postfix) with ESMTP id 8CE436FE98; Sat, 31 Aug 2013 16:07:12 +0200 (CEST) X-Disclaimed: 43862 To: mdierkes@rockwellcollins.com MIME-Version: 1.0 X-KeepSent: A5302C84:853260BC-C1257BD7:004AF9D2; type=4; name=$KeepSent X-Mailer: Lotus Notes Release 8.5.2FP2 March 23, 2011 Date: Fri, 30 Aug 2013 15:41:53 +0200 X-MIMETrack: Serialize by Router on CollinsCRSMTP02/CedarRapids/RockwellCollins(Release 8.5.2FP2 HF162|May 16, 2011) at 08/30/2013 08:41:52 AM, Serialize complete at 08/30/2013 08:41:52 AM X-Spam-Report: * -0.0 SPF_PASS SPF: sender matches SPF record * -2.1 RP_MATCHES_RCVD Envelope sender domain matches handover relay domain * -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: Sat, 31 Aug 2013 15:56:27 +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="===============4401888521874337490==" 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 FMICS 2013 Message en plusieurs parties au format MIME --===============4401888521874337490== Content-Type: multipart/alternative; boundary="=_alternative 004B3F28C1257BD7_=" Message en plusieurs parties au format MIME --=_alternative 004B3F28C1257BD7_= Content-Type: text/plain; charset="ISO-8859-1" Content-Transfer-Encoding: quoted-printable Call for Participation =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D FMICS 2013 18th International Workshop on Formal Methods for Industrial Critical Systems September 23-24, 2013 Madrid (Spain) Co-located with SEFM 2013 http://lvl.info.ucl.ac.be/Fmics2013 Invited Talks ------------- * Alessandro Fantechi (Universit=81=E0 degli Studi di Firenze): Twenty-Five Years of Formal Methods and Railways: What Next? * Benjamin Monate (TrustInSoft): TrustInSoft: Industrial Formal Methods to Protect Security-Sensitive=20 Systems=20 Scope ----- The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS workshop series also strives to promote research and development for the improvement of formal methods and tools for industrial applications. Programme --------- HyRev: A tool for the automatic generation of real-time routines for enabling fail-safe control in a class of safety-critical embedded systems using backwards reachability analysis -- Hallstein Asheim Hansen Formal Reliability Analysis of Protective Relays in Power Distribution=20 Systems=20 -- Adil Khurram, Haider Ali, Arham Tariq and Osman Hasan Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-Linear and Linear Analyses -- Adrien Champion, R=81=E9mi Delmas, Michael Dierkes, Pierre-Loic Garoche, Romain Jobredeaux and Pierre Roux Complex Digital System Design: a methodology and its application to medical implants -- Helene Leroux, Karen Godary-Dejean and David Andreu On the Effectiveness of Assertion-Based Verification in an Industrial Context -- Laurence Pierre, Fabrice Pancher, Rodolphe Suescun and J=81=E9r=81= =F4me Qu=81=E9vremont Predicate Abstraction for Programmable Logic Controllers -- Sebastian Biallas, Mirco Giacobbe and Stefan Kowalewski Boolean Quantifier Elimination for Automotive Configuration - A Case Study -- Christoph Zengler and Wolfgang Auditing User-Provided Axioms in Software Verification Conditions -- Paul Jackson, Florian Schanda and Angela Wallenburg Study on the Barriers to the Industrial Adoption of Formal Methods -- Jennifer Davis, Matthew Clark, Darren Cofer, Aaron Fifarek, Jacob Hinchman, Jonathan Hoffman, Brian Hulbert, Steven Miller and Lucas Wagner Manager Guidelines for the Industrial Deployment of Formal Methods -- Christophe Ponsard, Jean-Christophe Deprez and Renaud De Landtsheer An outline workflow for practical formal verification from software requirements to object code -- Darren Sexton Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip -- Abderahman Kriouile and Wendelin Serwe Specification and Verification using Alloy of Optimistic Access Control for Distributed Collaborative Editors -- Aurel Randolph, Abdessamad Imine, Hanifa Boucheneb and Alejandro Quintero Registration ------------ Registration proceeds via the SEFM conference http://madrid.nethotels.com/mice/english/sefm_2013 ------------------------------------ Michael Dierkes, PhD Senior Software Engineer Rockwell Collins France +33 5 34 61 86 88 ------------------------------------ ?The information in this e-mail and any attached document may be of a=20 confidential or proprietary nature. If you are not the intended recipient,= =20 please notify Rockwell Collins immediately and delete this e-mail and any= =20 attached document. Any unauthorised disclosure, distribution or copying=20 hereof is prohibited.? =AB Les informations contenues dans ce courriel et tout document attach=E9= =20 peuvent =EAtre de nature confidentielle ou propri=E9taire. Si vous n?=EAtes= pas=20 le destinataire escompt=E9, merci d?en informer Rockwell Collins=20 imm=E9diatement et de d=E9truire ce courriel ainsi que tout document attach= =E9.=20 Toute divulgation, distribution ou copie de ces informations sans=20 autorisation pr=E9alable est interdite. =BB= --=_alternative 004B3F28C1257BD7_= Content-Type: text/html; charset="ISO-8859-1" Content-Transfer-Encoding: quoted-printable                        Call for Participation
          &nbs= p;            =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

          &nbs= p;                  FMICS 2013

          &nbs= p;        18th International Workshop on
          &nbs= p;Formal Methods for Industrial Critical Systems

          &nbs= p;            September 23-24, 2013
          &nbs= p;                Madrid (Spain)
          &nbs= p;          Co-located with SEFM 2013

          &nbs= p;     http://lvl.info.ucl.ac.be/Fmics2013

Invited Talks
-------------
* Alessandro Fantechi (Universit=81=E0 = degli Studi di Firenze):
  Twenty-Five Years of Formal Meth= ods and Railways: What Next?

* Benjamin Monate (TrustInSoft):
  TrustInSoft: Industrial Formal M= ethods to Protect Security-Sensitive
  Systems

Scope
-----

The  aim of  the  FMICS workshop  series  is to  provide  a forum  for
researchers who  are interested in the development  and application of
formal  methods  in industry.  In  particular,  FMICS brings  together
scientists and engineers who are  = active in the area of formal methods
and interested in exchanging their expe= riences in the industrial usage
of these  methods. The FMICS  = ;workshop series also strives  to promote
research  and development for &nbs= p;the improvement  of formal  methods and
tools for industrial applications.

Programme
---------

HyRev:  A tool for the  autom= atic generation of real-time routines for
enabling  fail-safe  control  in a class   of safety-critical embedded
systems using backwards reachability an= alysis
-- Hallstein Asheim Hansen

Formal Reliability Analysis of Protecti= ve Relays in Power Distribution
Systems
-- Adil Khurram, Haider Ali, Arham Tariq and Osman Hasan

Formal  Methods for the Analysis of   Critical Control Systems Models:
Combining Non-Linear and Linear Analyse= s
-- Adrien Champion, R=81=E9mi Delmas, M= ichael Dierkes, Pierre-Loic Garoche,
Romain Jobredeaux and Pierre Roux

Complex Digital System Design: a  = methodology  and its application  to
medical implants
-- Helene Leroux, Karen Godary-Dejean a= nd David Andreu

On the Effectiveness of  Assertion= -Based Verification in an Industrial
Context
-- Laurence Pierre,    Fabrice Pancher, Rodolphe  Suescun  and  J=81=E9r=81=F4me
Qu=81=E9vremont

Predicate Abstraction for Programmable Logic Controllers
-- Sebastian Biallas, Mirco Giacobbe and Stefan Kowalewski

Boolean Quantifier Elimination  for Automotive Configuration  - A Case
Study
-- Christoph Zengler and Wolfgang

Auditing User-Provided Axioms in Softwa= re Verification Conditions
-- Paul Jackson, Florian Schanda and An= gela Wallenburg

Study on the Barriers to the Industrial Adoption of Formal Methods
-- Jennifer Davis,  Matthew Clark,  Darren Cofer, Aaron Fifarek, Jacob
Hinchman, Jonathan  Hoffman,  = ;Brian Hulbert, Steven  Miller  and Lucas
Wagner

Manager Guidelines for the Industrial D= eployment of Formal Methods
-- Christophe Ponsard, Jean-Christophe Deprez and Renaud De Landtsheer

An  outline workflow  for pra= ctical formal  verification from software
requirements to object code
-- Darren Sexton

Formal  Analysis of    t= he    ACE Specification for    Cache  Coherent
Systems-on-Chip
-- Abderahman Kriouile and Wendelin Ser= we

Specification   and Verification u= sing    Alloy  of Optimistic  Access
Control for Distributed Collaborative E= ditors
-- Aurel Randolph, Abdessamad Imine, &n= bsp; Hanifa Boucheneb and  Alejandro
Quintero


Registration
------------
Registration proceeds via the SEFM conf= erence
http://madrid.nethotels.com/mice/english/sefm_2013

------------------------------------=
Michael Dierkes, PhD
Senior Software Engineer
Rockwell Collins France
+33 5 34 61 86 88
------------------------------------

“The information in this e-mail and any attached document may be of a confidential or proprietary nature. If you are not the intended recipient, please notify Rockwell Collins immediately and delete this e-mail and any attached document. Any unauthorised disclosure, distribution or copying hereof is prohibited.”

=AB Les informations contenues dans ce courriel et tout document attach=E9 peuvent =EAtre de nature confidentielle ou propri=E9taire. Si vous n’= =EAtes pas le destinataire escompt=E9, merci d’en informer Rockwell Collins = imm=E9diatement et de d=E9truire ce courriel ainsi que tout document attach=E9. Toute divul= gation, distribution ou copie de ces informations sans autorisation pr=E9alable est interdite. =BB= --=_alternative 004B3F28C1257BD7_=-- --===============4401888521874337490== 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 --===============4401888521874337490==--