TIME 2024: 31st International Symposium on Temporal Representation and Reasoning Montpellier, France, October 28-30, 2024 |
| Conference website | https://www.lirmm.fr/time2024/ |
| Abstract registration deadline | July 5, 2024 |
| Submission deadline | July 5, 2024 |
Call For Papers
The 31st International Symposium on Temporal Representation and Reasoning (TIME 2024) will take place in Montpellier, France, from 28 to 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):
- 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
- 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; more details will be provided in due time.
Submission
The submission link is available at the symposium website: https://www.lirmm.fr/time2024/
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 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.
All questions about submissions should be emailed to the organizers.
June 21, 2024, July 5, 2024: Symposium paper submission deadline (final)
August 2, 2024: Paper acceptance/rejection notification date
August 13, 2024: Camera-ready submission deadline
October 28–30, 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. This is a series of high-quality peer-reviewed conference proceedings, and published according to the principle of OpenAccess.
In addition, we note again that 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; more details will be provided in due time.
Program Committee Chairs
Prof. Michael Sioutis, LIRMM UMR 5506, University of Montpellier, France
Prof. Pietro Sala, Department of Computer Science, University of Verona, Italy
Prof. Fusheng Wang, Department of Biomedical Informatics & Department of Computer Science, Stony Brook University, US
Program Committee
- Alia Abdelmoty, Cardiff University, Wales
- Anastasia Paparrizou, CNRS-LIRMM, France
- Beatrice Amico, University of Verona, Italy
- Béatrice Bérard, Sorbonne University, Paris, France
- Cindy Chen, University of Massachusetts Lowell, US
- Esra Erdem, Sabancı University, Istanbul, Turkey
- Farimah Poursafaei, Mila, Quebec AI Institute & McGill University, Canada
- Federica Mandreoli, University of Modena and Reggio Emilia, Italy
- Kathleen Stewart, University of Maryland, US
- LuoYi Fu, Shanghai Jiao Tong University, China
- Maria Chiara Meo, "G. d'Annunzio" University of Chieti-Pescara, Italy
- María Laura Cobo, National University of the South, Argentina
- Munyque Mittelmann, University of Naples Federico II, Italy
- Orna Kupferman, Hebrew University, Jerusalem, Israel
- Ruizhe Ma, University of Massachusetts Lowell, US
- Silvia García Méndez, University of Vigo, Spain
- Shufang Zhu, University of Oxford, UK
- Zina Ibrahim, King's College London, UK
- Zoe Falomir, Umeå University, Sweden
- Alexandros Artikis, NCSR Demokritos & University of Piraeus, Greece
- Angelo Montanari, University of Udine, Italy
- Carlo Combi, University of Verona, Italy
- Christian Molinaro, University of Calabria, Arcavacata, Italy
- Christopher Hahn, Google LLC
- Davide Catta, University of Naples Federico II, Italy
- Emilio Muñoz-Velasco, University of Málaga, Spain
- Enrico Scala, University of Brescia, Italy
- Florian Bruse, University of Kassel, Germany
- Francesco Parisi, University of Calabria, Italy
- Fusheng Wang, Stony Brook University, New York, US (co-chair)
- Guido Sciavicco, University of Ferrara, Italy
- Jaewook Byun, Sejong University, Seoul, South Korea
- Jean-François Condotta, Artois University, Lens, France
- Jianwen Li, East China Normal University, Shanghai, China
- Johann Eder, University of Klagenfurt, Austria
- John Grant, University of Maryland, US
- Luyi Bai, Northeastern University, China & University of Leicester, UK
- Manolis Koubarakis, National and Kapodistrian University of Athens, Greece
- Martin Lange, University of Kassel, Germany
- Michael Sioutis, University of Montpellier, France (co-chair)
- Nassim Belmecheri, Simula Research Laboratory, Oslo, Norway
- Nicola Gigante, Free University of Bozen-Bolzano, Italy
- Peter Jonsson, Linköping University, Sweden
- Philippe Balbiani, CNRS-IRIT, France
- Pietro Sala, University of Verona, Italy (co-chair)
- Roberto Posenato, University of Verona, Italy
- S Akshay, Indian Institute of Technology Bombay, India
- Thomas Guyet, Inria-AIstroSight, Lyon, France
- Tomi Janhunen, Tampere University, Finland
- Victor Lagerkvist, Linköping University, Sweden
- Yakoub Salhi, Artois University, Lens, France
Contact
All questions about submissions should be emailed to the symposium co-chairs.