International Workshop on "REAL-TIME CONSTRAINTS"
                             (RTC'99)

                     WORK-IN-PROGRESS SESSION 
                     ^^^^^^^^^^^^^^^^^^^^^^^^
                          Call For Papers
               (SUBMISSION DEADLINE: September 25, 1999)
             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, Alexandria, 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

Work-in-Progress (WiP) papers will be published along with the regular papers
within the proceedings of RTC'99 (hard-copy as well as web publication). 
WiP papers are allowed MULTIPLE PUBLICATIONS (i.e., appearing simultaneously
in other conferences/workshops) and need not be a complete presentation.
WiP papers must be submitted in camera-ready format and once accepted
will not be given a chance for any further corrections to the initial
submissions. One of the authors of WiP papers must attend the workshop
for presentation (Workshop Registration Fee is only US$90).

SUBMISSION OF WORK-IN-PROGRESS SESSION PAPERS: 
To submit a Work-In-Progress paper to the workshop, please do the following:
(1) Prepare a manuscript in either PDF or PostScript format. Manuscripts 
    should be already in camera-ready format: a maximum of 6 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.
    Please indicate your paper is for Work-in-Progress Session of RTC'99.
(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:      September 25, 1999      (FIRM!!!)
    Acceptance Notification:  September 30, 1999
    Camera-Ready Papers:      Same as initial submission
(5) The workshop will span over one full day (October 16, 1999) 
    with paper presentations and group discussions.
    Both web publication and hard-cover copies will be made available
    for RTC'99 proceedings. WiP papers will be published along with
    regular papers within the proceedings. Multiple appearances of WiP
    papers (i.e., appearing in other conferences/workshops) are allowed.
    Presentations need not be complete, but at least should be an
    extended abstract.

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/

PROGRAM COMMITTEE:
   *  Kamel Barkaoui, CNAM, FRANCE. 
   *  Daniel Gaffe, CNRS and Univ. of Nice, FRANCE
   *  Pao-Ann Hsiung, Academia Sinica, Taiwan, R.O.C. 
   *  Tei-Wei Kuo, National Chung Cheng University, Taiwan, R.O.C. 
   *  Jeong-Hyun Park, ETRI, KOREA. 
   *  LihChyun Shu, Chang Jung University, Taiwan, R.O.C. 
   *  Farn Wang, Academia Sinica, Taiwan, R.O.C. 
   *  Stephen J.H. Yang, National Central University, Taiwan, R.O.C. 

For further detailed information on CP'99, please refer to the 
conference home page: http://www.isse.gmu.edu/cp99/.