posted by organizer: cscientist86 || 2372 views || tracked by 5 users: [display]

TIME 2024 : The 31st International Symposium on Temporal Representation and Reasoning

FacebookTwitterLinkedInGoogle


Conference Series : International Symposium on Temporal Representation and Reasoning
 
Link: https://www.lirmm.fr/time2024/
 
When Oct 28, 2024 - Oct 30, 2024
Where Montpellier, France
Submission Deadline Jul 5, 2024
Notification Due Aug 2, 2024
Final Version Due Aug 13, 2024
Categories    temporal logic   temporal databases   time and space in ai   representation and reasoning
 

Call For Papers

The 31st International Symposium on Temporal Representation and Reasoning (TIME 2024) will take place in Montpellier, France, during 28--30 October 2024.

Website: https://www.lirmm.fr/time2024/


Introduction
========

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 research areas involving temporal representation and reasoning. The symposium also welcomes research papers on the related topics of spatial and spatio-temporal representation and reasoning. In the early years, most contributions came from the Artificial Intelligence community, but the number of contributions from other areas such as Temporal Logic and Verification and partly from Temporal Databases has been increasing in the last years.

More details about TIME and the previous editions of this symposium can be found via the following link: https://time-symposium.org/.


Topics
====

In this symposium, in addition to theoretical and practical work in Artificial Intelligence, Databases, and Logic and Reasoning, we invite submissions focusing on the development, deployment, and evaluation of Machine Learning Systems that fall under the scope of the symposium. Such systems papers will be evaluated primarily on the quality of the empirical evaluation and reusability. Topics for TIME 2024 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

- Temporal argumentation frameworks

- Automata-theoretic techniques for temporal reasoning

- Temporal knowledge graphs

- Time-series data management

- Events and Time Series Explanations in Healthcare

The list above is by no means exhaustive, as the aim is to foster the debate around all aspects of the suggested topics.

Finally, the authors of the top-ranked papers will be invited to submit an extended version of their contribution to a special issue in the Journal of Information and Computation (https://www.sciencedirect.com/journal/information-and-computation); more details will be provided in due time.


Submission
=======
The submission link is available at https://cmt3.research.microsoft.com/TIME2024/

Guidelines
..............

TIME 2024 accepts submissions in PDF format, no longer than 12 pages excluding references and appendix. The appendix is limited to 5 pages, and the reviewers may or may not take it into account for their recommendation. Submissions must be formatted following the LIPIcs instructions (https://submission.dagstuhl.de/documentation/authors) and preferably redacted in LaTeX.

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.

Submissions to TIME 2024 must be original; parallel submissions of the same material to other conferences or journals are not allowed. At least one author of each accepted paper must register at the symposium and present the paper.

Important Dates
.......................

Be mindful of the following dates:

- (old: 21 June 2024) 5 July 2024: Symposium paper submission deadline

- 2 August 2024: Paper acceptance/rejection notification date

- 13 August 2024: Camera-ready submission deadline

- 28–30 October 2024: Symposium Date

Note: all deadlines are AoE (Anywhere on Earth).


Proceedings
========

Accepted papers will be presented at the symposium and included in the proceedings, which will be published by LIPIcs-Leibniz International Proceedings in Informatics (https://www.dagstuhl.de/en/publications/lipics/). This is a series of high-quality peer-reviewed conference proceedings, and published according to the principle of OpenAccess.


Organizing Committee
==============

Prof. Michael Sioutis, University of Montpellier, France

Prof. Pietro Sala, University of Verona, Italy

Prof. Fusheng Wang, Stony Brook University, US


Contact
=====

All questions about the symposium and submissions in particular should be emailed to the organizers.

Related Resources

KR 2024   Principles of Knowledge Representation and Reasoning
ICLR 2024   International Conference of Learning Representations
STRL 2024   The 3rd International Workshop on Spatio-Temporal Reasoning and Learning
ISIT 2024 2024   2nd Conference on Intelligent Systems and Information Technologies Logic, Knowledge, and Reasoning in Intelligent Systems
ITISE 2025   International conference on Time Series and Forecasting
UR@FLAIRS 2025   Special Track on Uncertain Reasoning at FLAIRS-38
ISORC 2025   International Symposium on Real-Time Distributed Computing
ICCBR 2025   33rd International Conference on Case-based Reasoning
Intelligent Computing-Based Time Series 2025   Intelligent Computing: Special Issue: Intelligent Computing-Based Time Series Analysis for Cybersecurity
Canadian AI 2025   38th Canadian Conference on Artificial Intelligence