TIME 2018 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, curr ently in its 25th edition, has a wide remit and in tends to cater to both theoretical aspects and wel l-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with att endees from distinct areas such as artificial inte lligence, database management, logic and verificat ion, and beyond. The symposium will encompass four tracks on temporal representation and reasoning i n (1) Artificial Intelligence, (2) Databases (3) L ogic and Verification, and (4) New areas and Appli cations.
\nSubmissions of hig h-quality papers describing research results are s olicited. Submitted papers should contain original , previously unpublished content, should be writte n in English, and must not be simultaneously submi tted for publication elsewhere. Submitted papers w ill be refereed for quality, correctness, original ity, and relevance. Accepted papers will be presen ted at the symposium and included in the proceedin gs, which will be published by LIPIcs-Leibniz Inte rnational Proceedings in Informatics.
\n