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.