23rd International Symposium on Temporal Representation and Reasoning

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.