The CP97 Workshop
CONCURRENT CONSTRAINT PROGRAMMING FOR TIME-CRITICAL APPLICATIONS
(COTIC)
***************************CALL FOR
PARTICIPATION*******************************
Scope of the workshop:
~~~~~~~~~~~~~~~~~~~~~
Many applications in, for example, robotics, worldwide information
networks, decision support systems, distributed multimedia computing
and deductive temporal databases have time-critical aspects.
Programming concepts related to time have been mainly developed in the
context of imperative programming. However, recently several
extensions of declarative languages, and in particular of constraint
languages, have been proposed in order to deal with the difficulties
of time-critical applications. In fact, some of these difficulties can
be better resolved within a framework which facilitates the transition
from specifications to programs, supports rapid prototyping, allows
simple methodologies for program correctness and admits simple
concurrent extensions.
The aim of this workshop is to discuss any aspect of
time-critical computations within the paradigm of (concurrent) logic
and constraint programming including: Language design, implementation,
hybrid systems, temporal deductive databases, semantic models,
specification, verification and analysis methods, constraint domains
and solvers for temporal reasoning, temporal aspects of internet and
multimedia computing, applications.
The workshop is organized in conjunction with the
Third International Conference on Principles and Practice
of
Constraint Programming
(CP97, Schloss Hagenberg, Austria, October 29 - November 1, 1997: see
http://www.mpi-sb.mpg.de/conferences/CP97/cp97CFP.html).
The workshop is supported by the ESPRIT Working Group COTIC
(concurrent constraint programming for time critical applications: see
http://www.cs.ruu.nl/people/frankb/www.dvi) and will be held together
with the first meeting of the Working Group.
Below you will find the program of the COTIC workshop.
Further information on registration and hotel reservation can be found
at the CP97 WWW page (http://www.mpi-sb.mpg.de/conferences/CP97).
Looking forward seeing you at COTIC,
Frank de Boer and Maurizio Gabbrielli (organizers)
***************************The COTIC Program***********************************
Monday 27 October
Session I
14.00 -- 15.00: V. Saraswat (invited talk): Title to be announced.
15.00 -- 15.30: F.S. de Boer, M. Gabbrielli and M.C. Meo.
Modelling real-time in concurrent constraint programming.
15.30 -- 16.00: Break.
Session II
16.00 -- 16.30: K.R. Apt.
The Essence of Constraint Propagation.
16.30 -- 17.00: A. Maggiolo-Schettini.
Developing timed specifications by retiming techniques.
17.00 -- 17.30: A. King.
Analysis of constraint logic programs with dynamic scheduling.
Tuesday 28 October
Session III
09.00 -- 10.00: T. Arts (Ericsson): Erlang and its applications.
10.00 -- 10.30: L. Monteiro. A synchronous TAO.
10.30 -- 11.00: Break.
Session IV
11.00 -- 11.30: Lubos Brim, David Gilbert, Jean-Marie Jacquet
and Mojmir Kretinsky.
Temporal Synchronous Concurrent Constraint Programming.
11.30 -- 12.00: A. Merceron and G. Michele Pinna.
Refinement and Modular Verification.
12.00 -- 14.00: Lunch.
Session V
14.00 -- 14.30: Alessandra Di Pierro and Herbert Wiklicky.
Probabilistic constraint programming.
14.30 -- 15.00: M. Fromherz and J. Conley.
Issues in Reactive Constraint Solving.
15.00 -- 15.30: Break.
Session VI
15.30 -- 16.00 T. Sjoland.
SICS's perspective on timed concurrent constraint programming.
16.00 -- 16.30: E. de Jong (Holland Signaal).
Time-critical applications at Signaal.
16.30 -- 17.00: S. Etalle. To be announced.
