<font size=2 face="Courier">           
           Call for Participation</font>
<br><font size=2 face="Courier">           
           ======================</font>
<br>
<br><font size=2 face="Courier">           
                 FMICS 2013</font>
<br>
<br><font size=2 face="Courier">           
       18th International Workshop on</font>
<br><font size=2 face="Courier">           Formal
Methods for Industrial Critical Systems</font>
<br>
<br><font size=2 face="Courier">           
           September 23-24, 2013</font>
<br><font size=2 face="Courier">           
               Madrid (Spain)</font>
<br><font size=2 face="Courier">           
         Co-located with SEFM 2013</font>
<br>
<br><font size=2 face="Courier">           
    </font><a href=http://lvl.info.ucl.ac.be/Fmics2013><font size=2 face="Courier">http://lvl.info.ucl.ac.be/Fmics2013</font></a>
<br>
<br><font size=2 face="Courier">Invited Talks</font>
<br><font size=2 face="Courier">-------------</font>
<br><font size=2 face="Courier">* Alessandro Fantechi (Università degli
Studi di Firenze):</font>
<br><font size=2 face="Courier">  Twenty-Five Years of Formal Methods
and Railways: What Next?</font>
<br>
<br><font size=2 face="Courier">* Benjamin Monate (TrustInSoft):</font>
<br><font size=2 face="Courier">  TrustInSoft: Industrial Formal Methods
to Protect Security-Sensitive </font>
<br><font size=2 face="Courier">  Systems </font>
<br>
<br><font size=2 face="Courier">Scope</font>
<br><font size=2 face="Courier">-----</font>
<br>
<br><font size=2 face="Courier">The  aim of  the  FMICS
workshop  series  is to  provide  a forum  for</font>
<br><font size=2 face="Courier">researchers who  are interested in
the development  and application of</font>
<br><font size=2 face="Courier">formal  methods  in industry.
 In  particular,  FMICS brings  together</font>
<br><font size=2 face="Courier">scientists and engineers who are  active
in the area of formal methods</font>
<br><font size=2 face="Courier">and interested in exchanging their experiences
in the industrial usage</font>
<br><font size=2 face="Courier">of these  methods. The FMICS  workshop
series also strives  to promote</font>
<br><font size=2 face="Courier">research  and development for  the
improvement  of formal  methods and</font>
<br><font size=2 face="Courier">tools for industrial applications.</font>
<br>
<br><font size=2 face="Courier">Programme</font>
<br><font size=2 face="Courier">---------</font>
<br>
<br><font size=2 face="Courier">HyRev:  A tool for the  automatic
generation of real-time routines for</font>
<br><font size=2 face="Courier">enabling  fail-safe  control
 in a class   of safety-critical embedded</font>
<br><font size=2 face="Courier">systems using backwards reachability analysis</font>
<br><font size=2 face="Courier">-- Hallstein Asheim Hansen</font>
<br>
<br><font size=2 face="Courier">Formal Reliability Analysis of Protective
Relays in Power Distribution </font>
<br><font size=2 face="Courier">Systems </font>
<br><font size=2 face="Courier">-- Adil Khurram, Haider Ali, Arham Tariq
and Osman Hasan</font>
<br>
<br><font size=2 face="Courier">Formal  Methods for the Analysis of
  Critical Control Systems Models:</font>
<br><font size=2 face="Courier">Combining Non-Linear and Linear Analyses</font>
<br><font size=2 face="Courier">-- Adrien Champion, Rémi Delmas, Michael
Dierkes, Pierre-Loic Garoche,</font>
<br><font size=2 face="Courier">Romain Jobredeaux and Pierre Roux</font>
<br>
<br><font size=2 face="Courier">Complex Digital System Design: a  methodology
 and its application  to</font>
<br><font size=2 face="Courier">medical implants</font>
<br><font size=2 face="Courier">-- Helene Leroux, Karen Godary-Dejean and
David Andreu</font>
<br>
<br><font size=2 face="Courier">On the Effectiveness of  Assertion-Based
Verification in an Industrial</font>
<br><font size=2 face="Courier">Context</font>
<br><font size=2 face="Courier">-- Laurence Pierre,    Fabrice
Pancher, Rodolphe  Suescun  and  Jérôme</font>
<br><font size=2 face="Courier">Quévremont</font>
<br>
<br><font size=2 face="Courier">Predicate Abstraction for Programmable
Logic Controllers</font>
<br><font size=2 face="Courier">-- Sebastian Biallas, Mirco Giacobbe and
Stefan Kowalewski</font>
<br>
<br><font size=2 face="Courier">Boolean Quantifier Elimination  for
Automotive Configuration  - A Case</font>
<br><font size=2 face="Courier">Study</font>
<br><font size=2 face="Courier">-- Christoph Zengler and Wolfgang</font>
<br>
<br><font size=2 face="Courier">Auditing User-Provided Axioms in Software
Verification Conditions</font>
<br><font size=2 face="Courier">-- Paul Jackson, Florian Schanda and Angela
Wallenburg</font>
<br>
<br><font size=2 face="Courier">Study on the Barriers to the Industrial
Adoption of Formal Methods</font>
<br><font size=2 face="Courier">-- Jennifer Davis,  Matthew Clark,
 Darren Cofer, Aaron Fifarek, Jacob</font>
<br><font size=2 face="Courier">Hinchman, Jonathan  Hoffman,  Brian
Hulbert, Steven  Miller  and Lucas</font>
<br><font size=2 face="Courier">Wagner</font>
<br>
<br><font size=2 face="Courier">Manager Guidelines for the Industrial Deployment
of Formal Methods</font>
<br><font size=2 face="Courier">-- Christophe Ponsard, Jean-Christophe
Deprez and Renaud De Landtsheer</font>
<br>
<br><font size=2 face="Courier">An  outline workflow  for practical
formal  verification from software</font>
<br><font size=2 face="Courier">requirements to object code</font>
<br><font size=2 face="Courier">-- Darren Sexton</font>
<br>
<br><font size=2 face="Courier">Formal  Analysis of    the
   ACE Specification for    Cache  Coherent</font>
<br><font size=2 face="Courier">Systems-on-Chip</font>
<br><font size=2 face="Courier">-- Abderahman Kriouile and Wendelin Serwe</font>
<br>
<br><font size=2 face="Courier">Specification   and Verification using
   Alloy  of Optimistic  Access</font>
<br><font size=2 face="Courier">Control for Distributed Collaborative Editors</font>
<br><font size=2 face="Courier">-- Aurel Randolph, Abdessamad Imine,  
Hanifa Boucheneb and  Alejandro</font>
<br><font size=2 face="Courier">Quintero</font>
<br>
<br>
<br><font size=2 face="Courier">Registration</font>
<br><font size=2 face="Courier">------------</font>
<br><font size=2 face="Courier">Registration proceeds via the SEFM conference</font>
<br><a href=http://madrid.nethotels.com/mice/english/sefm_2013><font size=2 face="Courier">http://madrid.nethotels.com/mice/english/sefm_2013</font></a>
<br>
<br><font size=2 face="sans-serif">------------------------------------<br>
Michael Dierkes, PhD<br>
Senior Software Engineer<br>
Rockwell Collins France<br>
+33 5 34 61 86 88<br>
------------------------------------<br>
<br>
“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.”<br>
<br>
« 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. »</font>