From eric@iis.sinica.edu.tw Tue Jul 27 02:10:50 1999 Date: Wed, 7 Jul 1999 17:52:52 +0800 (CST) From: Pao-Ann Hsiung To: DMANET@zpr.uni-koeln.de Subject: [DMANET] CFP: Workshop on Real-Time Constraints International Workshop on "REAL-TIME CONSTRAINTS" (RTC'99) First Call For Papers http://www.iis.sinica.edu.tw/~eric/cp99-rtc/ A Post-Conference Workshop of the 5th International Conference on Principles and Practice of Constraint Programming (CP'99) October 16, 1999, Alexandra, Virginia, USA A CP'99 post-conference international workshop on REAL-TIME CONSTRAINTS is being organized at CP'99. Real-time systems and applications all require stringent timing constraints for correct operation. Such real-time constraints are often difficult to design as well as verify. Varied techniques that deal with real-time constraints have been proposed in various application domains. This workshop will try to find a consensus in the various techniques that appear in different domains related to real-time constraint specification, programming, design, validation, and verification. All topics related to real-time constraints are invited. Topics of interest include, but are not limited to, the following: - Specification of Real-Time Constraints - Formal Methods - Modeling of Real-Time Constraints - Industrial Techniques - Programming of Real-Time Constraints - Case Studies - Verification of Real-Time Constraints - IP / Virtual Components - Testing of Real-Time Constraints - Embedded Systems - Real-Time Constraint Tools - Hardware-Software Coverification WORKSHOP ORGANIZERS: Dr. Pao-Ann Hsiung and Dr. Farn Wang 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/cp99-rtc/ For further detailed information on CP'99, please refer to the conference home page: http://www.isse.gmu.edu/cp99/. ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zpr.uni-koeln.de/dmanet * **********************************************************