Jon Sneyers | 20 Feb 16:52 2013

CFP: 10th CHR Workshop in Berlin, July 2013


                              Call for Papers
        Tenth International Workshop on Constraint Handling Rules
                                 CHR 2013

                   Berlin (Germany), July 11-12th, 2013
            (co-located with the 3rd Intl Summer School on CHR)



    The CHR 2013 Workshop will be held on July 11th and 12th, 2013 in Berlin
    (Germany) at the occasion of the 3rd International Summer School on CHR.
    More information on the venue and the co-located summer school can be
    found on the summer school website (

    The Constraint Handling Rules (CHR) language has become a major declara-
    tive specification formalism and implementation language for constraint
    reasoning algorithms and applications. Algorithms specified using infe-
    rence rules, rewrite rules, sequents, proof rules, or logical axioms can
    often be directly written in CHR. Its clean semantics facilitates pro-
    gram design, analysis, and transformation. For more information, please
    visit the CHR website (

    The aim of the CHR workshop series is to stimulate and promote interna-
    tional research and collaboration on topics related to the CHR language.
(Continue reading)