Grand Hotel, Taipei

International Workshop on

Distributed System
Validation and Verification
(DSVV'2000)

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


WHAT'S NEW???


Workshop Organizer:
Dr. Pao-Ann Hsiung
Institute of Information Science
Academia Sinica, Taiwan, R.O.C.
E-mail: pahsiung@cs.ccu.edu.tw

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