Forwarded message from [eric@iis.sinica.edu.tw] sent originally on Mon, 1 Nov 1999 23:20:27 +0800 (GMT-8): : 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/.
-- Wirtschaftsinformatik, FB5, Universitaet GH Essen Gustaf.Neumann@uni-essen.de, neumann@computer.org http://nestroy.wi-inf.uni-essen.de/Neumann.html