20th International Symposium on Temporal Representation and Reasoning (TIME 2013)

[Leon Derczynski]

26-28 September 2013, Pensacola, FL (USA)

TIME 13 aims to bring together researchers from distinct research areas involving the management of temporal data as well as the reasoning about temporal aspects of information.

This unique and well-established event (see http://time.dico.unimi.it) has as its objectives to bridge theoretical and applied research, as well as to serve as an interdisciplinary forum for exchange among researchers from the areas of artificial intelligence, database management, logic and verification, and beyond.

Important Dates

Abstract submission: April 27 2013

Paper submission: April 30 2013

Paper notification: May 29 2013

Final version due: June 12 2013

Early Registration: until 16 June 2013

Registration: from 17 June - 26 August 2013

Late Registration: from 26 August 2013

TIME Symposium: 26-28 September 2013

Invited Speakers

TBA

Call For Papers

Submissions

Submissions of high quality papers describing research results or on-going work are solicited. Submitted papers should contain original, previously unpublished content, should be written in English, and must not be simultaneously submitted for publication elsewhere.

Submitted papers will be refereed by at least three reviewers for quality, correctness, originality, and relevance. Accepted papers will be presented at the symposium and included in the proceedings, which will be published by the Conference Publishing Services (CPS).

Acceptance of a paper is contingent on one author presenting the paper at the symposium.

Submissions should be in PDF format (with the necessary fonts embedded). They must be formatted according to the IEEE guidelines and must not exceed 8 pages; over-length submissions may be rejected without review. Papers should be submitted electronically via the EasyChair system here.

Topics

The main topics of the conference are:

Temporal Representation and Reasoning in AI

Temporal Database Management

Temporal Logic and Verification in Computer Science

Special Track on Interval Temporal logics

Temporal Representation and Reasoning in AI

This track includes, but is not limited to:

temporal aspects of agent- and policy-based systems

spatial and temporal reasoning

reasoning about actions and change

planning and planning languages

ontologies of time and space-time

belief and uncertainty in temporal knowledge

temporal learning and discovery

time in problem solving (e.g. diagnosis, scheduling)

time in human-machine interaction

temporal information extraction

time in natural language processing

spatio-temporal knowledge representation systems

spatio-temporal ontologies for the semantic web

constraint-based temporal reasoning

temporal preferences

Temporal Database Management

This track includes, but is not limited to:

temporal data models and query languages

temporal query processing and indexing

temporal data mining

time series data management

stream data management

spatio-temporal data management, including moving objects

data currency and expiration

indeterminate and imprecise temporal data

temporal constraints

temporal aspects of workflow and ECA systems

real-time databases

time-dependent security policies

privacy in temporal and spatio-temporal data

temporal aspects of multimedia databases

temporal aspects of e-services and web applications

temporal aspects of distributed systems

novel applications of temporal database management

experiences with real applications

Temporal Logic and Verification in Computer Science

This track includes, but is not limited to:

specification and verification of systems

verification of web applications

synthesis and execution

model checking algorithms

verification of infinite-state systems

reasoning about transition systems

temporal architectures

temporal logics for distributed systems

temporal logics of knowledge

hybrid systems and real-time logics

tools and practical systems

temporal issues in security

Special Track on Temporal Data Mining, OLAP and Data Warehouses

This year, TIME has an additional special track on Temporal Data Mining, OLAP, and Data Warehouses and organized by Carlo Combi. Submissions for the special track will be primarily managed by him, though the final decision on acceptance will be taken by the whole PC.

Exploring and mining huge amounts of time-oriented data is an acknowledged need in several domains; Such a need poses several challenges calling theoretical and practical research. Several research topics underly the study of solutions allowing users to explore and mine time oriented data: from the modeling of multidimensional temporal data, to the efficient storage and retrieval of time-series and temporal data, to the definition of algorithms for data mining, and so on. Moreover, several application domains could benefit from advancements of such kind of research: among them, it is worth to mention here medicine, huge amounts of time-oriented data are daily produced and need to be analyzed/mined to improve the overall quality of healthcare processes.

High quality contributions for the special track are welcome in, but are not limited to, any of the following sub-areas of research:

Temporal data warehouses

Modeling and querying multidimensional temporal data

Conceptual modeling of multidimensional temporal data and processes

Indexing temporal and spatio-temporal data warehouses

Summarization of time-oriented data

Mining algorithms for temporal data

Temporal association rules

Temporal OLAP

ETL and temporal data

Reconciled temporal databases

Merging multiple and heterogeneous time-oriented databases

Design and implementation of temporal OLAP systems

Process mining and exploration

Temporal data mining in medicine

Temporal healthcare data warehouses

Time series analysis and mining

Temporal pattern discovery

Visual OLAP for temporal data

Semistructured temporal data warehouses

Symposium Chairs:

Cesar Sanchez, IMDEA Software Institute and CSIC, Spain

K. Brent Venable, Tulane University and IHMC, USA

Esteban Zimanyi, Universite Libre de Bruxelles, Belgium

--
Leon R A Derczynski
Research Associate, NLP Group

Department of Computer Science
University of Sheffield
Regent Court, 211 Portobello
Sheffield S1 4DP, UK

+45 5157 4948
http://www.dcs.shef.ac.uk/~leon/