New CHR website!
As you've probably noticed by now, the CHR website has been redesigned. The old website is still available on this location in case you cannot get used to the new layout. Your comments are welcome.
News Archive
- Jon Sneyers and Peter Van Weert are taking over as official maintainers of the CHR website.
- This summer the First International Summer School on Constraint Handling Rules will be held in Leuven. During the week from August 30 till September 3, five internationally renowned researchers will give courses covering a wide range of theoretical and practical CHR related topics. The summer school will provide a lively, friendly forum where participants can get familiar with our state-of-the-art declarative rule-based programming tools, and gain insights into the analysis of these programs. No prior knowledge is assumed, so anyone interested is invited to register!
- Johannes Langbein has developed a SWI-Prolog-based checker for state equivalence of CHR states and confluence of terminating CHR programs.
- Andrei Melnikov has patched Michael Stahl's STM-based CHR implementation for Haskell to work with GHC 6.10.4.
- Thierry Martinez has made his CHRat, modular CHR with ask and tell, available online.
- The CHR 2010 Workshop will be held July 20, 2010 in Edinburgh (Scotland) at the occasion of ICLP 2010 (part of FLoC 2010).
- Constraint Handling Rules, Thom Fruehwirth, Cambridge University Press, ISBN 9780521877763, July 2009.
