C’è tempo fino al 21 giugno 2024 per presentare una proposta di partecipazione al 31° Simposio dedicato ai rapporti fra tempo e informatica. Time. Temporal Representation and Reasoning, organizzato dal Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier (LIRMM), si svolge dal 28 al 30 ottobre al Campus Triolet dell’Université de Montpellier.
TIME, si legge nel sito, è un evento internazionale multidisciplinare annuale dedicato al tema del tempo in informatica.
“Lo scopo del simposio è quello di riunire ricercatori attivi in diverse aree di ricerca che riguardano la rappresentazione e il ragionamento temporale. Il simposio accoglie anche lavori di ricerca sui temi correlati della rappresentazione e del ragionamento spaziale e spazio-temporale. Nei primi anni, la maggior parte dei contributi proveniva dalla comunità dell’Intelligenza Artificiale, ma negli ultimi anni è aumentato il numero di contributi provenienti da altre aree come la Logica Temporale e la Verifica e anche dalle Basi di Dati Temporali”.
La lista degli argomenti sui quali si può intervenire è questa:
Spatial and temporal reasoning; Time in natural language processing; Reasoning about action and change; Complex event recognition and forecasting; Planning and planning languages; Ontologies of time and space-time; Belief and uncertainty in temporal knowledge; Temporal learning and discovery; Temporal data models and query languages: Temporal query processing and indexing; Temporal data mining; Stream data management; Spatio-temporal data management, including moving objects; Data currency and expiration; Indeterminate and imprecise temporal data; Temporal constraints; Specification and verification of systems; Verification of software and web applications; Synthesis and execution; Model checking algorithms and implementations; Temporal logics for infinite-state systems; Runtime verification of temporal properties; Temporal aspects of agent- and policy-based systems; Temporal networks; Temporal argumentation frameworks, Automata-theoretic techniques for temporal reasoning; Temporal knowledge graphs; Time-series data management; Events and time series explanations in healthcare. 

Questo l’indirizzo del sito con tutte le informazioni.