Velocity Reviews - Computer Hardware Reviews

Velocity Reviews > Newsgroups > Programming > Python > Call for Participation: CHR Summer School

Reply
Thread Tools

Call for Participation: CHR Summer School

 
 
Jon Sneyers
Guest
Posts: n/a
 
      03-01-2010


- 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).

 
Reply With Quote
 
 
 
Reply

Thread Tools

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off
Trackbacks are On
Pingbacks are On
Refbacks are Off


Similar Threads
Thread Thread Starter Forum Replies Last Post
Kamaelia & Summer of Code (was Re: Google's Summer of Code - Students coding on MoinMoin ) Michael Python 0 05-06-2006 10:27 AM
LASER Summer School on Software Engineering - call for participation Volkan Arslan C++ 1 03-02-2004 10:30 AM
LASER Summer School on Software Engineering - call for participation Volkan Arslan Java 0 03-02-2004 10:27 AM
LASER Summer School on Software Engineering - call for participation Volkan Arslan C Programming 0 03-02-2004 10:23 AM
Prevent 'Chr(13) + Chr(10)' from Being Executed in String crjunk ASP .Net 2 08-08-2003 04:14 PM



Advertisments