Grand Hotel, Taipei

International Workshop on

Distributed System
Validation and Verification

In conjunction with 20th International Conference on Distributed Computing Systems (ICDCS'2000)

The Grand Hotel, Taipei , Taiwan, ROC
DSVV Workshop: April 10, 2000
ICDCS'2000: April 11 - 13, 2000


Workshop Organizer:
Dr. Pao-Ann Hsiung
Institute of Information Science
Academia Sinica, Taiwan, R.O.C.

Program Committee: Click Here!
Information related to the ICDCS'2000 conference is at the

ICDCS'2000 Home Page

Chiang Kai-Shek's Memorial Hall Taipei Sun Yat-Sen's Memorial Hall