The official proceedings will appear as a volume in the Advances in Modal Logic Series, published by King's College Publications.