International Workshop on

Distributed System Validation & Verification
Paper Submission Information

Submission Deadline Extended to November 10, 1999!!!

"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:

  • Specification/Modeling Techniques
  • Formal Methods
  • Simulation Techniques
  • Industrial Techniques
  • Testing Techniques
  • Case Studies
  • Verification Techniques
  • IP / Virtual Components
  • Validation Tools
  • Embedded Systems
  • Verification Tools
  • Hardware-Software Coverification
  • 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 Press 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:
    5. Submission Deadline

      November 10, 1999 (Extended!)

      Acceptance Notification

      December 7, 1999

      Camera-Ready Papers

      January 1, 2000

    6. The workshop will span over one full day (most probably April 9, 1999) 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 IEEE Computer Society Press. Both web publication and hard-cover copies will be made available internationally by IEEE Computer Society.

    WORKSHOP ORGANIZER:

    Dr. Pao-Ann Hsiung
    Institute of Information Science, Academia Sinica, Taiwan, R.O.C.

    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/