Final CfP: 2nd Workshop on Rule-Based Constraint Reasoning and Programming 
Author Message
 Final CfP: 2nd Workshop on Rule-Based Constraint Reasoning and Programming

FINAL CALL FOR PAPERS

Second Workshop on Rule-Based Constraint Reasoning and Programming
http://www.*-*-*.com/ ~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.

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 may be
published in hard-copy proceedings (available at the workshop) and in
electronic form at the Computing Research Repository (CoRR).

Organisation

      Slim Abdennadher
      Yves Caseau
      Francois Fages
      Thom Frhwirth
      Joxan Jaffar
      Helene Kirchner
      Bernd Meyer
      Eric Monfroy

Important Dates

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



Fri, 13 Dec 2002 03:00:00 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. CfP: at CP2000: 2nd Workshop Rule-Based Constraint Reasoning and Programming

2. CFP : Fourth Workshop on Rule-Based Constraint Reasoning and Programming

3. CFP: Fourth Workshop on Rule-Based Constraint Reasoning and Programming

4. CFP: Workshop on Rule-Based Constraint Reasoning and Programming

5. CFP: RULE 2001 (2nd Int'l Workshop on Rule-based Programming)

6. CFP: RULE 2001 (2nd Int'l Workshop on Rule-based Programming)

7. CFP: 3rd Rule-Based Constraint Reasoning and Programming (RCoRP'01)

8. 2nd CFP CP97 Workshop on Constraint Reasoning on the Internet

9. CFP: RULE'02 - PLI-Workshop on Rule-Based Programming

10. CFP: RULE'02 - PLI-Workshop on Rule-Based Programming

11. Final CFP ILPS'95 Workshop: Constraints, Databases, Logic Programming

12. FINAL CFP: 2nd International Workshop on Logic Programming Tools for Internet Applications

 

 
Powered by phpBB® Forum Software