Room S12, DTU Meeting Centre, 4 April 2014.

The program is rich in breaks, to stimulate research discussions between the participants (it might also stimulate heavy coffee drinking, but that is just a side effect).

9.00-9.30 Welcome and Coffee
9.30-10.30 Andreas Herzig, IRIT Toulouse
On the revision of planning tasks
10.30-11.00 Coffee break
11.00-12.00 Patrick Blackburn, University of Roskilde
Negotiating Context
12.00-13.00 Lunch break
13.00-14.00 Jens Ulrik Hansen, Lund University
A partial version of Dynamic Epistemic Logic
14.00-14.30 Coffee break
14.30-15.30 Thomas Ã…gotnes, University of Bergen
Some Aspects of Knowledge and Ability
15.30-16.00 Coffee break (if your body can take more coffee at this point)
16.00-17.00 Ron Petrick, University of Edinburgh
What would you like to drink? Knowledge-level planning for a social robot bartender (Editor's note: the perfect talk for a late Friday afternoon)
17.00-18.00 Drinks served by a social bartender
(but only an old-fashioned human one, I'm afraid)