Monday, June 18

8:00 Registration

8:30 
Tutorial A - Creating Strategy and Tactics in Cyberspace (cancelled) 
Tutorial B - Survivability of Telecommunications Systems: Concepts, Architectures and Analysis

12:30 lunch

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

18:00 Welcome reception in Palazzo dei Congressi
20:30

Tuesday, June 29

7:30 Registration

8:00 
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)

8:45 
IEEE Emanuel Piore Award ceremony presented by the President of IEEE
Dr. Arthur W. Winston to Dr. Leslie Lamport

9:00 
Keynote Speech by Dr. Leslie Lamport: Recent Discoveries from Paxos

10:00 break 

10:30 
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 

10:00 lunch 

13: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 Break

16.00 
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 break

18.00 
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
Networks

19.30	Cocktail in Palazzo dei Congressi
20:30


Wednesday, June 30

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

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

14.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 
Reception in Palazzo Vecchio and Visit to Corridoio Vasariano

20.00 
Buffet Dinner in Cortile dell'Ammannati in Palazzo Pitti

21.30 
Final Rehearsal of "Il Viaggio a Reims" of Gioacchino Rossini
in Cortile della Meridiana in Palazzo Pitti


Thursday, July 1


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

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

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

16.45 
Business Meeting: IEEE Technical Committee on Fault-Tolerant Computing


Retranscription to pure text by Jean-Philippe Martin


Thanks to the following Institutions
that provided generous support for publicity

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