TRICS'02:
Techniques foR Implementing Constraint programming Systems
Sunday, September 8th, 2002
http://www.it.kth.se/~schulte/trics2002/
Cornell University
Ithaca, NY, USA
Full-day Pre-conference Workshop of the
Eighth International Conference on
Principles and Practice of Constraint Programming
http://www.cs.cornell.edu/cp2002/
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 of such systems.
The first TRICS workshop was held in 2000 in Singapore. In 2001,
TRICS joined forces with the logic programming community,
resulting in CICLOPS 2001. After CICLOPS 2002, TRICS 2002 is
giving researchers in implementation of constraint programming
systems another opportunity to interact and discuss their results
before the conference CP 2002 at Ithaca, NY.
This workshop encourages submissions from all members of the CP
community and all people interested in the implementation of
constraint programming systems.
Possible topics of TRICS 2002 include, but are not limited to:
o software design aspects of constraint programming systems:
components, patterns, etc
o design and implementation of programming/modeling/solving
environments for constraint programming
o data structures and algorithms for constraint solving
o experiences from using systems in real-life applications
o hybrid solvers integrating methods such as local and
evolutionary search, higher levels of consistency, and standard
AI techniques
Important dates
Paper Submission deadline: July 15, 2002
Notification of acceptance/rejection: July 31, 2002
Submission procedure
Electronically submit a postscript or pdf file to
[log in to unmask]
Papers should be a maximum of 15 pages. Papers should be
formatted using the Lecture Notes in Computer Science (LNCS)
style.
Submissions should include the title of the paper, an abstract,
authors' names, addresses, and e-mail. If you have any problems
with submitting papers, please send an email to
[log in to unmask]
Proceedings will be made available during the workshop.
To ensure high quality of the workshop, at least one author of
each accepted submission must attend the workshop. All workshop
participants need to register for TRICS 2002 and must pay the CP
workshop registration fee.
Organizing Committee:
Nicolas Beldiceanu, SICS, Sweden
Pascal Brisset, ENAC, France
Mats Carlsson, SICS, Sweden
Martin Henz, NUS, Singapore
Francois Laburthe, Bouygues, France
Eric Monfroy, University of Nantes, France
Laurent Perron, ILOG, France
Christian Schulte, KTH, Sweden
