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

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




Student Forum

Keynote Speaker



Local Information

Hotel Reservations


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


Original Call for Contributions

Preliminary information about DSN 2005

Keynote Speaker

Dr. Leslie Lamport
Microsoft Corp.
Mountain View, CA, USA

Dr. Lamport received a doctorate in mathematics from Brandeis University, with a dissertation on singularities in analytic partial differential equations. This, together with a complete lack of education in computer science, prepared him for a career as a computer scientist at Massachusetts Computer Associates, SRI, Digital, and Compaq. He claims that it is through no fault of his that of those four corporations, only the one that was supposed to be non-profit still exists. He joined Microsoft in 2001, but that company has not yet succumbed.
Dr. Lamport's initial research in concurrent algorithms made him well-known as the author of LaTeX, a document formatting system for the ever-diminishing class of people who write formulas instead of drawing pictures. He is also known for writing  

A distributed system is one in which the failure of a computer you didn't even know existed can render your own computer unusable.

which established him as an expert on distributed systems. His greatest contribution to humanity is Lamport's Law, which states that, to a first approximation, grinding coffee beans does not change the volume that they occupy. Among his other contributions is the TLA+ specification language, which represents a Quixotic attempt to overcome engineers' antipathy towards mathematics.
Dr. Lamport has received three honorary doctorates from European universities. The IEEE is sending him to Italy to receive the Piore Award. He has not taken the hint and continues to return to his home in California.

Title of Keynote

Recent Discoveries from Paxos


The rapid decrease in the cost of computing and networks has made fault tolerance much cheaper. The gradual increase in the IQ of system designers is leading to a switch from programming hacks to provably fault-tolerant algorithms. These developments have motivated the resumption of archaeological research on Paxos. Some lower-bound theorems have recently been dug up, along with algorithms that achieve them. Rigorous examination of the hypotheses of these theorems have led to more efficient algorithms in certain interesting cases.
Great excitement has been generated by a recently discovered parchment. There are indications that it was considered very significant by the Paxons. If it can be deciphered in time, its contents will be presented.