Forwarded message from [sicstus-users@sics.se ] sent originally on Tue, 30 May 2000 10:39:52 +0200: : [Sorry for multiple copies] : : 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/ : : SECOND 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 François Laburthe : FLABURTH@challenger.bouygues.fr. : : Organization : : Nicolas Beldiceanu SICS : Warwick Harvey IC-Parc : Martin Henz National University of Singapore : François Laburthe Bouygues : Eric Monfroy CWI : Tobias Müller Universität des Saarlandes : Laurent Perron ILOG : Christian Schulte Universität des Saarlandes : : -- : Christian Schulte, http://www.ps.uni-sb.de/~schulte/
-- Wirtschaftsinformatik, FB5, Universitaet GH Essen Gustaf.Neumann@uni-essen.de, neumann@computer.org http://nestroy.wi-inf.uni-essen.de/Neumann.html