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

DSN At a Glance

Final Program

Tutorials

Workshops

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