The schedule and literature

Sept. 29 13.15, Galleriet
Information meeting
Introductory lecture by Ulf Nilsson, "A perspective of constraint programming" gives a context for the topics to be discussed

Oct. 13 13.15 - 17.00, Estraden
Guest lecture by Seif Haridi (SICS and KTH), "Introduction to Oz", presents principles of Oz," a multi-paradigm language that is designed for advanced, concurrent, networked, soft real-time and reactive applications". It provides features of object-oriented programming, functional programming and constraint programming.

Oct. 20 13.15 - 15.00, Estraden
Topic for presentation: Constraint programming in Oz (Per Andersson, Bourhane Kadmiry)
http://www.ida.liu.se/labs/logpro/mozart/fdt/index.html
ftp://ps-www.dfki.uni-sb.de/pub/oz/documentation/FDTutorial.pdf.gz
http://www.ida.liu.se/labs/logpro/mozart/fst/index.html

Oct. 27 13.15 - 15.00, Belöningen
Topic for presentation: Constraint handling rules (Fredrik Dillner)
http://www.pst.informatik.uni-muenchen.de/~fruehwir/drafts/jlp-chr1.ps.Z
CHR in SICStus Prolog

Nov. 3 13.15-15.00, Estraden
Topic for presentation: Indexicals (Paul Pop)
SICStus manual,
ftp://ftp.inria.fr/INRIA/Projects/loco/publications/clp_fd/long_clp_fd.ps

Nov. 10 13.15 - 15.00
No meeting

Nov. 17 13.15 - 15.00, Estraden
Topic for presentation: Principles of interval CLP (Johan Lübcke, Dan Lawesson)
The papers "Interval CLP","Applying Interval Arithmetic.." and "Newton..." in:
http://www.sciences.univ-nantes.fr/info/perso/permanents/benhamou/
These three papers have non-empty intersection. The presentation should focus on the principles of interval constraint solving, discuss narrowing-based local consistency, box-consistency used in Newton, and relate them to arc-consistency.
[Transparencies]

Nov. 24 13.15 - 15.00, Estraden
Topic for presentation: Prolog IV, principles and examples (Patrick Hägglund, Mathias Broxvall)
Prolog IV user manual,
Prolog IV: langage et algorithmes,(in French) in
http://www.sciences.univ-nantes.fr/info/perso/permanents/benhamou/
[Transparencies]

Dec. 1 13.15 -15.00, Estraden
Topic for presentation: Search methods I (Paul Scerri)
To be announced

Dec. 8 13.15 -15.00, Estraden
Topic for presentation: Localizer: A tool for expressing and experimenting with local search algorithms. (Ola Angelsmark, Flavius Gruian)
http://www.cs.brown.edu/publications/techreports/reports/CS-98-02.html

Dec. 15 13.15 -15.00, Belöningen
Final Meeting: Presentation of the solutions to the homework assignment