[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-ANNOUNCE] SAFECOMP 2011: Last Call for Participation



********************************************************************
LAST CALL FOR PARTICIPATION

The 30th International Conference on Computer Safety, Reliability
and Security (SAFECOMP 2011)

19 / 22 September 2011 - Naples, Italy

http://www.safecomp2011.unina.it/

Technically co-sponsored by IEEE Computer Society and IFIP
In cooperation with ACM SIGBED and SIGSAC
********************************************************************

--------------------------------------------------------------------
ABOUT SAFECOMP
--------------------------------------------------------------------
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.

--------------------------------------------------------------------
VENUE
--------------------------------------------------------------------
SAFECOMP 2011, the 30th anniversary edition, 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.

--------------------------------------------------------------------
KEY THEME
--------------------------------------------------------------------
The 2011 edition will focus on:
Safety and security of computer-based systems and infrastructures:
from risk assessment to threat mitigation

--------------------------------------------------------------------
INVITED TALKS
--------------------------------------------------------------------

* Formal Methods Europe (FME) Invited Lecture: Software Safety and
Software Complexity, by Dr. Gerard J. HOLZMANN, Computer Science
Department, California Institute of Technology (Caltech)
and NASA Jet Propulsion Laboratory, Laboratory for Reliable Software,
Pasadena, USA
http://en.wikipedia.org/wiki/Gerard_J._Holzmann

* Security and Dependability Risks of Critical Information
Infrastructures (or why Bang! is different from Crash), by Prof.
Paulo VERISSIMO, Faculty of Sciences, University of Lisbon, Lisbon,
Portugal, http://www.di.fc.ul.pt/~pjv

* Model-based resilience assessment of critical information
infrastructures, by Prof. Andrea BONDAVALLI, Dipartimento di Sistemi
ed Informatica, University of Florence, Florence, Italy, and
ResilTech Srl, Cascina (PI), Italy
http://rcl.dsi.unifi.it/aboutus/andrea.php

--------------------------------------------------------------------
WORKSHOPS AND TUTORIALS DAY: September 22nd 2011
--------------------------------------------------------------------

* International Workshop on Security and Dependability for Resource
Constrained Embedded Systems (S&D4RCES), http://www.irit.fr/SD4RCES

* ERCIM/EWICS Cyberphysical Systems Workshop: Resilient Systems,
Robotics, Systems-of-Systems Challenges in Design, Validation &
Verification and Certification

* IEEE Computer Society Italy Chapter Sponsored Lecture: Software
Fault Tolerance in the Twenty First Century, held by Prof. Kishor
S. TRIVEDI, Hudson Professor of Electrical and Computer Engineering,
Duke University, Department of Electrical and Computer Engineering,
Durham, USA, http://people.ee.duke.edu/~kst

* Further tutorials TBC

--------------------------------------------------------------------
SOCIAL PROGRAM
--------------------------------------------------------------------
* Welcome Cocktail at the Roof Garden of the Hotel Excelsior, a
splendid building located near Castel dell'Ovo on one of the world's
most famous bay, http://www.excelsior.it
* Social Dinner at "La Bersagliera", Restaurant in Naples since 1919
and historical place of Italy, http://www.labersagliera.it
* City tour on board of red, open-top, double-decker buses by City
Sightseeing, http://www.napoli.city-sightseeing.it/eng/index.htm
* Guided tour of Castel Dell'Ovo, a castle located on the former
island of Megaride, now a peninsula, on the gulf of Naples
http://en.wikipedia.org/wiki/Castel_dell%27Ovo

--------------------------------------------------------------------
GENERAL INQUIRIES
--------------------------------------------------------------------
For more detailed and updated information, please refer to the
conference web site (www.safecomp2011.unina.it) or contact the
conference secretariat at: safecomp2011@unina.it