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.

DSVV'2000 workshop will span over one full day, April 10, 2000. There will be two invited talks by Dr. Doron Peled of Bell Labs, USA and by Dr. Jean-Pierre Jouannaud of the University of Paris, FRANCE. There will be 16 paper presentations divided into 5 interesting sessions.

1. Validation and Verification Tools
2. Formal Methods
3. Testing
4. Model Checking
5. Protocol Verification