Dear Colleagues,
please find below the first Call for Papers for SAFECOMP'14.
Kind Regards,
Francesco Flammini
SAFECOMP'14 Publicity Chair
***********************************
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 dependable application of
computers in safety-related and safety-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
practical 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)
***********************************
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
