31^st International Symposium on
Temporal Representation
and Reasoning
Oct. 28–30, 2024

Montpellier, France

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/.

Call For Papers

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 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 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.

Important Dates

Be mindful of the following dates:

• June 21, 2024, July 5, 2024: Symposium paper submission deadline
• August 2, 2024, August 14, 2024: Paper acceptance/rejection notification date
• August 13, 2024, August 23, 2024, August 28, 2024: Camera-ready submission deadline
• October 18, 2024: Registration 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.

The proceedings volume of TIME 2024 is now officially published as volume 318 of LIPIcs and available at: www.dagstuhl.de/dagpub/978-3-95977-349-2

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.

Go back to the top

Symposium Program

Keynotes

	Sophie Pinchinat Inria-IRISA, Rennes, France Prof. Sophie Pinchinat is a Full Professor with the Department of Electrical Engineering and Computer Science of the University of Rennes 1 in France, and the Head of the LogicA research team at Inria-IRISA. Her main research interests are formal methods, artificial intelligence, multi-agent systems, security, planning, mathematical logic, automata, dynamic epistemic reasoning, and multi-player games. This keynote will be a EurAI Talk.
	Guido Sciavicco University of Ferrara, Italy Prof. Guido Sciavicco is an Associate Professor with the Department of Mathematics and Computer Science of the University of Ferrara in Italy, and the Head of the Applied Computational Logic and Artificial Intelligence (ACLAI) lab. His main research interests are symbolic machine learning, mathematical logic, applications of artificial intelligence, and intelligent data analysis.
	Przemysław Wałęga Queen Mary University of London & University of Oxford, UK Dr. Przemysław Wałęga is a Senior Lecturer at Queen Mary University of London and Senior Researcher at the University of Oxford in UK. His main research is focused on formal methods for reasoning about time, including such areas as knowledge representation and reasoning, logics for temporal reasoning, stream reasoning, and computational complexity analysis.

Schedule (Tentative)

28 October

Keynote

Session: Time in Logic

Keynote

Session: Applications involving Time

29 October

Keynote

Session: Time in AI/ML

30 October

Session: Time in KR

Wrap-Up

Go back to the top

Registration

Registration is now open at https://um.azur-colloque.fr/inscription/en/47/inscription.

At least one author of each accepted paper must register as a regular attendee (this option appears as Lecturers/researchers on Azur-Colloque) and attend the symposium to present their work.

Registration fees are 330 euros and 220 euros including tax for regular and student attendees respectively, and they cover:

• Participation at the conference
• 4 Coffee and tea breaks
• 3 Lunches
• 1 Welcome Reception: Wine & Cheese
• 1 Guided city tour
• 1 Social dinner
• Proceedings

Please register by 18 October at the latest.

Go back to the top

Organization

Programme Committee Chairs

Prof. Michael Sioutis is a Junior Professor with the LIRMM UMR 5506 laboratory and the Department of Computer Science of the University of Montpellier in France. His general interests lie in Hybrid Artificial Intelligence, Spatio-Temporal Reasoning, Data Mining, Semantic Web, Constraint Programming, and Logic.	Prof. Pietro Sala is an Associate Professor with the Department of Computer Science of the University of Verona in Italy. His general interests lie in Temporal Logics, Temporal Data-Mining and its application to Biomedical domains, and Modelling and checking temporal properties in Business Processes.	Prof. Fusheng Wang is a Professor with the Departments of Biomedical Informatics and Computer Science of Stony Brook University in the US. His general interests lie in Spatial and Temporal Data Management, Medical Imaging Informatics, AI in Healthcare, Population Health, and Assistive Technologies.

Program Committee

Spatio-temporal Representation and Reasoning

• Michael Sioutis, University of Montpellier, France (co-chair)

• Anastasia Paparrizou, CNRS-LIRMM, France
• Esra Erdem, Sabancı University, Istanbul, Turkey
• Farimah Poursafaei, Mila, Quebec AI Institute & McGill University, Canada
• 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
• Ruizhe Ma, University of Massachusetts Lowell, US
• Silvia García Méndez, University of Vigo, Spain
• Zina Ibrahim, King's College London, UK
• Zoe Falomir, Umeå University, Sweden
• Alexandros Artikis, NCSR Demokritos & University of Piraeus, Greece
• Luyi Bai, Northeastern University, China & University of Leicester, UK
• Nassim Belmecheri, Simula Research Laboratory, Oslo, Norway
• Thomas Guyet, Inria-AIstroSight, Lyon, France
• Victor Lagerkvist, Linköping University, Sweden
• Yakoub Salhi, Artois University, Lens, France

Temporal Logic and Verification

• Pietro Sala, University of Verona, Italy (co-chair)

• Béatrice Bérard, Sorbonne University, Paris, France
• Munyque Mittelmann, University of Naples Federico II, Italy
• Orna Kupferman, Hebrew University, Jerusalem, Israel
• Shufang Zhu, University of Oxford, UK
• Christopher Hahn, Google LLC
• Davide Catta, University of Naples Federico II, Italy
• Emilio Muñoz-Velasco, University of Málaga, Spain
• Florian Bruse, University of Kassel, Germany
• Jean-François Condotta, Artois University, Lens, France
• Jianwen Li, East China Normal University, Shanghai, China
• Martin Lange, University of Kassel, Germany
• Nicola Gigante, Free University of Bozen-Bolzano, Italy
• Philippe Balbiani, CNRS-IRIT, France
• S Akshay, Indian Institute of Technology Bombay, India

Planning and Temporal Databases

• Fusheng Wang, Stony Brook University, New York, US (co-chair)

• Alia Abdelmoty, Cardiff University, Wales
• Beatrice Amico, University of Verona, Italy
• Cindy Chen, University of Massachusetts Lowell, US
• Federica Mandreoli, University of Modena and Reggio Emilia, Italy
• Carlo Combi, University of Verona, Italy
• Christian Molinaro, University of Calabria, Arcavacata, Italy
• Enrico Scala, University of Brescia, Italy
• Francesco Parisi, University of Calabria, Italy
• Jaewook Byun, Sejong University, Seoul, South Korea
• Johann Eder, University of Klagenfurt, Austria
• John Grant, University of Maryland, US
• Manolis Koubarakis, National and Kapodistrian University of Athens, Greece
• Matteo Zavatteri, University of Padua, Italy
• Peter Jonsson, Linköping University, Sweden
• Roberto Posenato, University of Verona, Italy
• Tomi Janhunen, Tampere University, Finland

Local Organizing Committee

• Amandine Sanchez, University of Montpellier, France
• Olena Tirefort, LIRMM UMR 5506, France
• Virginie Fèche, LIRMM UMR 5506, France (co-chair)
• Maximos Skandalis, LIRMM UMR 5506, France (co-chair)

Go back to the top

Venue

The symposium will take place at Amphithéâtre 1, Bâtiment 36, on the Campus Triolet of the University of Montpellier, in Montpellier, France.

Further, on-site registration and coffee and tea breaks will take place at the hall just outside of the amphitheatre, and lunches will be offered at the Restaurant administratif Minerve (APUM) in the northwestern part of the campus (a 5-min walk from the amphitheatre).

The Campus Triolet is located about 300m from tram station "Universités des Sciences et Lettres", served by (blue) line 1.

A detailed guide for getting to Montpellier is also available.

View Larger Map

Accommodation

Some possible hotels for your stay at Montpellier are provided below:

• Grand Hôtel du Midi (4 stars)
• Hôtel du Palais (3 stars)
• Hotel Ulysse Montpellier Centre Corum (3 stars)
• Best Western Hotel Le Guilhem (3 stars)
• ibis Styles Montpellier Centre Comédie (3 stars)
• Hôtel Les Troènes (2 stars)
• Hôtel Lapeyronie (2 stars)

Go back to the top