Programming and Reasoning with Rules and Constraints

August 30th - September 3rd, 2010
Leuven, Belgium

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

Intended Audience
The summer school provides courses at various levels. It is open to anyone interested. It aims at Ph.D. 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 that is usually covered in undergraduate classes could be helpful.

Please visit the School's website for more information on the speakers, and how to register:
http://www.cs.kuleuven.be/~dtai/projects/CHR/summerschool/

You can now subscribe to this mailinglist, which is meant for researchers in algorithmics in Denmark. It is for announcements of all seminars, colloquia, mini-courses, etc, that researchers in algorithmics might be interested in. Please place an
announcement here as soon as a talk is scheduled so researchers at other locations can make plans to visit on the appropriate day. The list is moderated. Algorithmics is meant to include the design and analysis of algorithms, but also to include complexity theory and cryptography.

To see the collection of prior postings to the list, visit the algoritmik archives.

We all have to get better at using the FIRST website as a message board to post information, articles, events, lectures, study groups and other things that you think might interest your fellow FIRST members. All registered members of FIRST are allowed, and in fact encouraged to post news on the website!

If you are unsure as to how to submit an article or an event, you can find clear How To guides here:

--> How to submit an article
--> How to submit an event

Note! Events will show up in the calendar column on the right side of the website, articles will as a general rule be displayed on the front page and in the "News" section. Ofcourse you could also submit an event, and post an article on the website with a link to that event, all depending on how much attention you feel it should have. 

If there is anything unclear in the How to's, or if you have any other questions, please write to dutchgirl@itu.dk.

Bartek Klin visits the Programming, Logic and Semantics group in the week January 25th to 28th.

Bartek is an "adiunkt" in the Faculty of Mathematics, Informatics and Mechanics of the Warsaw University. He is currently on leave employed as an EPSRC postdoctoral research fellow at the Computer Laboratory, University of Cambridge.

He researches in Operational semantics of process algebras and programming languages, Coalgebraic and bialgebraic methods, Algebraic specifications.

Bartek gives a COPLAS talk Wednesday 27th, 14-15 at ITU in room 4A14.

The talk is titled "Observing context alterations" and is on the problem of defining a general notion of equivalence for
reactive system specifications, that would give expected results on both
synchronous and asynchronous CCS. 

He will show that various flavours of the  "context as labels" approach seem inadequate for that purpose, and
suggest an alternative approach of "context alterations as labels", loosely based on the general philosophy of Milner's button-pushing experiments.

Please contact Rasmus Møgelberg (mogel@itu.dk) if you want to meet with Bartek and do consider attending the talk on Wednesday January 27th.

Professor Jens Palsberg will be visiting Department of Computer Science, Aarhus University, from April to September. In 4th quarter (April-May), he will give a course on Parallel Programming Languages, mainly for PhD students.

For more information on the course and where to register, please go here.

The December edition of the FIRST newsletter is now available here.

This edition contains (among other things):

--> a short overview of the spring courses that will be offered
--> an article on the Autumn School and the 6th Workshop on Methods for Modalities
--> an article on the upcoming European Summer School of Logic, Language and Information

Have fun!