[Om-announce] SAFECOMP 2011: Call for Participation

[Francesco Flammini]

[Apologies for multiple postings]

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

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

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
********************************************************************

         *** EARLY REGISTRATION DEADLINE: JULY 20th 2011 ***

              (quick URL: http://tinyurl.com/3ke7hgk)

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

--------------------------------------------------------------------
2011 EDITION
--------------------------------------------------------------------
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.

--------------------------------------------------------------------
2011 KEY THEME
--------------------------------------------------------------------
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.

--------------------------------------------------------------------
INVITED TALKS
--------------------------------------------------------------------
This year?s edition features outstanding keynote speakers, including
Dr. Gerard J. Holzmann (NASA/JPL Laboratory for Reliable Software),
the main developer of the SPIN model-checker  
(http://en.wikipedia.org/wiki/Gerard_J._Holzmann).

--------------------------------------------------------------------
WORKSHOPS AND TUTORIALS
--------------------------------------------------------------------
Workshop and tutorials will be held as satellite events of the
conference. Workshop paper submission could be still open at the
time you are reading this column. It is worth noticing that one
outstanding tutorial will be held by professor Kishor Trivedi from
Duke University (http://people.ee.duke.edu/~kst/).

--------------------------------------------------------------------
SOCIAL PROGRAM
--------------------------------------------------------------------
Social Program includes:
* 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)

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

Given the excellent technical content, extremely attractive location
and social program, you can not miss joining us at the conference:
we look forward to meeting you in Naples!


-------------- next part --------------
A non-text attachment was scrubbed...
Name: SC\'11_logo.jpg
Type: image/jpeg
Size: 62154 bytes
Desc: not available
Url : http://openmath.org/pipermail/om-announce/attachments/20110706/3bd8f9c8/attachment-0001.jpg