![]() |
PuK 200620. Workshop "Planen, Scheduling und Konfigurieren, Entwerfen" Bremen, 14. Juni 2006 |
|
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 |
11:00-11:30 | Coffee Break |
11:30-12:30 |
Second Session SemanticWeb Technology as a Basis for Planning and
Scheduling Systems |
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 |