Jon Sneyers | 7 May 11:31 2013
Picon

DEADLINE EXTENSION: CHR 2013 Workshop


(apologies for multiple copies)

* DEADLINE EXTENSION: Paper submission deadline is now May 14th!
                       (instead of May 8th)

=========================================================================

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

                  http://dtai.cs.kuleuven.be/CHR/CHR2013/
                   Berlin (Germany), July 13th, 2013
            (co-located with the 3rd Intl Summer School on CHR)

=========================================================================

Introduction

    The CHR 2013 Workshop will be held on July 13th, 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 (http://met.guc.edu.eg/CHR2013/).

    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-
(Continue reading)


Gmane