Logic List Mailing Archive

CfP: TIME 2025 – 32nd International Symposium on Temporal Representation and Reasoning, 27–29 August 2025, London (UK)

Call for papers for TIME 25, the 32nd International Symposium on Temporal 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
  Przemysaw Waga, QMUL, University of Oxford, UK,p.walega@qmul.ac.uk
  Thierry Vidal, Technological University of Tarbes, France,thierry.vidal@uttop.fr

Please contact the co-chairs for more information.
The full list of PC members will be provided in due time.
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php