Program of the Aalborg Meeting 18/19 september 2003

THURSDAY 18/9  
9:00 Opening
  Olaf Stursberg: Cost-Optimality using MILP
Jacob Illum: Cost-Optimal Reachability Revisited
Kim Larsen/Arne Skou: Dynamic Voltage Scaling
11:15 Joost-Pieter Katoen: Model Checking Continuous-Time MDPs
14:00 Gerd Behrmann: Terma Case Study
Biniam Gebremichal: Bosch Case Study
Yaroslav Usenko: Bosch Case Study
16:00 PCC meeting
19:00 DINNER at Rosdahls (Strandvejen 6)
FRIDAY 19/9  
9:00 Dagmar Ludewig: Axxom Case Study
Angelika Mader: Questions on the Axxom Case Study
10:45 Brian Nielsen: Real-time Testgeneration