Organization

In this first workshop, of what it is hoped will become a series of exchanges between the V&V and P&S communities, we propose to focus on the validation and verification of domain models. To facilitate contributions on this topic we shall make available (on the workshop website) a test bed consisting of a small collection of domain models. Domains expressed in the standard planning domain description language PDDL will be supplied, together with an account of the semantics of PDDL, a parser and plan validation tool for PDDL. A planner and English requirements will also be supplied. The domain model will be seeded with errors and we encourage contributions that describe V&V methods to identify these errors. Both formal and informal V&V methods are of interest. These materials will be made available from the end of 2004 in order to provide sufficient time to examine them and respond to them in the preparation of submissions to the workshop.

The workshop will be organized over two days. The first day will be devoted to presentations of relevant papers, particularly emphasizing work that attempts to cross the gap between V&V and P&S or proposes approaches to achieving a greater integration of V&V in P&S. To encourage dialogue and exchange commentaries will be solicited on all papers that are selected for presentation and presented alongside the primary contributions. The second day will include an attempt to make practical and concrete headway in the application of V&V techniques in P&S, in round-table discussions and working groups.