AIM

TIME 2016 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 23rd edition, has a wide remit and intends to cater to both theoretical aspects and well-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond. Submissions of high-quality papers describing research results 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 for quality, correctness, originality, and relevance. The symposium will encompass three tracks on temporal representation and reasoning in (1) Artificial Intelligence, (2) Databases and (3) Logic and Verification.

The Artificial Intelligence 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 

The Database 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 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
    novel visualizations and interfaces for temporal data
    experiences with real applications 

The Logic and Verification track includes, but is not limited to:

    specification and verification of systems
    verification of web applications
    synthesis and execution
    model-checking algorithms and implementations
    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
    cyber-physical systems
    tools and practical systems
    temporal issues in security