Workshop Organizer

Dr. Pao-Ann Hsiung

Institute of Information Science, Academia Sinica

Taipei, Taiwan, Republic of China.

Program Committee
(alphabetically ordered by last names)

• Rajeev Alur, University of Pennsylvania, USA
• Brian Bailey, Mentor Graphics Corp., USA
• Nikil Dutt, University of California at Irvine, USA.
• Thomas Henzinger, University of California at Berkeley, USA
• Pao-Ann Hsiung, Academia Sinica, Taiwan, ROC
• Jean-Pierre Jouannaud , University of Paris, FRANCE
• Joost-Pieter Katoen, University of Twente, the NETHERLANDS
• Kim G. Larsen, Aalborg University, DENMARK
• Marios Mavronicolas, University of Cyprus, CYPRUS
• Pedro Merino, University of Malaga, SPAIN
• Manuel Núñez, Universidad Complutense de Madrid, SPAIN
• Doron Peled, Bell Labs and Technion, USA
• Neeraj Suri, Chalmers University, SWEDEN
• Kuo-Chung Tai, North Carolina State University, USA
• Stavros Tripakis, University of California at Berkeley, USA
• Farn Wang, Academia Sinica, Taiwan, ROC
• Wayne Wolf, Princeton University, USA
• Laurence Tianruo Yang, St. Francis Xavier University, CANADA
• Hsu-Chun Yen, National Taiwan University, ROC
• Sergio Yovine, VERIMAG, FRANCE

DSVV'2000 Program Committee is currently in the process of being formed. We plan to make this an annual event, if possible. Those interested to serve on DSVV'2000 Technical Program Committee are requested to e-mail a copy of your biography and contact information to DSVV'2000 Organizer.