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 (la pre-registrazione è comunque obbligatoria).
Qualora la vostra azienda fosse interessata in opportunità di sponsorizzazione/esibizione, esistono diversi pacchetti disponibili (http://tinyurl.com/63×9y77).
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
IEEE CS Italy Chapter, Vice-Chair