[mercury-users] CfP: 2nd Workshop Rule-Based Constraint Reasoning and Programmingat CP2000

[Thom Fruehwirth]

Second Workshop on Rule-Based Constraint Reasoning and Programming
http://www.informatik.uni-muenchen.de/~fruehwir/cp2000r.html

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.

Organisation

      Slim Abdennadher
      Yves Caseau 
      Thom Frühwirth
      Joxan Jaffar 
      Helene Kirchner 
      Eric Monfroy

Important Dates

      July 1, 2000: Paper submissions
      August 1, 2000: Acceptance decisions
      September 1, 2000: Final version due
      September 22, 2000: Workshop at CP2000

For submission details etc. go to 
http://www.informatik.uni-muenchen.de/~fruehwir/cp2000r.html
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------