Representation and Reasoning, 27-29 August 2025, Queen Mary University,
London, UK*
More information on : https://time2025conf.github.io
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 scientific fields involving temporal and spatio-temporal data,
information and/or knowledge management. Such a concern arises in a number
of different though often related research domains, namely Artificial
Intelligence (both symbolic approaches based on explicit Logic or
Constraint-based models, and numerical data-based approaches such as Deep
Learning and Large Language Models), Databases and Data Mining, or System
Specification and Verification.
More details about TIME and the previous editions of this symposium can be
found via the following link: https://time-symposium.org/
*Topics*
• Spatio-temporal representation and reasoning models (including
moving objects tracking)
• Temporal Logics for finite and infinite state systems
• Model checking with temporal issues
• Temporal constraint models and satisfiability
• Temporal networks (including Bayesian networks, Neural networks,
etc)
• Formal and applied Ontologies of time and space (including
Semantic Web and Interoperability)
• Temporal knowledge graphs
• Time in Natural Language Processing (including LLMs and
argumentation frameworks)
• Reasoning about action and change (including Temporal Planning and
scheduling)
• Diagnosis and Supervision of Real-Time systems (including
Controller Synthesis, Timed Automata and Petri nets)
• Preferences and Uncertainty management in temporal knowledge
(including belief states, probabilistic and fuzzy models)
• Event and Pattern recognition (including time series and temporal
chronicles)
• Temporal data learning (Neural/Deep Learning and
Symbolic/Reinforcement Learning)
• Temporal data sensing, discovery and mining
• Temporal databases and dedicated query languages
• Indeterminate and imprecise temporal data
• Specification and verification of systems (including runtime
verification of temporal properties)
• Temporal aspects of agent- and policy-based systems (including
Multi-agent systems and Markov decision processes)
The list above is by no means exhaustive, as the aim is to foster the
debate around all aspects of time in automation.
*Submission guidelines and Different types of submissions*
TIME 2025 accepts submissions in PDF format, formatted following the LIPIcs
instructions and preferably using LaTeX. More information about the
submission site and procedure will be provided in due time. 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. At least one author of each
accepted paper must register at the symposium and present the paper.
There are three types of submissions, and the authors are invited to
specify under which one their paper lies:
1) *Original papers* (12 pages, excluding references and appendix): such
papers describe original, non-published contribution. It includes
theoretical (new algorithms, proofs, models) and applied (applications,
system descriptions, evaluation) contributions.
2) *Survey paper* (12 pages, excluding references and appendix): such
papers are intended to propose a short review of a complete domain of
research.
3) *Extended abstract* (4 pages, excluding references and appendix): such
abstracts are intended to foster debates during the symposium and include:
work-in-progress, project kick-off or review, PhD summary, and summary of a
paper accepted in a major conference or journal. They will be specifically
mentioned in the proceedings as abstracts and not full papers.
Following the previous years, the proceedings of TIME are planned to be
published in the 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.
Finally, the authors of the top-ranked papers will be invited to submit an
extended version of their contribution to a special issue in a high ranked
journal; more details will be provided in due time.
*Important Dates*
• May 20, 2025: Symposium paper submission deadline
• June 25, 2025: Paper acceptance/rejection notification date
• August 1st, 2025: Camera-ready submission deadline
• August 18, 2025: Registration deadline
• August 27-29, 2025: Symposium Date
Note: all deadlines are AoE (Anywhere on Earth).
*Program committee co-chairs*
• Przemysław Wałęga, QMUL, University of Oxford, UK,
p.walega@qmul.ac.uk
• Thierry Vidal, Technological University of Tarbes, France,
thierry.vidal@uttop.fr
Please contact us for more information.
The full list of PC members will be provided in due time.
Marc Roth
QMUL, University of Oxford, UK, m.roth@qmul.ac.uk
Local Organiser of TIME 2025
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
