From: Christian Schulte
Subject: CFP: TRICS: Techniques foR Implementing Constraint programming Systems
Date:
Message-ID: <8cjc7c$oek$1@mulga.cs.mu.OZ.AU>
TRICS: Techniques foR Implementing Constraint programming Systems
Workshop in conjunction with CP 2000
September 22, 2000, Singapore
http://www.comp.nus.edu.sg/~cp2000/trics/
CALL FOR PAPERS
Constraint programming systems are software systems that support
the modeling and solving of problems using constraint
programming. Such systems include constraint programming
libraries and runtime systems for constraint programming
languages. The constraints handled by these systems range over a
variety of domains: integers, booleans, sets, trees, etc. The
workshop will focus on implementation issues for such systems.
Semantic issues of constraint programming systems are well
covered by publications. Unfortunately, there are few
publications on implementational aspects of constraint
programming. This makes it unnecessarily hard for researchers to
design and implement innovative constraint programming
systems. This workshop addresses this problem by inviting both
papers that indicate new techniques and directions and papers
that clearly present established but unpublished "folklore"
techniques.
Possible topics for workshop contributions include, but are not
limited to:
+ libraries, programming languages and modeling languages,
rapid application development tools; solver coordination
mechanisms; APIs/low-level interfaces; support for objects,
threads, concurrency
+ compositionality; impact of using implementation language
features such as objects, higher-order functions and threads;
reuse across systems
+ memory management (trailing vs copying); constraint store
management (addition, removal and simplification of
constraints); scheduling of propagation events; hybrid
algorithm configuration and monitoring
The workshop is held in conjunction with CP 2000, the Sixth
International Conference on Principles and Practice of Constraint
Programming
http://www.comp.nus.edu.sg/~cp2000/
Important dates
Submission of contribution June 15, 2000
Notification of acceptance July 15, 2000
Final versions for proceedings September 1, 2000
CP Conference September 18 - 22, 2000
TRICS Workshop September 22, 2000
Contributions
Contributions to the workshop can include but are not limited to
paper presentations, poster presentations, computer
demonstrations and discussion themes. Please email a write-up of
your contribution (no more than 15 pages) in Postscript together
with your preferred form of presentation to Francois Laburthe
<········@challenger.bouygues.fr>.
Organization
Nicolas Beldiceanu SICS
Warwick Harvey IC-Parc
Martin Henz National University of Singapore
Francois Laburthe Bouygues
Eric Monfroy CWI
Tobias Muller Universitat des Saarlandes
Laurent Perron ILOG
Christian Schulte Universitat des Saarlandes
--
Christian Schulte, http://www.ps.uni-sb.de/~schulte/
[ comp.ai is moderated. To submit, just post and be patient, or if ]
[ that fails mail your article to <·······@moderators.isc.org>, and ]
[ ask your news administrator to fix the problems with your system. ]