"http://www.iis.sinica.edu.tw/~eric/icdcs2k-dsvv/"
An International Workshop held in conjunction with
the 20th International Conference on Distributed Computing Systems
(ICDCS'2000)
April 10-13, 2000, Taipei, Taiwan, ROC.
All topics related to distributed system validation and verification are invited. Topics of interest include, but are not limited to, the following:
|
|
|
|
|
|
|
|
|
|
|
|
|
SUBMISSION OF PAPERS: To submit a paper to the workshop, please do the following:
Submission Deadline |
November 10, 1999 (Extended!) |
Acceptance Notification |
December 7, 1999 |
Camera-Ready Papers |
January 1, 2000 |
WORKSHOP ORGANIZER:
CONTACT POINT:
Postal Address
Dr. Pao-Ann Hsiung Institute of Information Science Academia Sinica No. 128, Sec. 2, Academic Road Nankang, Taipei 115, TAIWAN, R.O.C. E-mail
eric@iis.sinica.edu.tw
Telephone +886-2-27883799 Fax +886-2-27824814 URL
http://www.iis.sinica.edu.tw/~eric/icdcs2k-dsvv/