<div dir="ltr"><span style="font-family:Aptos,sans-serif;font-size:14.6667px;font-style:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;text-decoration:none;color:rgb(33,33,33)">TIME has been for more than twenty years the only yearly multidisciplinary international event dedicated to the topic of time in computer science. The purpose of the symposium is to bring together active researchers in different scientific fields involving temporal and spatio-temporal data, information and/or knowledge management. Such a concern arises in a number of different though often related research domains, namely Artificial Intelligence (both symbolic approaches based on explicit Logic or Constraint-based models, and numerical data-based approaches such as Deep Learning and Large Language Models), Databases and Data Mining, or System Specification and Verification.<span class="gmail-apple-converted-space"> </span><br>More details about TIME and the previous editions of this symposium can be found via the following link:<span class="gmail-apple-converted-space"> </span></span><a href="https://time-symposium.org/" title="https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Ftime-symposium.org%2F&data=05%7C02%7Cp.walega%40qmul.ac.uk%7C6d26b1ba08b544a2844508dd64ba7033%7C569df091b01340e386eebd9cb9e25814%7C0%7C0%7C638777474126800278%7CUnknown%7CTWFpbGZsb3d8eyJFbXB" style="color:rgb(70,120,134);text-decoration:underline;font-family:Aptos,sans-serif;font-size:14.6667px;font-style:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><span style="color:rgb(0,120,215)">https://time-symposium.org/</span></a><span style="font-family:Aptos,sans-serif;font-size:14.6667px;font-style:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;text-decoration:none;color:rgb(33,33,33)">.<br><br><b>Topics</b><br>    •    Spatio-temporal representation and reasoning models (including moving objects tracking)<br>    •    Temporal Logics for finite and infinite state systems<br>    •    Model checking with temporal issues<span class="gmail-apple-converted-space"> </span><br>    •    Temporal constraint models and satisfiability<span class="gmail-apple-converted-space"> </span><br>    •    Temporal networks (including Bayesian networks, Neural networks, etc)<br>    •    Formal and applied Ontologies of time and space (including Semantic Web and Interoperability)<br>    •    Temporal knowledge graphs<br>    •    Time in Natural Language Processing (including LLMs and argumentation frameworks)<br>    •    Reasoning about action and change (including Temporal Planning and scheduling)<br>    •    Diagnosis and Supervision of Real-Time systems (including Controller Synthesis, Timed Automata and Petri nets)    <br>    •    Preferences and Uncertainty management in temporal knowledge (including belief states, probabilistic and fuzzy models)<br>    •    Event and Pattern recognition (including time series and temporal chronicles)<br>    •    Temporal data learning (Neural/Deep Learning and Symbolic/Reinforcement Learning)<span class="gmail-apple-converted-space"> </span><br>    •    Temporal data sensing, discovery and mining<span class="gmail-apple-converted-space"> </span><br>    •    Temporal databases and dedicated query languages<br>    •    Indeterminate and imprecise temporal data<br>    •    Specification and verification of systems (including runtime verification of temporal properties)<br>    •    Temporal aspects of agent- and policy-based systems (including Multi-agent systems and Markov decision processes)<br><br>The list above is by no means exhaustive, as the aim is to foster the debate around all aspects of time in automation.<br><br><b>Submission guidelines and Different types of submissions</b><br><br>TIME 2025 accepts submissions in PDF format, formatted following the LIPIcs instructions and preferably using LaTeX. More information about the submission site and procedure will be provided in due time. TIME policy is single blind, so the names of the authors need not be hidden in the submitted draft. Members of the program committee are allowed to submit papers. Submitted papers will be refereed for quality, correctness, originality, and relevance to the symposium. At least one author of each accepted paper must register at the symposium and present the paper.<br>There are three types of submissions, and the authors are invited to specify under which one their paper lies:<br><br>1)<span class="gmail-apple-converted-space"> </span><u>Original papers</u><span class="gmail-apple-converted-space"> </span>(12 pages, excluding references and appendix): such papers describe original, non-published contributions. It includes theoretical (new algorithms, proofs, models) and applied (applications, system descriptions, evaluation) contributions.<br><br>2)<span class="gmail-apple-converted-space"> </span><u>Survey paper</u><span class="gmail-apple-converted-space"> </span>(12 pages, excluding references and appendix): such papers are intended to propose a short review of a complete domain of research.<br><br>3)<span class="gmail-apple-converted-space"> </span><u>Extended abstract</u><span class="gmail-apple-converted-space"> </span>(4 pages, excluding references and appendix): such abstracts are intended to foster debates during the symposium and include: work-in-progress, project kick-off or review, PhD summary, and summary of a paper accepted in a major conference or journal. They will be specifically mentioned in the proceedings as abstracts and not full papers.<br><br>Following the previous years, the proceedings of TIME are planned to be published in the LIPIcs-Leibniz International Proceedings in Informatics. This is a series of high-quality peer-reviewed conference proceedings, and published according to the principle of OpenAccess.<br><br>Finally, the authors of the top-ranked papers will be invited to submit an extended version of their contribution to a special issue in a high ranked journal; more details will be provided in due time.<br><br><b>Important Dates</b><br>    •    May 20, 2025: Symposium paper submission deadline<br>    •    June 25, 2025: Paper acceptance/rejection notification date<br>    •    August 1st, 2025: Camera-ready submission deadline<br>    •    August 18, 2025: Registration deadline<br>    •    August 27-29, 2025: Symposium Date<br><br>Note: all deadlines are AoE (Anywhere on Earth).<br><br><b>Program committee co-chairs</b><br>    •    Przemysław Wałęga, QMUL, University of Oxford, UK,<span class="gmail-apple-converted-space"> </span></span><a href="mailto:p.walega@qmul.ac.uk" title="mailto:p.walega@qmul.ac.uk" style="color:rgb(70,120,134);text-decoration:underline;font-family:Aptos,sans-serif;font-size:14.6667px;font-style:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><span style="color:rgb(0,120,215)">p.walega@qmul.ac.uk</span></a><span style="font-family:Aptos,sans-serif;font-size:14.6667px;font-style:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;text-decoration:none;color:rgb(33,33,33)"><br>    •    Thierry Vidal, Technological University of Tarbes, France,<span class="gmail-apple-converted-space"> </span></span><a href="mailto:thierry.vidal@uttop.fr" title="mailto:thierry.vidal@uttop.fr" style="color:rgb(70,120,134);text-decoration:underline;font-family:Aptos,sans-serif;font-size:14.6667px;font-style:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><span style="color:rgb(0,120,215)">thierry.vidal@uttop.fr</span></a><span style="font-family:Aptos,sans-serif;font-size:14.6667px;font-style:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;text-decoration:none;color:rgb(33,33,33)"><br><br>Please contact us for more information.</span></div>