An international workshop on DISTRIBUTED SYSTEM VALIDATION AND VERIFICATION is being organized in conjunction with ICDCS'2000. Distributed systems have parts located in more than one location and distributed applications need to work coherently within such a system to be feasible. Such systems and applications are difficult to validate and verify. The DSVV'2000 workshop will try to assimilate all related techniques, either formal or technical, which contribute towards proving systems valid. Formal methods include queuing theory, analytic methods, model-checking, process algebra, theorem proving, term rewriting, and other logic-related techniques. Technical methods include different simulation models, testing, emulation, virtual prototyping, rapid prototyping, and other ad-hoc techniques.

In today's world of wireless and mobile networking, distributed system protocols form a major aspect of system design. Verifying such protocols is usually a formidable task. DSVV'2000 will try to uncover and integrate existing techniques and introduce new ones for distributed system protocol verification.

When both hardware and software are present in distributed systems, system validation and verification become all the more complex and challenging. Hardware-software timing coverification of distributed embedded systems is also currently a hot topic, which DSVV'2000 will try to emphasize on.

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:

1. Prepare a manuscript in either PDF or PostScript format. Manuscripts should be already in IEEE Computer Society Proceedings format: a maximum of 8 pages (A4 or letter), font size 10 pt or 11 pt, single-spaced, double-column, with the first page including paper title, author names, affiliations, e-mail addresses, a maximum 200-word abstract, and at least 5 keywords.
2. Prepare a cover letter (an ascii-text e-mail) with the paper title, the corresponding author's name, mailing address, e-mail address, and telephone/fax numbers, paper abstract, and keywords.
3. E-mail the above two to: " eric@iis.sinica.edu.tw". If electronic submission is not possible, please mail the above to the postal address at the end.
4. Important Dates:

Submission Deadline	November 10, 1999 (Extended!)
Acceptance Notification	December 7, 1999
Camera-Ready Papers	January 1, 2000

5. The workshop will span over one full day (most probably April 9, 2000) with paper presentations and group discussions. All submissions will be reviewed by at least 2 referees. Papers must not have been published previously. Only those accepted papers that are presented at the workshop will be published. Workshop proceedings will be published by the IEEE Computer Society Press. Both web publication and hard-cover copies will be made available by IEEE Computer Society.