<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
</head>
<body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">
<div>
<div>****** TIME 2023 ******</div>
<div>30th International Symposium on Temporal Representation and Reasoning</div>
<div>25-26 September, 2023</div>
<div>NCSR Demokritos, Athens, Greece</div>
<div><br>
</div>
<div>https://cer.iit.demokritos.gr/events/time23/</div>
<div><br>
</div>
<div>* Since 1994, the TIME International Symposium brings together researchers from different disciplines of Computer Science working on temporal aspects of computational systems.</div>
<div>* 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.</div>
<div>* 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!</div>
<div>* 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.</div>
<div><br>
</div>
<div>*** Topics ***</div>
<div><br>
</div>
<div>Topics for TIME 2023 include (but are not limited to):</div>
<div>-Time in Artificial Intelligence</div>
<div>-Time in Data Science</div>
<div>-Temporal Logic and Reasoning</div>
<div>-Spatial and temporal reasoning</div>
<div>-Time in natural language processing</div>
<div>-Reasoning about action and change</div>
<div>-Complex event recognition and forecasting</div>
<div>-Planning and planning languages</div>
<div>-Ontologies of time and space-time</div>
<div>-Belief and uncertainty in temporal knowledge</div>
<div>-Temporal learning and discovery</div>
<div>-Temporal data models and query languages</div>
<div>-Temporal query processing and indexing</div>
<div>-Temporal data mining</div>
<div>-Time-series data management</div>
<div>-Stream data management</div>
<div>-Spatio-temporal data management, including moving objects</div>
<div>-Data currency and expiration</div>
<div>-Indeterminate and imprecise temporal data</div>
<div>-Temporal constraints</div>
<div>-Specification and verification of systems</div>
<div>-Verification of software and web applications</div>
<div>-Synthesis and execution</div>
<div>-Model checking algorithms and implementations</div>
<div>-Temporal logics for infinite-state systems</div>
<div>-Runtime verification of temporal properties</div>
<div>-Temporal aspects of agent- and policy-based systems</div>
<div>-Temporal Networks</div>
<div><br>
</div>
<div>*** Important Dates ***</div>
<div><br>
</div>
<div>* Abstracts due: April 28, 2023</div>
<div>* Papers due: May 5, 2023</div>
<div>* Notification: June 16, 2023</div>
<div>* Camera-ready version: July 14, 2023</div>
<div>* Conference: September 25-26, 2023</div>
<div><br>
</div>
<div>*** Programme Committee Chairs ***</div>
<div><br>
</div>
<div>Alexander Artikis University of Piraeus & NCSR Demokritos, Greece</div>
<div>Florian Bruse <span class="Apple-tab-span" style="white-space:pre"></span>University of Kassel, Germany</div>
<div>Luke Hunsberger Vassar College, USA</div>
</div>
</div>
<br>
<br>
<div>
<div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<span style="font-size: 13px;">-- </span><br style="font-size: 13px;">
<span style="font-size: 13px;">=================================</span><br style="font-size: 13px;">
<span style="font-size: 13px;">Carlo Combi, Ph.D.</span><br style="font-size: 13px;">
<span style="font-size: 13px;">Dipartimento di Informatica</span><br style="font-size: 13px;">
<span style="font-size: 13px;">Universita' degli Studi di Verona</span><br style="font-size: 13px;">
<span style="font-size: 13px;">Ca' Vignal 2</span><br style="font-size: 13px;">
<span style="font-size: 13px;">strada le Grazie 15</span><br style="font-size: 13px;">
<span style="font-size: 13px;">I-37134 Verona - VR - Italy</span><br style="font-size: 13px;">
<span style="font-size: 13px;"><a href="mailto:carlo.combi@univr.it">email: carlo.combi@univr.it</a></span><br style="font-size: 13px;">
<span style="font-size: 13px;"><a href="http://profs.sci.univr.it/~combi">http://profs.sci.univr.it/~combi</a></span><br style="font-size: 13px;">
<span style="font-size: 13px;">=================================</span><br style="font-size: 13px;">
<br>
<br>
<br>
<br>
<br>
</div>
</div>
</div>
<br>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
<br>
<br>
<div>
<div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div>-- <br>
=================================<br>
Carlo Combi, Ph.D.<br>
Dipartimento di Informatica<br>
Universita' degli Studi di Verona<br>
Ca' Vignal 2<br>
strada le Grazie 15<br>
I-37134 Verona - VR - Italy<br>
phone: +39 045 802 7985<br>
mobile: +39 328 8606227<br>
fax: +39 045 802 7068<br>
email: carlo.combi@univr.it<br>
http://profs.sci.univr.it/~combi<br>
=================================</div>
<div><br>
</div>
</div>
<br class="Apple-interchange-newline">
<br class="Apple-interchange-newline">
</div>
<br>
</body>
</html>