ESSLLI-98 Workshop on
Duration Calculus:
A Logical Approach to Real-Time Systems
August 24-28, 1998


A workshop held as part of the
10th European Summer School in Logic, Language and Information
(ESSLLI-98)
August 17-28, 1998, Saarbrücken, Germany

FIRST CALL FOR PAPERS


ORGANIZER
Michael R. Hansen (Technical University of Denmark)
BACKGROUND
Duration Calculus was introduced in 1991 by Zhou Chaochen, C.A.R. Hoare and A.P. Ravn as a logical formalism for the formal design of real-time systems. Duration Calculus has been applied to many case studies and has, for instance, been used to specify hybrid systems containing both analogue and discrete components.

Duration Calculus is an interval logic, where real numbers are used to model time, and Boolean valued functions over time are used to model states and events of real-time systems.
TOPICS
Any contribution relating to Duration Calculus and Interval Logic is welcomed. Topics include (but are not limited to): One purpose of the workshop is to provide a forum for young researchers and Ph.D. students to present and discuss their work. Therefore, submissions of work in progress as well as of more polished work will be appreciated.
SUBMISSIONS
Researchers in the area, particularly young researchers and Ph.D. students, are encouraged to submit extended abstracts not exceeding 5 pages no later than February 15, 1998. Electronic submissions of abstracts are solicited. Submissions must be mailed to:
Michael R. Hansen
Department of Information Technology, Building 344
Technical University of Denmark
DK-2800 Lyngby
Denmark
Email: mrh@it.dtu.dk
http://www.it.dtu.dk/~mrh
WORKSHOP FORMAT:
The workshop, which is part of the computation section of ESSLLI98, will consist of five sessions of 90 minutes each, held over five days. The workshop will contain an introduction to Duration Calculus, an invited talk by a senior researcher in the field, and presentations of research contributions.
REGISTRATION:
It is required that workshop contributors register for ESSLLI-98, but they will be eligible for a reduced registration fee.
IMPORTANT DATES:
Deadline for submissionsFeb 15, 1998
Notification of acceptanceApr 15, 1998
Deadline for final copyMay 15, 1998
WorkshopAug 24-28, 1998
FURTHER INFORMATION:
To obtain further information about ESSLLI-98, please visit the ESSLLI-98 home page at http://www.coli.uni-sb.de/esslli.

A list of the workshops of ESSLLI-98 is found here.