| Marc Meister 2006-07-03, 7:02 pm |
| If you are in the 'neighbourhood' of Ulm (Germany) on Jul 6, this may
interest you:
The Constraint group of Prof. Frühwirth at Universität Ulm invites you to the
Second Seminar Day on Constraint Handling Rules, 6-Jul-2006
* Introduction
Constraint Handling Rules (CHR) is a simple, but elegant declarative
rule-based programming language. It combines elements of Constraint
Programming, Production Rules, and Rewrite Systems. Typical applications are
constraint solving, natural language processing, type checking, and
reasoning capabilities for multi-agent systems. Various implementations of
CHR exist for Prolog, Java, and other languages. Following the successful
first seminar day, 10-May-2006, hosted by the Declarative Languages and
Artificial Intelligence research group (DTAI) of the K.U.Leuven (Belgium), a
Second Seminar Day is organised by the CHR research group at Ulm. As the
research group of Slim Abdennadher at the German University in Cairo is
visiting Universität Ulm, Thom Frühwirth, creator of CHR, invites to present
recent results and exchange ideas.
* Program
09:00 CHR Tutorial. Thom Frühwirth, Universität Ulm.
10:15 ARM: Automatic Rule Miner. Noha Salem, German University in Cairo.
10:45 Break.
11:00 Linear Logic Semantics for CHRv. Hariolf Betz, Universität Ulm.
11:30 Solving general first order constraints. Khalil Djelloul, Universität Ulm.
12:00 Lunch break.
14:30 Implementation of an F-Logic Kernel in CHR. Martin Käser, Universität Ulm.
15:00 Complexity of the CHR Rational Tree Equation Solver. Marc Meister,
Universität Ulm.
15:30 Break.
15:45 Cairo teaching assistants' interests (10 min each, informal). Noha
Salem, Amira Thabet, Ingi Sobhi, Abdellatif Olama, German University in Cairo.
16:30 Cairo students' projects using Constraint Programming (10 min each,
informal). Amira Gamaleldin, Marlien Edward, Mounir Stino, German University
in Cairo.
17:00 Closing discussion.
* Location
Abteilung Programmiermethodik und Compilerbau, Fakultät für Informatik,
Universität Ulm, D-89069 Ulm
Room o27/412 (Oberer Eselsberg, building o27, 4th floor)
* Participation and Contact
Participation is free and open. Registration is not required, but
appreciated. For more information, including abstracts, see:
http://www.informatik.uni-ulm.de/pm/index.php?id=136
--
Marc Meister
http://www.informatik.uni-ulm.de/pm/marc
|