SAFECOMP'14 Final Call For Papers

[Francesco Flammini]

Dear Colleagues,

please find below the final Call for Papers for SAFECOMP'14.

Kind Regards,

Francesco Flammini

SAFECOMP'14 Publicity Chair


[APOLOGIES FOR MULTIPLE POSTINGS]
***********************************

SAFECOMP'14 - CALL FOR PAPERS

The 33rd International Conference on Computer Safety, Reliability and Security

10-12 September 2014, Florence, Italy

http://www.safecomp2014.unifi.it/

Co-located with EPEW, FMICS, FORMATS and QEST

http://www.florence2014.org


SCOPE

Since it was established in 1979 by the European Workshop on  
Industrial Computer Systems, Technical Committee 7 on Reliability,  
Safety and Security (EWICS TC7), SAFECOMP has contributed to the  
progress of the state-of-the-art in de­pendable application of  
computers in safety-related and safe­ty-critical systems.

SAFECOMP is an annual event covering the state-of-the- art, experience  
and new trends in the areas of safety, security and reliability of  
critical computer applications. SAFECOMP provides ample opportunity to  
exchange insights and experience on emerging methods, approaches and  
prac­tical solutions. It is a one-stream conference without parallel  
sessions, allowing easy networking.


2014 KEY THEME

Safety in presence of evolution: design,  assessment and certification methods


TOPICS

The conference covers all aspects related to the development,  
assessment, operation and maintenance of safety critical systems.  
Topics include, but are not limited to:

     Fault tolerant architectures and mechanisms
     Monitoring and fault prediction infrastructures
     Risk reduction and mitigation techniques
     Security and privacy protection mechanisms
     Cyber-physical threats and vulnerability analysis
     Model-based and experimental assessment of safety, reliability  
and security
     Validation and verification methodologies and tools
     Human and social aspects in safety-critical systems design and analysis
     Methods for qualification, assurance and certification
     Safety and security interactions and trade-offs
     Safety and security cases
     Safety guidelines, standards and certification

Domains of application are (but not limited to):

     Railways, automotive, aerospace and avionics
     Telecommunications and networks
     Critical infrastructures, smart grids, SCADA
     Medical devices and healthcare
     Defence, emergency & rescue
     Logistics, production automation and robotics
     Education & training


PAPER SUBMISSION

SAFECOMP aims at providing a forum for bringing academic research and  
industrial needs together. Therefore, we solicit two types of papers  
to be published in the main proceedings of the conference: i) Regular  
papers (up to 16 pages), ii) Reports on Practical Experience and Tools  
(up to 12 pages). Submitted papers must not have been previously  
published nor be currently submitted elsewhere. They will be reviewed  
by at least three program committee members.

Further opportunities to contribute to the conference are offered to  
academics and practitioners, junior and senior researchers, by means  
of Fast abstracts, Work in progress or Student papers (up to 2 pages).

Please refer to Springer Author Guidelines for detailed instructions  
on how to format your paper.


CONFERENCE PROCEEDINGS AND SPECIAL ISSUE

All accepted regular papers, reports on practical experience and tools  
will be published by Springer in the Lecture Notes in Computer Science  
series. Also, extended versions of the best papers will be considered  
for publication in a special issue of a safety related international  
journal.


IMPORTANT DATES

Workshop proposal submission:  16 February 2014

Abstract submission: 25 February 2014

Full paper submission: 28 February 2014

Notification of acceptance: 20 May 2014

Camera-ready submission: 20 June 2014


COMMITTEE

EWICS TC7 Chair
Francesca Saglietti (Univ. of Erlangen-Nuremberg, DE)

General Chair
Andrea Bondavalli (Univ. of Florence, IT)

Program Co-Chairs
Andrea Bondavalli (Univ. of Florence, IT)
Felicita Di Giandomenico (ISTI-CNR, IT)

Worshop and Tutorial Chair
Frank Ortmeier (Otto -v.-Guericke-Univ. Magdeburg, DE)

Industry-Liaison Chair
Michael Paulitch (EADS IW, DE)

Finance Chair
Ettore Ricciardi (ISTI-CNR, IT)

Publication Chair
Andrea Ceccarelli (Univ. of Florence, IT)

Publicity Chair
Francesco Flammini (Ansaldo STS, IT)

Local Organizing Chair
Paolo Lollini (Univ. of Florence, IT)

International Program Committee
Anderson, S.    (UK)      Koornneef, F.   (NL)
Bitsch, F.      (DE)      Lami, G.        (IT)
Bloomfield, R.  (UK)      Linsdkov Hansen, S.(DK)
Bologna, S.     (IT)      Lyu, M.         (HK)
Bondavalli, A.  (IT)      Majzik, I.      (HU)
Braband, J.     (DE)      Martinelli, F.  (IT)
Brancati, F.    (IT)      Masci, P.       (UK)
Cotroneo, D.    (IT)      Mattiello, F.   (BR)
Cukic, B.       (US)      Mazzini, S.     (IT)
D'Antonio, S.   (IT)      Neves, N.       (PT)
Daniel, P.      (UK)      Nordland, O.    (NO)
Di Giandomenico, F.(IT)   Ortmeier, F.    (DE)
Driscoll, K.    (US)      Paulitsch, M.   (DE)
Ehrenberger, W. (DE)      Romanovsky, A.  (UK)
Felici, M.      (UK)      Rushby, J.      (US)
Flammini, F.    (IT)      Saglietti, F.   (DE)
Gallina, B.     (SV)      Schmitz, C.     (CH)
Gorski, J.      (PL)      Schoitsch, E.   (AT)
Guiochet, J.    (FR)      Seguin, C.      (FR)
Kaaniche, M.    (FR)      Silva, N.       (PT)
Kanekawa, N.    (JP)      Skavhaug, A.    (NO)
Kanoun, K.      (FR)      Steiner, W.     (AT)
Karlsson, J.    (SV)      Sujan, M.       (UK)
Knight, J.      (US)      Troubitsyna, E. (FI)
Koopman, P.     (US)      Tsuchiya, T.    (JP)

***********************************