This colloquium is operated by SIG-STER, the Special Interest Group for Spatial and Temporal Reasoning within the Compulog network. The scientific scope of this special interest group has been defined as follows for the purposes of Compulog:
Spatial and Temporal Reasoning deals with logic-based characterization of space, time, and spatio-temporal phenomena, as well as their computer realization using deduction systems and algorithms.
The following specific areas are included or will possibly included in this definition:
Initial activities will focus on reasoning about actions and change. For an overview of intended activities in this area, click here.