Forwarded message from [sicstus-users@sics.se ] sent originally on Wed, 03 May 2000 10:21:41 +0200: : First Workshop on Rule-Based Constraint Reasoning and Programming : : Half day during July 24-28, 2000, Imperial College, London, UK : at the First International Conference on Computational Logic (CL2000) : : http://www.informatik.uni-muenchen.de/~fruehwir/cl2000r.html : : 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, proof : rules, rewrite rules, sequents or logical axioms. Advanced : programming languages like CHR, CLAIRE and ELAN allow the : implementation both constraint solvers and programs using constraints : in a rule-based formalism. : : The workshop 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 to fruehwir@informatik.uni-muenchen.de with : the subject line "CL2000 rules" containing three ASCII lines with : title, author(s) and WWW link to compressed postscript file (5-15 : pages). Accepted papers will be published in hard-copy proceedings : (available at the workshop) and in electronic form at the Computing : Research Repository (CoRR). : : Organisation : : Thom Frühwirth : Slim Abdennadher : Krzysztof Apt : Yves Caseau : Joxan Jaffar : Helene Kirchner : : Important Dates : : May 15, 2000: Paper submissions : June 10, 2000: Acceptance decisions : July 1, 2000: Final version due : July 24-28, 2000: Conference and workshop days : : The final workshop programme schedule will be coordinated with the UK : Constraint Network (Consnet) Annual Workshop.

-- Wirtschaftsinformatik, FB5, Universitaet GH Essen Gustaf.Neumann@uni-essen.de, neumann@computer.org http://nestroy.wi-inf.uni-essen.de/Neumann.html