Topics of interest
- Temporal specifications, Verification, Synthesis, Planning (Spatio-temporal representation and reasoning models including moving objects tracking, Temporal Logics for finite and infinite state system, Model checking with temporal issue, Runtime Verification, Temporal constraint models and satisfiability, Action and change, Temporal scheduling, Controller synthesis)
- Diagnosis and Supervision of Real-Time systems (Timed Automata, Timed Petri nets, Timed Games)
- Time in Machine Learning and Generative Artificial Intelligence (Neural networks, Deep/Reinforcement Learning, LLMs and Natual Language Processing),
- Notable aspects of time in agent- and policy-based systems (Multi-agent systems, Markov decision processes, agentic AI frameworks)
- Temporal Data (sensing, discovery, mining, temporal databases and dedicated query languages, uncertain/indeterminate/imprecise temporal data, temporal data learning)
- Temporal Graphs, Networks (Bayesian network, Neural networks)
- Event and Pattern recognition (including time series and temporal chronicles)
- 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
TIME 2026 accepts submissions in PDF format, formatted following the Open Access Series in Informatics (OASIcs) and preferably using 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. At least one author of each accepted paper must register at the symposium and present the paper.
We use EasyChair throughout the submission and selection process. Author instructions with all required information can be found here. The webpage for submitting papers is here.
There are three types of submissions, and the authors are invited to specify under which one their paper lies:
1) Original papers (12/15 pages, excluding front page, references and appendix): such papers describe original, non-published contributions. It includes theoretical (new algorithms, proofs, models) and applied (applications, system descriptions, evaluation) contributions. 2) Survey paper (12/15 pages, excluding front page, 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.The proceedings of TIME will be published in the Open Access Series in Informatics (OASIcs). 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.
Please contact the program chairs for more information:
AndreA Orlandini and Sophie Pinchinat
e-mail: time2026@easychair.org