CP98

Fourth International Conference on
Principles and Practice of Constraint Programming
Pisa, Italy, October 26-30, 1998

Workshop on
Modeling and Computing with
Concurrent Constraint Programming
Pisa, Italy, October 30, 1998

Call for Papers (closed) / About the Workshop / Accepted Papers / Programme

Description

The workshop is intended to be a forum of discussions on the practical aspects of Concurrent Constraint Programming (CCP), a simple and elegant formalism for modelling concurrent, parallel, and distributed computation. Topics covered by the workshop include:

Experiences with programming in CCP framework
Novel applications of the CCP framework
Novel implementation techniques of the CCP family of languages
Language constructs for addressing novel applications
Comparison between CCP and other programming paradigms

The workshop will consist of the presentation of accepted papers and discussions about selected topics.

Organizing committee (in alphabetical order)

Andreas Podelski (Max-Planck-Institut, podelski@mpi-sb.mpg.de)
Vijay Saraswat (AT&T, vijay@chit.saraswat.org)
Kazunori Ueda (Waseda Univ., ueda@ueda.info.waseda.ac.jp) (contact)

Accepted Papers

Closed-Form Evaluation and Abstraction for Prametric Timed Automata
Beatrice Berard and Laurent Fribourg
Paper [.ps] [.ps.gz]
An Attribute Grammar Modelling for Generating CCLP Languages
Aggelos M. Thanos and G. Papakonstantinou
Paper [.ps] [.ps.gz]
Excluding Symmetries in Concurrent Constraint Programming
Rolf Backofen and Sebastian Will
Paper [.ps] [.ps.gz]
A Simulator for Concurrent Constraint Languages
Tatyana Valkevych, David Gilbert and Alexander Letichevsky
Paper [.ps] [.ps.gz]
Modeling an AERCam: A Case Study in Modeling with Concurrent Constraint Languages
Lars Alenius and Vineet Gupta
Paper [.ps] [.ps.gz]
Efficient Logic Variables for Distributed Computing
Seif Haridi, Peter Van Roy and Per Brand
Paper [.ps] [.ps.gz]

Programme [Plain text] [PostScript]

The workshop will be held (partly) jointly with the workshop (W5) on "Set Constraints and Constraint-Based Program Analysis."

back to CP98 homepage

Last update: October 21, 1998

ueda@ueda.info.waseda.ac.jp