CHR 2014 Workshop
On July 18th 2014, the 11th International Workshop on CHR
will take place in Vienna, Austria.
The workshop is affiliated with ICLP and RTA,
as a part of FLoC 2014 and the Vienna Summer of Logic.
The slides of Mike Elston's ICLP 2012 invited talk are now available on this website.
The talk was titled Prolog and CHR in Finance: An easier way to occupy Wall Street?
Also, the invididual CHR'12 papers are now available at the on-line CHR bibliography, as well as the full proceedings.
CHR papers in TPLP
- “Analysing graph transformation systems through Constraint Handling Rules” by Frank Raiser and Thom Frühwirth
- “As time goes by: Constraint Handling Rules — A survey of CHR research from 1998 to 2007” by Jon Sneyers, Peter Van Weert, Tom Schrijvers and Leslie De Koninck
The latter is also one of the most cited articles of TPLP.
Summer school and workshop in Cairo
The Second CHR Summer school
and the Eighth CHR workshop
in Cairo in September 2011 were a big success.
We reached the limit of 50 participants for the workshop and had lively discussions at both events.
The lecture slides and the workshop proceedings are now online for download. The workshop proceedings and individual papers are also available on this website at the CHR bibliography (look for the keyword CHR 2011).
New book on CHR
A new book on CHR has been published.
The book presents recent research in implementation, extensions, and novel analyses of CHR.
It starts with a concise and research-oriented introduction to CHR. After that, carefully selected chapters from recent PhD theses provide detailed information on the topics of compilation and optimization, execution strategies, and formal analysis of CHR. These chapters can be read individually based on the reader's interest.
The chapters have been edited by Thom Frühwirth and Frank Raiser to better suit the book's general theme. Additionally, the book has been reviewed by the individual authors of the chapters, the editors, and Florian Geiselhart and Johannes Langbein. The involved PhD theses are the following: Gregory J. Duck (2005), Leslie De Koninck (2008), Edmund S. L. Lam (2010), Frank Raiser (2010), Tom Schrijvers (2005), and Jon Sneyers (2008).
Thom Frühwirth, Frank Raiser (editors). Constraint Handling Rules: Compilation, Execution, and Analysis. Textbook, ISBN 978-3-83-911591-6, March 2011.
Assistant Position at University of Ulm
A research/teaching position is available for Ph.D. students or postdocs at the Faculty of Computer Science, University of Ulm,
Department of Software Engineering and Compiler Construction in the area of Constraint Programming, in particular Constraint
Handling Rules (CHR).
At least a master or equivalent in computer science or strongly related area is required. The initial appointment will be for two years, beginning as soon as possible, with a possible renewal for another two years.
Read the announcement for more information.
CHR summer school
The First CHR Summer School took place last week in Leuven, Belgium. There were 41 participants and 7 lecturers. At the second day of the summer school, a CHR programming contest was organized. The results (and questions) of this First CHR Programming Contest are available here.
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.
- 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.