AMAST Mail - October 1999
[Prev][Next][Index]

CFP: Extended Deadline for DSVV 2000


          Submission Deadline Extended to November 10, 1999!!!

                      International Workshop on 
          "DISTRIBUTED SYSTEM VALIDATION and VERIFICATION"
                             (DSVV'2000)

            http://www.iis.sinica.edu.tw/~eric/icdcs2k-dsvv/

                       Final Call For Papers
      (Proceedings to be published by IEEE Computer Society Press)
               (NOTE: page-limit changed to 8 pages)

              An International Workshop held in conjunction with
   the 20th IEEE International Conference on Distributed Computing Systems 
                             (ICDCS'2000)

                 April 10-13, 2000, Taipei, Taiwan, ROC

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:

  * 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 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 internationally by the IEEE Computer Society.

WORKSHOP ORGANIZER:
                   Dr. Pao-Ann Hsiung
                   Institute of Information Science
                   Academia Sinica
                   Taipei, TAIWAN, R.O.C.

PROGRAM COMMITTEE: (alphabetical order 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 Nunez, 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 

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 ext. 2413
Fax:               +886-2-27824814
DSVV URL:          http://www.iis.sinica.edu.tw/~eric/icdcs2k-dsvv/

For further detailed information on ICDCS'2000, please refer to the 
conference home page: http://www.cis.ohio-state.edu/~icdcs20/.
[ AMAST Mail - October 1999 | September 1999 | November 1999 | Latest Update | AMAST Mail Meta-Index | AMAST Mail 1999 | AMAST ]