TempSchedule
Mon, June 10 2013 – Workshops & Tutorials
| Aula Magna | Room B2 “M. Cadoli” |
Room A3 |
Room A4 |
Room A5 |
Room A6 |
Room A7 |
|
| AM1 | PlanRob (i) | HSDIP (i) | Registration | T1 | KEPS (i) | – | Planning in Games (i) |
| Coffee Break | |||||||
| AM2 | PlanRob (ii) | HSDIP (ii) | Registration | T1 | KEPS (ii) | – | Planning in Games (ii) |
| Lunch Break | |||||||
| PM1 | PlanRob (iii) | HSDIP (iii) | Registration | T2 | KEPS (iii) | T3 | Planning in Games (iii) |
| Coffee Break | |||||||
| PM2 | PlanRob (iv) | HSDIP (iv) | Registration | T5 | KEPS (iv) | T4 | Planning in Games (iv) |
Workshops
W1 – HSDIP – Heuristics and Search for Domain-independent Planning
W2 – KEPS – Knowledge Engineering for Planning and Scheduling
W3(I) – PlanRob – Planning and Robotics
W4 – Planning in Games
Tutorials
T1 – Planning in Hybrid Domains (Maria Fox and Daniele Magazzeni)
T2 – Approximation Algorithms for Planning Under Uncertainty (Andrey Kolobov)
T3 – Model Checking of Hybrid Systems via Satisfiability Modulo Theories (Alessandro Cimatti)
T4 – MAXSAT for Planning Researchers (Fahiem Bacchus)
T5 – Temporal planning and temporal networks (Andrew Coles and Luke Hunsberger)
Tue, June 11 2013
Workshops & Tutorials, Opening Reception
| Aula Magna | Room B2 “M. Cadoli” |
Room A3 |
Room A4 |
Room A5 |
Room A6 |
Room A7 |
|
| AM1 | PlanRob (v) | SPARK (i) | T7 | DMAP (i) | COPLAS (i) |
Planning In Continuous Domains (i) | PAL (i) |
| Coffee Break | |||||||
| AM2 | PlanRob (vi) | SPARK (ii) | T8 | DMAP (ii) | COPLAS (ii) |
Planning In Continuous Domains (ii) | PAL (ii) |
| Lunch Break | |||||||
| PM1 | – | SPARK (iii) | T6 | DMAP (iii) | EVOPS (i) | Planning In Continuous Domains (iii) | PAL (iii) |
| Coffee Break | |||||||
| PM2 | – | SPARK (iv) | T6 | DMAP (iv) | EVOPS (ii) | Planning In Continuous Domains (iv) | PAL (iv) |
| 19.30 22.30 |
Opening Reception (Terrazza Civita) |
||||||
Workshops
W3(II) – PlanRob – Planning and Robotics
W5 - COPLAS – Constraint Satisfaction Techniques for Planning and Scheduling Problem
W6 – DMAP – Distributed and Multi-Agent Planning
W7 – EVOPS – Evolutionary Techniques in Planning and Scheduling
W8 – Planning in Continuous Domains
W9 – SPARK – Scheduling and Planning Applications woRKshop
W10 – PAL – Planning and Learning
Tutorials
T6 – Planning for Symbiotic-Autonomous Robots (Manuela Veloso)
T7 – Programming by Optimisation: A new Paradigm for Developing High-Performance Solvers for Computationally Challenging Problems (Holger H. Hoos)
T8 – Engineering a Heuristic Search Planner (Gabriele Röger and Malte Helmert)
