puk2.gif (1946 Byte)
KI 2006 Bremen

PuK 2006

20. Workshop "Planen, Scheduling und Konfigurieren, Entwerfen"

Bremen, 14. Juni 2006

[ Home ] [ Call for Papers [ Program ] [ Accepted Papers ] [ Local Information ]

 

Program

The accepted papers for download can be found here.

09:45-10:00 Workshop opening
10:00-11:00 First Session

External Program Model Checking
Stefan Edelkamp, Shahid Jabbar,
Dino Midzic, Daniel Rikowski, and Damian Sulewski
University of Dortmund

Requirements-driven Software Development System (ReDSeeDS) – A Project Outline
Thorsten Krebs and Lothar Hotz
University of Hamburg

11:00-11:30 Coffee Break
11:30-12:30 Second Session

SemanticWeb Technology as a Basis for Planning and Scheduling Systems
Bernd Schattenberg, Steffen Balzer and Susanne Biundo
University of Ulm

The Potted Plant Packing Problem, Towards a practical solution
Rene Schumann and Jan Behrens
OFFIS Oldenburg
12:30-14:00 Lunch Break
14:00-15:45 Third Session: 20 Jahre PuK
15:45-16:15 Coffee Break
16:15-18:00 Fourth Session: 20 Jahre PuK