posted by user: flamminifra || 8109 views || tracked by 17 users: [display]

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

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Computer Safety, Reliability, and Security
 
Link: http://www.safecomp2014.unifi.it
 
When Sep 10, 2014 - Sep 12, 2014
Where Florence, Italy
Abstract Registration Due Feb 25, 2014
Submission Deadline Feb 28, 2014
Notification Due May 20, 2014
Final Version Due Jun 20, 2014
Categories    reliability   safety   security   computer
 

Call For Papers

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

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)

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


Related Resources

SafeComp 2020   39th International Conference on Computer Safety, Reliability and Security
BIoT 2020   International Conference on Blockchain and Internet of Things
ISSRE 2020   The 31st International Symposium on Software Reliability Engineering
CCNET 2020   7th International Conference on Computer Networks & Communications
ICPR-IETBiom-VSaaS 2021   25th ICPR Special Issue on Real-Time Visual Surveillance as-a-Service (VSaaS) for Smart Security Solutions in IET Biometrics
IJCCSA 2020   International Journal on Cloud Computing: Services and Architecture
PRDC 2020   The 25th IEEE Pacific Rim International Symposium on Dependable Computing
CMLA 2020   2nd International Conference on Machine Learning & Applications
SRSE--Ei compendex, scopus 2020   2020 The 2nd International Conference on System Reliability and Safety Engineering (SRSE 2020)--Ei compendex, scopus
TrustCom 2020   The 19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications