15 Years of Duration Calculus. Call for papers

[Dimitar P. Guelev]

Call for Papers

15 YEARS OF DURATION CALCULUS

22-23 September, 2007 - UNU/IIST, Macau SAR, China,
Workshop affiliated with ICTAC 2007

During the 15 years since its introduction in 1991 the Duration Calculus has
become an established formal method for the specification and verification
of real-time systems. The fitness of DC for the study of real-time systems
has been confirmed by numerous case studies. The needs of applications have
made DC a topic of intense research and brought to life several variants and
extensions of DC and the development of model-checking and automated
proof-search tools. DC is the extension of Interval Temporal Logic by
real-valued measurements of the duration of state. The connections between
DC and other formalisms for modelling various measurements over timed
behaviour remains an important area of investigation too.

PURPOSE AND SCOPE
The purpose of this workshop is to promote the study of the fundamental and
practical aspects of DC, ITL and the related formal methods and to provide a
forum for scientific exchange in the area of DC, interval temporal logics
and other related systems. Countibutions should present original unpublished
work on DC and its variants, ITLs and related formalisms. Particular topics
of the workshop include:

o modelling of system requirements in ITLs and DC
o variants and extensions of ITLs and DC and their expressive power
o non-determinism and probability in ITLs and DC
o model-checking, decision procedures and complexity
o proof systems and proof search
o interval algebras and spatio-temporal reasoning
o planning with temporal constraints
o tools, case studies and applications
o ITLs, DC and timed automata
o connections between ITLs, DC and other formal approaches to real-time
o applications to temporal representation in AI

PROGRAMME COMMITTEE:
Henning Dierks, OFFIS, Oldenburg, Germany; Catalin Dima, University of Paris
12, France;  Martin Fraenzle, Oldenburg University, Germany;  Valentin
Goranko, University of the Witwatersrand, South Africa;  Dimitar Guelev,
IMI/BAS, Bulgaria (co-chair);  Dang Van Hung, UNU-IIST, Macao (co-chair);
Yassine Lakhnech, Verimag, France; Xuandong Li, Nanjing University, China;
Angelo Montanari, University of Udine, Italy;  Ben Moszkowski, De Montfort
University, UK;  Gethin Norman, University of Birmingham, UK;  Paritosh
Pandya, TIFR, India (co-chair);  Arun K Pujari, University of Hyderabad,
India;  Alexander Rabinovich, Tel Aviv University, Israel; Anders P. Ravn,
Aalborg University, Denmark; Ji Wang, Changsha, China;  Yi Wang, Uppsala
University, Sweden; James Worrell, Oxford University Computing Laboratory,
UK; Qiwen Xu, UoM, Macao; Naijun Zhan, IoS, China

SUBMISSION GUIDELINES
You are invited to contribute a talk to the workshop. Manuscripts should be
prepared using the LaTeX style of ENTCS (available from www.entcs.org) and
submitted electronically at the workshop website, in either .ps or .pdf. The
length of submissions should not exceed 10 A4 pages, including the list of
references. Additional pages can be used for an appendix of proofs, but the
understanding of the main part should not depend on that.
At least one of the authors of accepted papers will be required to register
for the workshop and present their contribution.

PUBLICATION OF PROCEEDINGS
The workshop proceedings will be published as an issue of the ENTCS journal,
Elsevier. A preliminary version will be made available at the workshop, and
the final version will be published online.
IMPORTANT DATES
Deadline for submissions: 18 June, 2007
Notification of acceptance: 25 July, 2007
Camera-ready copy: 15 August, 2007
Provisional programme: 20 August, 2007
Final programme: 5 September, 2007
Workshop dates: 22-23 September, 2007

CORRESPONDENCE AND FURTHER INFORMATION
Send all correspondence  to the workshop organizers at:

dvh at iist.unu.edu
gelevdp at math.bas.bg
pandya at tifr.res.in

More information can be found at the workshop website:
http://www.iist.unu.edu/15yearsofDC/

Dang Van Hung, Dimitar P. Guelev, Paritosh K. Pandya