Program
Schedule Overview
- Sun, June 9 2013 – Doctoral Consortium
- Mon, June 10 2013 - Tutorials & Workshops
- Tue, June 11 2013 – Tutorials & Workshops, Opening Reception
- Wed, June 12 2013 – Main Conference
- Thu, June 13 2013 – Main Conference, Banquet
- Fri, June 14 2013 – Main Conference
Venues (map)
- Main Conference and Doctoral Consortium (Auditorium Antonianum)
- Workshops and Tutorials (DIAG)
- Welcome Reception (Terrazza Civita)
- Social Dinner (Palazzo Rospigliosi)
Mon, June 10 2013 – Workshops & Tutorials
| 8.00 18.00 |
Registration (8.00 – 18.00) |
||||||
| Aula Magna | Room B2 “M. Cadoli” |
Room A3 |
Room A4 |
Room A5 |
Room A6 |
Room A7 |
|
| 9.00 10.30 |
PlanRob (i) | HSDIP (i) | Registration | T1 | KEPS (i) | – | Planning in Games (i) |
| Coffee Break | |||||||
| 11.00 12.30 |
PlanRob (ii) | HSDIP (ii) | Registration | T1 | KEPS (ii) | – | Planning in Games (ii) |
| Lunch Break | |||||||
| 14.30 16.00 |
PlanRob (iii) | HSDIP (iii) | Registration | T2 | KEPS (iii) | T3 | Planning in Games (iii) |
| Coffee Break | |||||||
| 16.30 18.30 |
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
| 8.00 18.00 |
Registration (8.00 – 18.00) |
||||||
| Aula Magna | Room B2 “M. Cadoli” |
Room A3 |
Room A4 |
Room A5 |
Room A6 |
Room A7 |
|
| 9.00 10.30 |
PlanRob (v) | SPARK (i) | T7 | DMAP (i) | COPLAS (i) |
Planning In Continuous Domains (i) | PAL (i) |
| Coffee Break | |||||||
| 11.00 12.30 |
PlanRob (vi) | SPARK (ii) | T8 | DMAP (ii) | COPLAS (ii) |
Planning In Continuous Domains (ii) | PAL (ii) |
| Lunch Break | |||||||
| 14.30 16.00 |
– | SPARK (iii) | T6 | DMAP (iii) | EVOPS (i) | Planning In Continuous Domains (iii) | PAL (iii) |
| Coffee Break | |||||||
| 16.30 18.30 |
– | 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)
Wed, June 12 2013 – Main Conference
| 8.00 | Registration (8.00 – 18.00) |
|
| 8.45 9.00 |
Opening Remarks (Auditorium) |
|
| 9.00 10.20 |
Invited Talks Alan Fern & Wheeler Ruml (Auditorium) |
|
| 10.20 10.50 |
Coffee Break | |
| 10.50 12.20 |
Session Ia: Applications – I (Auditorium) [AF4,J2,AF2,AF10] |
Session Ib: Heuristics & Search – I (San Francesco Room) [MF1,MS8,MF5,MF6] |
| 12.20 13.45 |
Lunch Break | |
| 13.45 15.00 |
Session IIa: MDPs, POMPDs (Auditorium) [MF28,MF30,MF16] |
Session IIb: Optimal & Oversubscription Planning (San Francesco Room) [MF12,MF18,MF24] |
| 15.00 15.30 |
Coffee Break | |
| 15.30 17.00 |
Session IIIa: Planning Under Uncertainty (Auditorium) [MF21,MF23,J8,MF3] |
Session IIIb: Scheduling – I (San Francesco Room) [MF20,MF17, MS2,AF8] |
| 17.00 19.00 |
DC Posters & System Demos (open end) |
|
Thu, June 13 2013 – Main Conference, Banquet
| 8.00 | Registration (8.00 – 18.00) |
|
| 9.00 10.00 |
Invited Talk Dan Weld (Auditorium) |
|
| 10.00 10.30 |
Coffee Break | |
| 10.30 12.00 |
Session IVa: Applications – II (Auditorium) [AF3,AS3,AF5,AF9] |
Session IVb: Heuristics & Search – II (San Francesco Room) [MF10,MF27,J10,MF31] |
| 12.00 13.30 |
Lunch Break | |
| 13.30 15.05 |
Session Va: Robotics, Path Planning (Auditorium) [MF7, MF26,MS4,MS7,AS2] |
Session Vb: SAT, CSP, Search (San Francesco Room) [MF4,MF9,J9,J1,J12] |
| 15.05 15.35 |
Coffee Break | |
| 15.35 17.05 |
Session VIa: Temporal Planning and Scheduling (Auditorium) [AF6, J7,MF2,MF22] |
Session VIb: Complexity, Foundations (San Francesco Room) [MF14, MS14,MF8,MF13] |
| 17.05 19.00 |
Community Meeting including Influential Paper and Best Dissertations Talks (Auditorium) |
|
| 20.30 23.00 |
Banquet (including Award Ceremony) (Palazzo Rospigliosi) |
|
Fri, June 14 2013 – Main Conference
| 8.00 | Registration (8.00 – 15.30) |
|
| 9.00 10.00 |
Invited Talk Giuseppe De Giacomo (Auditorium) |
|
| 10.00 10.30 |
Coffee Break | |
| 10.30 12.00 |
Session VIIa: Heuristics & Search – III (Auditorium) [MS6,MS15,MF19,MF29] |
Session VIIb: Scheduling II (San Francesco Room) [MF25, MF11,J6,MS1] |
| 12.00 13.30 |
Lunch Break | |
| 13.30 15.00 |
Session VIIIa: Applications – III (Auditorium) [AF1,AF7, AS1,AF11] |
Session VIIIb: Control, Games (San Francesco Room) [J4, MS10,J5,J11,MS12,MS13] |
| 15.00 15.30 |
Coffee Break | |
| 15.30 16.15 |
Session IXa: Heuristic Planning (Auditorium) [MS11,J3,MS9] |
Session IXb: Heuristics & Search – IV (San Francesco Room) [MF15,MS15,MS5] |
| 16.15 16.30 |
Closing Remarks (Auditorium) |
|
