All conferences / TIME / 2023
TIME 2023
30th International Symposium on Temporal Representation and Reasoning
Submission timeline
- 28 Apr 2023 Abstract registration AoE
- 5 May 2023 Full paper AoE
- 16 Jun 2023 Notification
- 25 Sep 2023 Conference opens
What to submit
- Format
- 12 pages LIPIcs (+ references + 5 pages appendix)
- Proceedings
- LIPIcs — CC BY
The authors of the top-ranked papers will be invited to submit an extended version of their contribution to a special issue in Information Systems.
Call for papers
- As first published TIME-2023.txt · TXT · shown below
The call, as published
Reproduced verbatim from the organisers’ announcement. The conference’s own page is at cer.iit.demokritos.gr/events/time23/.
****** TIME 2023 ****** 30th International Symposium on Temporal Representation and Reasoning 25-26 September, 2023 NCSR Demokritos, Athens, Greece https://cer.iit.demokritos.gr/events/time23/ * Since 1994, the TIME International Symposium brings together researchers from different disciplines of Computer Science working on temporal aspects of computational systems. * 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. * 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! * 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. *** Topics *** Topics for TIME 2023 include (but are not limited to): -Time in Artificial Intelligence -Time in Data Science -Temporal Logic and Reasoning -Spatial and temporal reasoning -Time in natural language processing -Reasoning about action and change -Complex event recognition and forecasting -Planning and planning languages -Ontologies of time and space-time -Belief and uncertainty in temporal knowledge -Temporal learning and discovery -Temporal data models and query languages -Temporal query processing and indexing -Temporal data mining -Time-series data management -Stream data management -Spatio-temporal data management, including moving objects -Data currency and expiration -Indeterminate and imprecise temporal data -Temporal constraints -Specification and verification of systems -Verification of software and web applications -Synthesis and execution -Model checking algorithms and implementations -Temporal logics for infinite-state systems -Runtime verification of temporal properties -Temporal aspects of agent- and policy-based systems -Temporal Networks *** Important Dates *** * Abstracts due: April 28, 2023 * Papers due: May 5, 2023 * Notification: June 16, 2023 * Camera-ready version: July 14, 2023 * Conference: September 25-26, 2023 *** Programme Committee Chairs *** Alexander Artikis University of Piraeus & NCSR Demokritos, Greece Florian Bruse University of Kassel, Germany Luke Hunsberger Vassar College, USA