Leeds Spatial Reasoning Workshop

13th and 14th July 1999

Qualitative Spatial Reasoning Group

School of Computer Studies
University of Leeds

Organisers:

Brandon Bennett and Tony Cohn

Schedule

Tuesday 13th July

14.00-15.30 - Vagueness and Uncertainty
- Brandon Bennett - spatial supervaluation theory
- Matteo Cristani - locational uncertainty
- Anthony Roy - Connection Relations on Vague Regions (slides)
15.30-16.00 - Break
16.00-17.30 Granularity and Discreteness
- Mike Smyth - region-based discrete geometry
- Antony Galton - Continuity in Discrete Space (paper)
19.00-01.00 - Dinner

Wednesday 14th July

09.30-11.00 - Spatial Representations
- John Stell - Vagueness and Granularity for Graphs (paper 1) (paper 2 - with Mike Worboys)
- Anthony Cohn - Varieties of Connection Relation
- Antony Galton - Physical Interpretations of Connection (paper)
11.00-11.30 - Break
11.30-13.00 - More Spatial Representations
- John Stell - a new approach to topological realtions (paper)
- Julian Webster - the limit of compact cover refinements
13.00-14.30 - Lunch
14.30-16.00 - Reasoning Techniques
- Brandon Bennett - A multi-dimensional multi-modal framework for spatial reasoning (paper)
- Michael Zakharyashev - Multi-dimensional modal logics: decidability and complexity resluts
- Ian Horrocks - Tableau Optimisations for Discription Logics
- Brandon Bennett - Tracing physical objects through time
16.00-16.15 - Break
16.15-17.00 - Plans for future work and events

Venu

The location of the School of Computer Studies is shown on this map. The workshop will be held in the Active Learning Centre, which is just about where the red E of `E.C. Stoner' appears on the map. It is on the ground floor (or 1st floor if you come from the south). More information about how to get to the university and department can be found by following the links at the top of this page.

Accommodation

On campus B&B accommodation is available on the night of July 13th. This is at Lyddon Hall, which you can see on this other map. The School of Computer Studies is just to the right of the Maths department on this map.

The following listing of Leeds Hotels might also be useful. (Those with LS2 postcode are within walking distance of the university. Those with LS6 are near Headingly which is a longer walk or easy bus ride.)

Hotel & Guest House Directory