Conference Schedule and Program
Monday Tuesday Wednesday Thursday Friday
9:00 – 10:00 Keynote: Hugo Spiers
Vectors, Paths and Geospatial Topology in the Human Brain
10:00 – 10:30 Break
10:30 – 12:30 Formalizing and Modeling Space-time
Outline of a Formal Theory of Processes and Events, and Why GIScience Needs One
Antony Galton
Modelling Spatial Structures
Franz-Benjamin Mocnik and Andrew U. Frank
Strong Spatial Cognition
Christian Freksa
Extracting Causal Rules from Spatio-temporal Data
Antony Galton, Matt Duckham and Alan Both
12:30 – 3:00 Lunch on your own
3:00 – 5:00 Qualitative Spatio-temporal Reasoning and Representation I
A Conceptual Quality Framework for Volunteered Geographic Information
Andrea Ballatore and Alexander Zipf
A Coq-based Axiomatization of Tarski's Mereogeometry
Richard Dapoigny and Patrick Barlatier
Shape similarity based on the qualitative spatial reasoning calculus eOPRA
Christopher Dorr, Longin Latecki and Reinhard Moratz
From Metric to Topology: Determining Relations in Discrete Space
Matthew Dube, Jordan Barrett and Max J. Egenhofer
Dinner – on your own