<!DOCTYPE html>
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<br>
Apologies for multiple copies<br>
<br>
*** Call for Papers ***<br>
<br>
33rd International Symposium on Temporal Representation and
Reasoning (TIME 2026)<br>
1-3 September 2026, Dublin, Ireland.<br>
<a class="moz-txt-link-freetext" href="https://time26.cnr.it/">https://time26.cnr.it/</a><br>
<br>
Co-located with the 37th International Conference on Principles of
Diagnosis and Resilient Systems (DX’26)<br>
<br>
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.<br>
<br>
TIME 2026 is co-located with the 37th International Conference on
Principles of Diagnosis and Resilient Systems (DX’26) and it will be
from the 1st to the 3rd of September 2026 at the University College
of Cork.<br>
<br>
More details about TIME and the previous editions of this symposium
can be found via the following link: <br>
<a class="moz-txt-link-freetext" href="https://time-symposium.org/">https://time-symposium.org/</a>.<br>
<br>
**Topics of interest**<br>
- 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)<br>
- Diagnosis and Supervision of Real-Time systems (Timed Automata,
Timed Petri nets, Timed Games)<br>
- Time in Machine Learning and Generative Artificial Intelligence
(Neural networks, Deep/Reinforcement learning, LLMs and Natural
Language Processing)<br>
- Notable aspects of time in agent- and policy-based systems
(Multi-agent systems, Markov decision processes, agentic AI
frameworks)<br>
- Temporal Data (sensing, discovery, mining, temporal databases and
dedicated query languages, uncertain/indeterminate/imprecise
temporal data, temporal data learning)<br>
- Temporal Graphs, Networks (Bayesian network, Neural networks,)<br>
- Event and Pattern recognition (including time series and temporal
chronicles)<br>
<br>
The list above is by no means exhaustive, as the aim is to foster
the debate around all aspects of time in automation.<br>
<br>
**Important dates**<br>
May 06, 2026: Abstract submission deadline<br>
May 11, 2026 Paper submission deadline<br>
June 22, 2026: Paper acceptance/rejection notification date<br>
July 24, 2026: Camera-ready submission deadline<br>
September 01–03, 2026: Symposium dates<br>
<br>
Note: all deadlines are AoE (Anywhere on Earth).<br>
<br>
**Submission guidelines**<br>
TIME 2026 accepts submissions in PDF format, formatted following the
Open Access Series in Informatics (OASIcs
<a class="moz-txt-link-freetext" href="https://drops.dagstuhl.de/entities/series/OASIcs#author">https://drops.dagstuhl.de/entities/series/OASIcs#author</a>) 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.<br>
<br>
We use EasyCshair throughout the submission and selection process.
The webpage for submitting papers with all required information can
be found here <br>
<a class="moz-txt-link-freetext" href="https://easychair.org/conferences/?conf=time2026">https://easychair.org/conferences/?conf=time2026</a><br>
<br>
There are three types of submissions, and the authors are invited to
specify under which one their paper lies:<br>
1) Original papers (12 pages, excluding references and appendix):
such papers describe original, non-published contributions. It
includes theoretical (new algorithms, proofs, models) and applied
(applications, system descriptions, evaluation) contributions.<br>
2) Survey papers (12 pages, excluding references and appendix): such
papers are intended to propose a short review of a complete domain
of research.<br>
<br>
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.<br>
<br>
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.<br>
<br>
Please contact the program chairs for more information: <br>
AndreA Orlandini and Sophie Pinchinat<br>
Email: <a class="moz-txt-link-abbreviated" href="mailto:time2026@easychair.org">time2026@easychair.org</a><br>
<br>
<div class="moz-signature">-- <br>
<table _ngcontent-spd-c51="" width="450"
style="border-collapse: collapse; border-spacing: 0; width: 450px;">
<tbody _ngcontent-spd-c51="">
<tr _ngcontent-spd-c51="">
<td _ngcontent-spd-c51="" width="162"
style="border-style: none; padding: 0 18px 0 0; border-style: none solid none none; border-color: #002F5F; border-width: 0 1px 0 0; width: 162px;">
<table _ngcontent-spd-c51=""
style="border-collapse: collapse; border-spacing: 0;">
<tbody _ngcontent-spd-c51="">
<tr _ngcontent-spd-c51="">
<td _ngcontent-spd-c51=""
style="border-style: none; padding: 0;"> <img
_ngcontent-spd-c51="" role="presentation"
height="99" width="162"
style="display: block; width: 162px; height: 99px;"
src="cid:part1.iu0EgtVO.Z7VzO7ok@istc.cnr.it"> </td>
</tr>
<tr _ngcontent-spd-c51="">
<td _ngcontent-spd-c51="" height="30"
style="border-style: none; padding: 0;"><br>
</td>
</tr>
<tr _ngcontent-spd-c51="">
<td _ngcontent-spd-c51=""
style="border-style: none; padding: 0; text-align: center;"> <a
_ngcontent-spd-c51=""
href="https://www.facebook.com/CNRsocialFB"
style="display: inline-block; padding: 0px;"> <img
_ngcontent-spd-c51="" alt="facebook"
height="23" width="23"
style="width: 23px; height: 23px; display: inline-block;"
src="cid:part2.EQIiubzl.6mViXgtO@istc.cnr.it">
</a> <a _ngcontent-spd-c51=""
href="https://twitter.com/CNRsocial_"
style="display: inline-block; padding: 0px;"> <img
_ngcontent-spd-c51="" alt="twitter"
height="23" width="23"
style="width: 23px; height: 23px; display: inline-block;"
src="cid:part3.KiC10dXC.GLhRvF8j@istc.cnr.it">
</a> <a _ngcontent-spd-c51=""
href="https://www.instagram.com/cnrsocial/"
class="social-links__LinkAnchor-sc-py8uhj-2 hBVWAh"
style="display: inline-block; padding: 0px;"> <img
_ngcontent-spd-c51="" alt="instagram"
height="23" width="23"
style="width: 23px; height: 23px; display: inline-block;"
src="cid:part4.PrT3Xk0p.OHtKOPFQ@istc.cnr.it">
</a> <a _ngcontent-spd-c51=""
href="https://www.linkedin.com/company/283032"
class="social-links__LinkAnchor-sc-py8uhj-2 hBVWAh"
style="display: inline-block; padding: 0px;"> <img
_ngcontent-spd-c51="" alt="linkedin"
height="23" width="23"
style="width: 23px; height: 23px; display: inline-block;"
src="cid:part5.lLICMAOf.VjemjbiR@istc.cnr.it">
</a> </td>
</tr>
</tbody>
</table>
</td>
<td _ngcontent-spd-c51="" width="236"
style="border-style: none; padding: 0 0 0 18px;">
<table _ngcontent-spd-c51=""
style="border-collapse: collapse; border-spacing: 0;">
<tbody _ngcontent-spd-c51="">
<tr _ngcontent-spd-c51="">
<td _ngcontent-spd-c51=""
style="border-style: none; padding: 0; font-size: 14px; line-height: 1.2; font-family: 'Source Sans Pro', Aptos, 'Open Sans', sans-serif; color: #002F5F;">AndreA
Orlandini</td>
</tr>
<tr _ngcontent-spd-c51="">
<td _ngcontent-spd-c51=""
style="border-style: none; padding: 0; font-size: 14px; line-height: 1.2; font-family: 'Source Sans Pro', Aptos, 'Open Sans', sans-serif; color: #002F5F;">CNR,
ISTITUTO DI SCIENZE E TECNOLOGIE DELLA COGNIZIONE</td>
</tr>
<tr _ngcontent-spd-c51="">
<td _ngcontent-spd-c51=""
style="border-style: none; padding: 0; font-size: 1px;"><img
_ngcontent-spd-c51=""
src="cid:part6.ATMAi81J.53cEWACF@istc.cnr.it"
style="width: 251px; height: 18px;"></td>
</tr>
<tr _ngcontent-spd-c51="">
<td _ngcontent-spd-c51=""
style="border-style: none; padding: 0; font-size: 12px; line-height: 1.2; font-family: 'Source Sans Pro', Aptos, 'Open Sans', sans-serif; color: #002F5F;">Tel.
0644595223</td>
</tr>
<tr _ngcontent-spd-c51="">
<td _ngcontent-spd-c51=""
style="border-style: none; padding: 0; font-size: 12px; line-height: 1.2; font-family: 'Source Sans Pro', Aptos, 'Open Sans', sans-serif; color: #002F5F;"><br>
</td>
</tr>
<tr _ngcontent-spd-c51="">
<td _ngcontent-spd-c51=""
style="border-style: none; padding: 0; font-size: 12px; line-height: 1.2; font-family: 'Source Sans Pro', Aptos, 'Open Sans', sans-serif; color: #002F5F;"><a class="moz-txt-link-abbreviated" href="mailto:andrea.orlandini@istc.cnr.it">andrea.orlandini@istc.cnr.it</a></td>
</tr>
<tr _ngcontent-spd-c51="">
<td _ngcontent-spd-c51=""
style="border-style: none; padding: 0; font-size: 12px; line-height: 1.2; font-family: 'Source Sans Pro', Aptos, 'Open Sans', sans-serif; color: #002F5F;">Via
Gian Domenico Romagnosi, 18 <br>
00196 – Roma </td>
</tr>
<tr _ngcontent-spd-c51="">
<td _ngcontent-spd-c51=""
style="border-style: none; padding: 0; font-size: 1px;"><img
_ngcontent-spd-c51=""
src="cid:part6.ATMAi81J.53cEWACF@istc.cnr.it"
style="width: 251px; height: 18px;"></td>
</tr>
<tr _ngcontent-spd-c51="">
<td _ngcontent-spd-c51=""
style="border-style: none; padding: 0; font-size: 13px; line-height: 1.2; font-family: 'Source Sans Pro', Aptos, 'Open Sans', sans-serif; color: #002F5F;"><a
_ngcontent-spd-c51="" href="http://www.cnr.it/"
target="_blank" style="text-decoration: none;"><b
_ngcontent-spd-c51=""><span
_ngcontent-spd-c51=""
style="color: #00236C; text-decoration: none;">www.cnr.it</span></b></a></td>
</tr>
<tr _ngcontent-spd-c51="">
<td _ngcontent-spd-c51=""
style="border-style: none; padding: 0; font-size: 13px; line-height: 1.2; font-family: 'Source Sans Pro', Aptos, 'Open Sans', sans-serif; color: #002F5F;">Devolvi
il 5×1000 al CNR</td>
</tr>
<tr _ngcontent-spd-c51="">
<td _ngcontent-spd-c51=""
style="border-style: none; padding: 0; font-size: 13px; line-height: 1.2; font-family: 'Source Sans Pro', Aptos, 'Open Sans', sans-serif; color: #002F5F;">CF
80054330586</td>
</tr>
<tr _ngcontent-spd-c51="">
<td _ngcontent-spd-c51=""
style="border-style: none; padding: 0; font-size: 13px; line-height: 1.2; font-family: 'Source Sans Pro', Aptos, 'Open Sans', sans-serif; color: #002F5F;"><br>
Me, the one and only person that never leaves me
alone</td>
</tr>
</tbody>
</table>
<!---->
<!----> </td>
</tr>
</tbody>
</table>
<br>
--<br>
</div>
</body>
</html>