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