Call for Participation: CHR Summer School

Discussion in 'Python' started by Jon Sneyers, Mar 1, 2010.

  1. Jon Sneyers

    Jon Sneyers Guest

    - Call for Participation -


    First International Summer School on CHR:
    Programming and Reasoning with Rules and Constraints

    August 30 - September 3 2010
    Leuven, Belgium

    Website: http://www.cs.kuleuven.be/~dtai/CHR/summerschool

    ****************************************************************************
    * EARLY REGISTRATION DISCOUNT: When registering (including payment) before *
    * March 31, the registration fee will be reduced by 20 euro! *
    *
    *
    * Additional early registration incentive: *
    * The first 7 registrants get a FREE copy of the book *
    * "Constraint Handling Rules - Current Research Topics" *
    ****************************************************************************


    The aim of the summer school is to familiarize the participants with
    state-of-the-art high-level declarative programming with rules and
    constraints as well as providing insights into the analysis of programs
    based on these concepts. The courses cover a wide range from theory to
    practice.

    The summer school will be based on the advanced high-level rule-based
    formalism and programming language Constraint Handling Rules (CHR)
    http://constraint-handling-rules.org/



    Intended Audience:

    The summer school provides courses at various levels. It is open to
    anyone interested. It aims at Phd. students, but also post-docs,
    interested researchers and master students as well as interested parties
    from industry. Besides a working knowledge of English, there are no
    prerequisites. A basic knowledge of logic and Prolog that is usually
    covered in undergraduate classes could be helpful.


    Lectures and Courses:

    The programming language CHR will be introduced by several lecturers
    on the first day of the summer school.

    - Slim Abdennadher, GUC, Egypt
    Analysis of CHR Solvers
    - Henning Christiansen, U. Roskilde, Denmark
    Abduction and language processing with CHR
    - Thom Fruehwirth, University Ulm, Germany
    CHR - a common platform for rule-based approaches
    - Jon Sneyers, K.U.Leuven, Belgium
    Computability and Complexity of CHR
    - Peter Van Weert, K.U.Leuven, Belgium
    Implementation of CHR Systems

    A final evaluation for each course is possible through a final exam or
    project as determined by the instructor. The daily schedule admits
    laboratory, recitation or working group activities to be organized in
    addition to lectures.


    Registration:

    The registration fee for the School is 300 euro and includes teaching material
    with book, as well as accomodation and coffee breaks. Meals are not included.
    Attendance is limited to 20 students and will be allocated on a first-come-
    first-served basis. Without accommodation the registration fee is reduced to
    200 euro.


    Location:

    Leuven is a lively student town in Belgium with a very high density of
    pubs offering hundreds of types of local beers.


    Organization:

    Thom Fruehwirth, University of Ulm, Germany
    Jon Sneyers, K.U. Leuven, Belgium
    Peter Van Weert, K.U. Leuven, Belgium


    --

    Looking for an H-912 (container).
     
    Jon Sneyers, Mar 1, 2010
    #1
    1. Advertising

Want to reply to this thread or ask your own question?

It takes just 2 minutes to sign up (and it's free!). Just click the sign up button to choose a username and then you can ask your own questions on the forum.
Similar Threads
  1. crjunk
    Replies:
    2
    Views:
    16,906
    crjunk
    Aug 8, 2003
  2. Volkan Arslan
    Replies:
    0
    Views:
    359
    Volkan Arslan
    Mar 2, 2004
  3. Volkan Arslan
    Replies:
    0
    Views:
    366
    Volkan Arslan
    Mar 2, 2004
  4. CoreyWhite
    Replies:
    0
    Views:
    388
    CoreyWhite
    Mar 23, 2007
  5. Peter Flynn
    Replies:
    0
    Views:
    509
    Peter Flynn
    Sep 8, 2013
Loading...

Share This Page