September 22, 2000, Hilton Singapore
at the Sixth International Conference on Principles and Practice of Constraint Programming
(CP2000)
Rule-based formalisms are ubiquitous in computer science, and even more so in constraint reasoning and programming. In constraint reasoning, algorithms are often specified using inference rules, rewrite rules, sequents, proof rules or first-order axioms written as implications. Advanced programming languages like CHR, CLAIRE and ELAN allow to implement both constraint solvers and programs using constraints in a rule-based formalism.
After the first workshop on this topic at CL2000, London, this second workshop again invites papers describing ongoing work in using rule-based formalisms in constraint reasoning and programming. In particular, on specification of algorithms for solving constraints by rules and on implementations of constraint solvers and programs solving problems in a novel way using rule-based programming languages that go beyond constraint logic programming, as well as on analysis of rule-based programs and other issues related to rule-based language design and implementation.
To submit, send an email by clicking here, containing four consecutive ASCII lines with title, author(s), email(s) and WWW link directly to compressed postscript file (5-15 pages). Accepted papers will be available electronically from this web-page and may be published in hard-copy proceedings (available at the workshop).
Speakers: If you need an LCD-projector, inform Thom as soon as possible.
09.00-09.30
A Rule-Based Constraint Reasoning Approach in Visual Programming
Guijun Wang Guijun.Wang@PSS.Boeing.com
09.30-10.00
Using Typed Interfaces to Compose CHR Programs
Georg Ringwelski and Hans Schlenker
gr@first.gmd.de, hs@first.gmd.de
10.00-10.30
A Language for Experimenting with Declarative Paradigms
Slim Abdennadher
Slim.Abdennadher@informatik.uni-muenchen.de
10.30-11.00
Break.
11.00-11.30
CLAIRE Rules: From a Predicate Logic to an Event-Based Logic for Objects
Yves Caseau YCS@challenger.bouygues.fr
11.30-12.00
Testing Concurrent Reactive Systems with Constraint Logic
Programming
H. Loetzbeyer and A. Pretschner
loetzbey@in.tum.de, pretschn@in.tum.de