20th International Symposium on Temporal Representation and Reasoning


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.

Registration is now open here.

Important Dates

Abstract submission:  April 27 2013 May 3, 2013 May 10, 2013
Paper submission:  April 30 2013 May 10,2013
Paper notification:  May 29 2013 June 8, 2013
Final version due:  June 12 2013 June 25, 2013
Early Registration:  until 26 June 2013
Registration:  from 27 June - 26 August 2013
Late Registration:  from 26 August 2013
TIME Symposium: 26-28 September 2013

Invited Speakers

Call For Papers

The call for papers can be downloaded here.

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

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

Registration

In order to complete your registration you need to send an email to time13@software.imdea.org indicating: Name, Family Name, Affiliation, and Paypal Unique Transaction ID.
Early registration Registration Late Registration
Until June 26, 2013 June 27 - August 26, 2013 From August 27, 2013
$400 $425 $470