Call for Participation - TIME 2025 - London, UK, Aug 27-29, 2025

[Thierry Vidal]

TIME 2025 Call for Participation (32nd International Symposium on Temporal Representation and Reasoning), 27-29 August 2025, Queen Mary University, London, UK

We sincerely hope you will consider joining us in London in late August for a thriving programme. Registration page and full programme are now available on our website: https://time2025.time-symposium.org/. The deadline for registration is August 15.

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)

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 15, 2025: Registration deadline
    •    August 27-29, 2025: Symposium Date

PC chairs contact : tim...@time-symposium.org

    •    Thierry Vidal, Technical University of Tarbes, France
    •    Przemysław Wałęga, Queen Mary University of London, UK