<span style="font-family:Times;font-size:medium"><pre style="word-wrap:break-word;white-space:pre-wrap">
====================================================================
First Call for Papers
FMICS 2012
17th International Workshop on
Formal Methods for Industrial Critical Systems
<a href="http://fmt.cs.utwente.nl/conferences/fmics2012/" target="_blank">http://fmt.cs.utwente.nl/conferences/fmics2012/</a>
August 27/28, 2012, Paris, France
Co-located with FM 2012
====================================================================
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 that 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.
Workshop Proceedings will be published in Springer's LNCS series.
--------------------------------------------------------------------
Topics of interest include (but are not limited to):
* Design, specification, code generation and testing based on
formal methods.
* Methods, techniques and tools to support automated analysis,
certification, debugging, learning, optimization and
transformation of complex, distributed, real-time systems
and embedded systems.
* Verification and validation methods that address
shortcomings of existing methods with respect to their
industrial applicability (e.g., scalability and usability
issues).
* Tools for the development of formal design descriptions.
* Case studies and experience reports on industrial
applications of formal methods, focusing on lessons learned
or identification of new research directions.
* Impact of the adoption of formal methods on the development
process and associated costs.
* Application of formal methods in standardization and
industrial forums.
--------------------------------------------------------------------
Important Dates
* Abstract submission: March 28th, 2012
* Paper submission: April 4th, 2012
* Notification: May 25th, 2012
* Final version due: June 8th, 2012
* Workshop: August 27th-28th, 2012
--------------------------------------------------------------------</pre></span><div><br></div>-- <br><div>Dr Marielle Stoelinga</div><div>Associate Professor of Risk Management for ICT</div><div>University of Twente</div>
<div><a href="http://www.cs.utwente.nl/~marielle" target="_blank">www.cs.utwente.nl/~marielle</a></div><br>