The topics of interest include but are not limited to the following:

Track1 - Temporal Representation/Reasoning in AI and Linguistics

temporal aspects of agent-based systems, temporal constraint reasoning, reasoning about actions and change, temporal languages for planning, temporal languages and architectures, ontologies of time and space-time, spatio-temporal reasoning, expressive power versus tractability, belief and uncertainty in temporal knowledge, time and nonmonotonic reasoning, interval temporal logics, time and temporality in natural language processing.

Track 2 - Time Management in Databases

temporal data models, temporal database design, temporal query languages, indexing of temporal data, temporal database systems, spatio-temporal databases, constraint databases, temporal data mining, temporal data privacy & security, time in multimedia databases, time in web applications, time in federated and heterogeneous systems, time in workflow systems, querying time series databases, querying data streams.

Track 3 - Temporal Logic in Computer Science

temporal specification, synthesis, and verification of systems, model checking of temporal logics, verification of infinite-state systems, temporal logics for distributed systems, expressiveness of temporal languages, decidability and complexity of temporal logics, logics of knowledge and time, metric and real-time logics and timed automata, temporal logics and concurrency, temporal issues in security, tools and practical systems.

The symposium welcomes new directions in time research and topics that are currently underrepresented in the symposium.