Cari Colleghi,
 
desidero informarvi dell’apertura delle registrazioni al convegno SAFECOMP 2011,
sponsorizzato dal capitolo italiano dell'IEEE Computer Society.
 
Ulteriori informazioni sui costi e sulla procedura di registrazione sono
disponibili al seguente link:
 
http://tinyurl.com/3ke7hgk
 
E’ ora disponibile il programma del convegno (http://tinyurl.com/3zv7svb) e la
lista delle sessioni plenarie (http://tinyurl.com/6g6xj4e), in cui figurano
relatori eccellenti, tra cui è sufficiente citare Gerard Holzmann (NASA), il
“padre” del famoso model-checker SPIN
(http://en.wikipedia.org/wiki/Gerard_J._Holzmann).
 
Segnaliamo inoltre la possibilità di partecipare ad uno o più seminari
(http://tinyurl.com/3q5lyct) o workshop (http://tinyurl.com/3j9kzxs) che sono
stati pianificati come eventi satellite del convegno.
 
Vale la pena sottolineare che uno dei seminari, previsto per il 22 Settembre
pomeriggio e tenuto dall’esimio professor Kishor Trivedi della Duke University
(http://people.ee.duke.edu/~kst/), può essere seguito gratuitamente dai membri
della IEEE Computer Society, per cui siete caldamente invitati a partecipare,
muniti del vostro tesserino IEEE valido per l'anno 2011.
 
Qualora la vostra azienda fosse interessata in opportunità di
sponsorizzazione/esibizione, esistono diversi pacchetti disponibili
(http://tinyurl.com/63x9y77).
 
Infine, per facilitare la disseminazione di informazioni di natura non tecnica
(es. informazioni turistiche, dettagli sugli eventi sociali, ecc.), è stato
creato un apposito evento Facebook (http://tinyurl.com/68t4bjk), aperto alle
discussioni da parte di tutti i partecipanti.
 
Non esitate a contattare la segreteria del convegno (safecomp2011@unina.it)
qualora aveste bisogno di ulteriori informazioni o supporto tecnico.
 
Spero di incontrarvi presto a Napoli!
 
Cordiali saluti,
 
Francesco Flammini 
SAFECOMP'11, IPC Co-Chair

 

 

[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 20^th 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 30^th anniversary edition, will be held inNaples,

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

DukeUniversity(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 inNaplessince 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@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 inNaples!