Dagstuhl Seminar on "Automated Planning and Model Checking"

A Dagstuhl Seminar on "Automated Planning and Model Checking", coordinated by Dr Daniele Magazzeni of the Department of Informatics, has been accepted and will be held in November 24-28, 2014.

A Dagstuhl seminar, which entails a one-week stay in Dagstuhl Castle, is one of the most prestigious ways to host a dedicated workshop in computer science. Seminar proposals are assessed by a very selective process of expert review. This seminar will bring together 40 international experts in AI Planning and Model-Checking, with the objective of tackling some open problems on the interface between these areas and forging closer research links between these communities.

Professor Maria Fox from the Department of Informatics is also involved in organising the seminar. Professor Fox and Dr Magazzeni are both members of the Planning research group.

For more details of the seminar please see: http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=14482