[DSN logo] The International Conference on
Dependable Systems and Networks


DSN-2004
The International Conference on Dependable Systems and Networks
Palazzo dei Congressi, Florence, Italy, June 28 - July 1, 2004 

Conference Home

DSN At a Glance

Final Program

Tutorials

Workshops

FastAbstracts

Student Forum

Keynote Speaker

Registration

Venue

Local Information

Hotel Reservations

News

Registration Desk at DSN 2004 will be open on June 28 during the entire afternoon and the Welcome Reception. We strongly suggest that attendees register on June 28, and only latecomers use June 29 from 7.30 to 8.00.
The Opening Session will start on June 29 at 8.00 sharp

Angelo Marino of EU will present during the Business Meeting the latest information on IST Programme and on the cooperation with NSF

Tutorial A "Creating Strategy and Tactics Cyberspace " and Tutorial C "Distributed Denial of Service Attacks Background, Diagnosis and Mitigation" have been cancelled all, other three Tutorials are confirmed

Dr. Leslie Lamport Keynote Speaker at DSN 2004

Student Grants

Committees

Original Call for Contributions

Preliminary information about DSN 2005

 

Conference at a Glance

Monday, June 28

08.00
08.30

Registration
08.30
12.30

Tutorial A - Creating Strategy and Tactics in Cyberspace
Tutorial B - Survivability of Telecommunications Systems: Concepts, Architectures and Analysis
12.30
14.00

Lunch
14.00
18.00

Tutorial C - Distributed Denial of Services Attacks: Background, Diagnosis and Mitigation
Tutorial D - Avionics Architecture Description Language (AADL)
Tutorial E - Detecting Crash Failures in Asyncronous Distributed Systems: What? Why? How?
18.00
20.30

Welcome Reception in Palazzo dei Congressi

Tuesday, June 29

07.30
08.00
Registration
08.00
08.45
Welcome to DSN 2004 (Includes Welcome from the General Chair and Conference Coordinator, Welcome from local Authorities, presentations of DCCS PC Chair and of PDS PC Co-Chairs, presentation of Carter Award, presentation of the students who have received Student Grants)
08.45
09.00
IEEE Emanuel Piore Award ceremony presented by the President of IEEE Dr. Arthur W. Winston to Dr. Leslie Lamport
09.00
10.00
Keynote Speech by Dr. Leslie Lamport: Recent Discoveries from Paxos
10.00
10.30
Break
10.30
12.00
Session 1A (DCCS)
Overlay Networks
Session 1B (DCCS)
Fault Tolerance Hardware Design
Session 1C (PDS)
Fault Trees & Modelling
Session 1D (IA)
Workshop on Interdisciplinary Approaches
Session 1E (DIWANS)
Workshop on Wireless Ad Hoc Networks and Sensor Networks
12.00
13.30
Lunch
13.30
15.30
Session 2A (DCCS)
Security Attacks
Session 2B (DCCS)
Coding Techniques
Session 2C (FA)
Fast Abstracts
Session 2D (IA)
Workshop on Interdisciplinary Approaches
Session 2E (DIWANS)
Workshop on Wireless Ad Hoc Networks and Sensor Networks
15.30
16.00
Break
16.00
17.30
Session DCCS (DCCS)
Emerging Technologies
Session 3B (DCCS)
Formal Methods
Session 3C (PDS)
Practical Experiences on Dependability and Performance Assessment
Session 3D (IA)
Workshop on Interdisciplinary Approaches
Session 3E (DIWANS)
Workshop on Wireless Ad Hoc Networks and Sensor Networks
17.30
18.00
Break
18.00
19.30
Sessions 4A (Panel): Will Soft Errors Precipitate the End of Moore's Law? Session 4D (IA)
Workshop on Interdisciplinary Approaches
Session 4E (DIWANS)
Workshop on Wireless Ad Hoc Networks and Sensor Ne tworks
19.30
20.30
Cocktail in Palazzo dei Congressi

Wednesday, June 30

08.30
10.30

Session 5A (DCCS)
Broadcast & Multicast
Session 5B (DCCS)
Dependability Assessment
Session 5C (PDS)
Model Checking
Session 5D (ADS)
Workshop on Architecting Dependable Systems
Session 5E (FTDC)
Workshop on Fault Diagnosis and Tolerance in Cryptography
10.30
11.00
Break
11.00
13.00
Session 6A (DCCS)
Distributed Algorithms
Session 6B (FA)
Fast Abstracts
Session 6C (PDS)
QoS and Performance Evaluation
Session 6D (ADS)
Workshop on Architecting Dependable Systems
Session 6E (FTDC)
Workshop on Fault Diagnosis and Tolerance in Cryptography
13.00
14.30
Lunch
14.30
16.30
Session 7A (DCCS)
Embedded & Real-Time Systems
Session 7B (DCCS)
Practical Experiences of Evaluation Tools & Methods
Session 7C (PDS)
Sensor Networks
Session 7D (ADS)
Workshop on Architecting Dependable Systems
Session 7E (FTDC)
Workshop on Fault Diagnosis and Tolerance in Cryptography
17.00
20.00

Reception in Palazzo Vecchio and Visit to Corridoio Vasariano
20.00
21.30
Buffet Dinner in Cortile dell’Ammannati in Palazzo Pitti
21.30
23.30
Final Rehearsal of "Il Viaggio a Reims" of Gioacchino Rossini in Cortile della Meridiana in Palazzo Pitti

Thursday, July 1

08.30
10.30


Session 8A (DCCS)
Intrusion Detection & Intrusion Tolerance
Session 8B (DCCS)
Fault-Tolerant Rounting
Session 8C (PDS)
Evaluation Theory
Session 8D (AC)
Workshop on Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities
Session 8E (SF)
Student Forum
10.30
11.00
Break
11.00
13.00
Session 9A (DCCS)
Dissemination & Diffusion
Session 9B (DCCS)
Practical Experiences in Fault-Tolerance & Real-Time
Session 9C (PDS)
Dependability Benchmarking
Session 9D (AC)
Workshop on Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities
Session 9E (SF)
Student Forum
13.00
14.30
Lunch
14.30
16.30
Session 10A (DCCS)
Support for Security & Dependability
Session 10B (DCCS)
Mobility & Wireless Systems
Session 10C (FA)
Fast Abstracts
Session 10D (AC)
Workshop on Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities
Session 10E (SF)
Student Forum
16.30
16.45
Break
16.45
18.00
Business Meeting: IEEE Technical Committee on Fault-Tolerant Computing


Thanks to the following Institutions
that provided generous support for publicity

[LASIGE logo] LaSIGE - Large-Scale Informatics Systems Laboratory, University of Lisbon, Portugal
[CSR logo] CSR - Centre for Software Reliability, Newcastle upon Tyne, UK
[LAAS logo] LAAS-CNRS, Toulouse, France
[ARC logo] ARC, Seiberdorf, Austria
[OCG logo] OCG - Austrian Computer Society, Austria
[EWICS logo] EWICS TC7
[ERCIM logo] ERCIM
[IC logo] IC - Institute of Computing, State University of Campinas, Brazil
[SEI logo] SEI - CMU, Pittsburgh, USA
[RCAST logo] RCAST - Research Center for Advanced Science and Technology, Univ. of Tokyo, Japan
[WATERLOO logo] School of Computer Science, University of Waterloo, Canada
[ISTI logo] Istituto di Scienza e Tecnologie dell’Informazione, Pisa, Italy