Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Announcements of FME events <events@fmeurope.org>
To: mdierkes@rockwellcollins.com
Subject: [Caml-list] Call for Participation FMICS 2013
Date: Fri, 30 Aug 2013 15:41:53 +0200	[thread overview]
Message-ID: <mailman.1131.1377957389.1393.events@fmeurope.org> (raw)


[-- Attachment #1.1: Type: text/plain, Size: 4417 bytes --]

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

[-- Attachment #1.2: Type: text/html, Size: 8492 bytes --]

[-- Attachment #2: Type: text/plain, Size: 144 bytes --]

_______________________________________________
events mailing list
events@fmeurope.org
http://fmeurope.hosting.west.nl/mailman/listinfo/events

                 reply	other threads:[~2013-08-31 14:07 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=mailman.1131.1377957389.1393.events@fmeurope.org \
    --to=events@fmeurope.org \
    --cc=mdierkes@rockwellcollins.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body. 
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox