Dear all,

we are organising a special session "Ensuring Safety in Industrial Critical Systems" at the IEEE INDIN Conference (www.indin2013.org) taking place on July 29-31, 2013 in Bochum (Germany). The call for papers is supplied in the attached PDF file (it is also available at the conference site).

In short:

Paper submission deadine: 28/2/2013
Notification of acceptance: 19/4/2013

Papers should have a size of at most 6 pages and be using the IEEE template.

The workshop will be focusing on (but is not limited to) the following topics:

* Approaches to the design of safe E/E systems
* Validation & verification of safety-critical systems
* Industrial case studies
* Development of certifiable E/E systems
* Tools for ensuring safe E/E systems
* Formal Methods and formalization of requirements
* Model-checking, model-based testing and test case generation

We are aware of the fact that there is only two weeks left to prepare a paper and are grateful for contributions. We are working towards a deadline extension, but it cannot be guaranteed.



Kind regards

i.A. Stefan Rieger
Innovation Management
-----------------------------------------------------------------
Dr. Stefan Rieger
R&D Manager
R&D Projects

TWT GmbH
Science & Innovation
Bernhäuser Straße 40-42
D-73765 Neuhausen
Tel.: +49 7158 1715-653
-----------------------------------------------------------------
stefan.rieger@twt-gmbh.de
http://www.twt-gmbh.de
-----------------------------------------------------------------
Geschäftsführung: Dimitrios Vartziotis, Joachim Laicher (Stv.), Frank Beutenmüller (Stv.)
Registergericht: Amtsgericht Stuttgart, HRB Nr. 212778
Umsatzsteuer: ID-Nr.: DE147841145