<div dir="ltr"><div>Apologies for cross-posting.<br></div><div><br></div><div>****** TIME 2023 ******</div>30th International Symposium on Temporal Representation and Reasoning<br>25-26 September, 2023<br>NCSR Demokritos, Athens, Greece<br><br><a href="https://cer.iit.demokritos.gr/events/time23/" target="_blank">https://cer.iit.demokritos.gr/events/time23/</a><br><br>*
 Since 1994, the TIME International Symposium brings together 
researchers from different disciplines of Computer Science working on 
temporal aspects of computational systems.<br>* We are glad to announce 
that TIME will be back to an in-person conference! We look forward to 
welcoming the TIME community to Athens after 3 years of online events.<br>*
 At least one author of each accepted paper must register early and 
physically attend TIME 2023 to present their work. Participants who are 
not giving a presentation may attend TIME 2023 remotely; of course, we 
strongly encourage physical participation!<br>* In addition to 
theoretical work, we invite submissions focusing on the development, 
deployment and evaluation of *systems* for temporal reasoning. Such 
systems papers will be evaluated primarily on the quality of the 
empirical evaluation and reusability.<br><br>*** Topics ***<br><br>Topics for TIME 2023 include (but are not limited to):<br>-Time in Artificial Intelligence<br>-Time in Data Science<br>-Temporal Logic and Reasoning<br>-Spatial and temporal reasoning<br>-Time in natural language processing<br>-Reasoning about action and change<br>-Complex event recognition and forecasting<br>-Planning and planning languages<br>-Ontologies of time and space-time<br>-Belief and uncertainty in temporal knowledge<br>-Temporal learning and discovery<br>-Temporal data models and query languages<br>-Temporal query processing and indexing<br>-Temporal data mining<br>-Time-series data management<br>-Stream data management<br>-Spatio-temporal data management, including moving objects<br>-Data currency and expiration<br>-Indeterminate and imprecise temporal data<br>-Temporal constraints<br>-Specification and verification of systems<br>-Verification of software and web applications<br>-Synthesis and execution<br>-Model checking algorithms and implementations<br>-Temporal logics for infinite-state systems<br>-Runtime verification of temporal properties<br>-Temporal aspects of agent- and policy-based systems<br>-Temporal Networks<br><br>*** Important Dates ***<br><br>* Abstracts due: April 28, 2023<br>* Papers due: May 5, 2023<br>* Notification: June 16, 2023<br>* Camera-ready version: July 14, 2023<br>* Conference: September 25-26, 2023<br><br>*** Programme Committee Chairs ***<br><br>Alexander Artikis, University of Piraeus & NCSR Demokritos, Greece<br>Florian Bruse, University of Kassel, Germany<br>Luke Hunsberger, Vassar College, USA</div>