International Workshop on
Paper Submission Information
"http://www.iis.sinica.edu.tw/~eric/cp99-rtc/"
A Post-Conference Workshop held after
the 5th International Conference on Principles and Practice
of Constraint Programming (CP'99)
October 16, 1999, Alexandria, Virginia, USA
NEW Work-in-Progress Session (Call For Papers)
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
|
|
SUBMISSION OF PAPERS: To submit a paper to the workshop, please do the following:
- 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.
- 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.
- 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.
- Important Dates
:
Extended Submission Deadline |
September 7, 1999 |
Acceptance Notification |
September 15, 1999 |
Camera-Ready Papers |
September 25, 1999 |
Work-in-Progress Paper Submission Deadline |
September 25, 1999 |
- The workshop will span over one full day (October 16, 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
separately from the CP'99 proceedings. Both web publication and
hard-cover copies will be made available.
WORKSHOP ORGANIZERS:
Dr. Pao-Ann Hsiung and
Dr. Farn Wang
Institute of Information Science,
Academia Sinica,
Taiwan, R.O.C.
CONTACT POINT: