| >> news
& events
- Thom Frühwirth is on sabbatical during winter term 2006/2007, among other things
writing a book about Constraint Handling Rules (CHR).
- Our CHR constraint research team has a website now, thanks to
Noha Salem from GUC, August 2006.
- New
Publications, August 2006.
- Seven students and assistents from Slim Abdennadher's department
at the German University of Cairo are visiting for research training in CHR, July-August 2006.
- Online Web Sudoku in CHR and Java, July 2006.
- 2nd CHR Seminar Day, University of Ulm,
Germany, July 2006.
- Khalil Djelloul joined my team as a post-doc researcher in the
DFG Project GLOB-CON - Rule-Based Propagation of Global Constraints,
June 2006-2008.
- Constraint Handling Rules - The Story So Far,
[Slides],
Invited Tutorial at PPDP'06, July 2006, also Invited Talk
at Universita Ca' Foscari, Venice, May 24, 2006.
- Deriving Linear-Time Algorithms from Union-Find in CHR,
Talk at Seminar Day on Constraint Handling Rules, K.U. Leuven, May 10, 2006.
- Jairson Vitorino is a
Brazilian Ph.D. student, visiting for one year till March 2007,
in the DAAD/CAPES Project
ROARS - Reuse-Oriented Automated Reasoning Software,
March 2006-2008.
- Hariolf Betz joined
Marc Meister in my
research team with a Ph.D. grant, November 2005.
- Constraint
Programming with CHR, Invited Talk, U. Dortmund, November 2005.
- CHR - Programming with a Chinese Horse,
[Slides],
Invited Talk at CP'05, October 2005.
- TPLP journal special issue on CHR,
September 2005.
|
|
