TIME 2014

21st International Symposium on Temporal Representation and Reasoning - Verona, Italy


The symposium will encompass:

  • three tracks on AI, Databases, Logic and Verification and
  • an additional special track on Interval Temporal Logics

Temporal Representation and Reasoning in AI 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 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 business processes 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
  • temporal aspects and big data
  • temporal aspects in NoSQL databases
  • temporal data warehouses
  • temporal healthcare databases and warehouses
  • time series analysis and mining
  • semistructured temporal data
  • novel applications of temporal database management
  • experiences with real applications

Temporal Logic and Verification in Computer Science 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 for games and open systems
  • temporal logics of knowledge
  • hybrid systems and real-time logics
  • tools and practical systems
  • temporal issues in security

Special Track on Interval Temporal Logics

This year TIME is planning a special track on Interval Temporal Logics, organized by Davide Bresolin (University of Verona) and Guido Sciavicco (University of Murcia). Submissions for this special track will be primarily managed by them, though the final decision on acceptance will be taken by the whole PC. This track is intended to be a follow-up of the First Workshop on Interval Temporal Logics and Duration Calculi held at ESSLLI 2003 summer school (Wien, Austria), and of the special track on Interval Temporal Logics of TIME 2011 (Lubeck, Germany).

Time representation and reasoning with intervals is a challenging research field of Computer Science, with a recognized impact in AI, Databases and Formal Verification. Interval-based languages are involved at many levels in different applications, such as planning and management of medical information, verification of hardware circuits, model-checking and requirement analysis of hybrid systems.

Non-trivial problems rise at every level: expressive power of the languages, decidability and un-decidability of logics at the first-order and at the modal levels, computational complexity of automatic and semi-automatic deduction techniques, and axiomatic systems.

High quality contributions for this special track are welcome in, but are not limited to, any of the following topics:

  • expressiveness and decidability of ITLs
  • proof systems (tableaux-based, SMT-based, etc.) for ITLs
  • model-checking of ITLs
  • modeling of system requirements in terms of time intervals
  • intervals versus time points in temporal modeling
  • Duration Calculus and other extensions and variants of ITLs
  • ITLs for timed automata, hybrid automata, and other models of real time sytems
  • interval algebras and (spatio-)temporal reasoning
  • case studies, applications and tool support for interval-based reasoning
TIME 2014 © 2014 Frontier Theme