[Om-announce] Call for Participation FMICS 2013

[mdierkes at rockwellcollins.com]

                       Call for Participation
                       ======================

                             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à 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 
  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 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 
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 Analyses
-- Adrien Champion, Rémi 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érôme
Quévremont

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 
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.?

« Les informations contenues dans ce courriel et tout document attaché 
peuvent être de nature confidentielle ou propriétaire. Si vous n?êtes pas 
le destinataire escompté, merci d?en informer Rockwell Collins 
immédiatement et de détruire ce courriel ainsi que tout document attaché. 
Toute divulgation, distribution ou copie de ces informations sans 
autorisation préalable est interdite. »
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://openmath.org/pipermail/om-announce/attachments/20130830/5d22d44c/attachment.html>