14th International Symposium on Temporal Representation and Reasoning (TIME 07)
|Event Date/Time: Jun 28, 2007||End Date/Time: Jun 30, 2009|
|Abstract Submission Date: Feb 12, 2007|
|Paper Submission Date: Feb 12, 2007|
The conference is planned as a three-day event, and will be organised as a combination of technical paper presentations, an extended poster session, and keynote talks.
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.