Formal Methods Europe

Homepage of FME

SAFECOMP 2011

By Bernhard Aichernig • Jan 11th, 2011 • Category: Sponsored by FME

The 30th International Conference on Computer Safety, Reliability and Security

19 / 21 September 2011 - Naples, Italy

Technically co-sponsored by IEEE Computer Society
In cooperation with ACM SIGBED and SIGSAC
http://www.safecomp2011.unina.it/

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.

SAFECOMP 2011 will be held in Naples, Italy, at the Congress Center Partenope, located on a wonderful seafront promenade, close to the historical center, best hotels and boarding points to the islands.

The 2011 edition will focus on the following key theme:
“Safety and security of computer-based systems and infrastructures: from risk assessment to threat mitigation”.

The conference proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science. Extensions of the best papers will be considered for publication in a Special Issue of the International Journal on Reliability Engineering and System Safety (RESS) published by Elsevier http://www.elsevier.com/locate/ress.

Formal Methods Europe will support this year’s SAFECOMP by sponsoring a keynote speech by Gerard J. Hozmann (NASA/JPL Laboratory for Reliable Software), the main developer of the SPIN model-checker.

Important Dates

Abstract submission: 27 February 2011

Full paper submission: 21 March 2011

Tutorial/Workshop proposal submission: 15 April 2011

Notification of acceptance: 9 May 2011

Camera-ready submission: 13 June 2011

Comments are closed.