Sixth Berkeley Workshop on Distributed Data Management & Computer Networks

Ninth ACM Symposium on Operating Systems Principles

Second Symposium on Principles of Distributed Computing

Third Symposium on Principles of Distributed Computing

Thirteenth Symposium on Principles of Programming Languages

Asilomar Workshop on Fault Tolerant Distributed Computing

Sixth Symposium on Principles of Distributed Computing (chairman)

Seventeenth Symposium on Fault-tolerant Computing

Formal Techniques in Real-time and Fault-tolerant Systems

Ninth Real-time Systems Symposium

Twelfth ACM Symposium on Operating Systems Principles

Fourth ACM SIGOPS European Workshop (Fault-tolerance Support in Distributed Systems)

ACM SIGSOFT '91: Software for Critical Systems

1992 Symposium on Formal Techniques in Real-Time and Fault-tolerant Systems

Third IFIP Working Conference on Dependable Computing for Critical Applications

IFIP Working Conference, Programming Concepts, Methods and Calculi

3rd International School and Symposium on Formal Techniques in Real-time and Fault-tolerant Systems

3rd International Conference on the Mathematics of Program Construction

4th International Workshop On Responsive Computer Systems

Workshop on Composability of Fault-resilient real-time systems

Fifth IFIP Working Conference on Dependable Computing for Critical Applications

Sixteenth IEEE International Real-Time Systems Symposium

DIMACS Workshop on Verification and Control of Hybrid Systems

4th International School and Symposium on Formal Techniques in Real-time and Fault-tolerant Systems

ACM SIGSOFT '96: Fourth Symposium on the Foundations of Software Engineering

IFIP Working Conference on Programming Concepts and Methods (PROCOMET '98)

12th IEEE Computer Security Foundations Workshop

First International Symposium on Agent Systems and Applications (ASA'99)

17th ACM Symposium on Operating Systems Principles (17 SOSP)

NORDSEC 2000 Fifth Nordic Workshop on Secure IT Systems---Encouraging Co-operation

Third Information Survivability Workshop (ISW-2000)

Fourth Information Survivability Workshop (ISW-2001)

10th USENIX Security Symposium

2002 IEEE Symposiun on Security and Privacy

DISCEX III

DSN 2002 Workshop on Intrustion Tolerant Systems

10th Colloquium for Information Systems Security Education