28th International Symposium on Temporal Representation and Reasoning

from Monday, 27 September 2021 (10:00) to Wednesday, 29 September 2021 (16:30)
University of Klagenfurt, Austria

        : Sessions
    /     : Talks
        : Breaks
27 Sep 2021
28 Sep 2021
29 Sep 2021
AM
10:45
Opening Ceremony (until 11:00) ()
11:00
Invited Talk 1 (until 12:00) ()
11:00 Simple Temporal Networks: A Practical Foundation for Temporal Representation and Reasoning - Prof. Roberto Posenato Prof. Luke Hunsberger   ()
11:00
Invited Talk 2 (until 12:00) ()
11:00 Extreme-Scale Model-Based Time Series Management with ModelarDB - Prof. Torben Bach Pedersen   ()
11:00
Invited Talk 3 (until 12:00) ()
11:00 Kernel machines in time - Prof. Johan Suykens   ()
PM
12:00 --- Lunch Break ---
14:00
Temporal Data Modeling and Querying (until 15:00) ()
14:00 Investigation of database models for evolving graphs - Mr Alexandros Spitalas   ()
14:20 Achieving a Sequenced, Relational Query Language with Log-Segmented Timestamps   ()
14:40 Deciding FO-rewritability of Ontology-Mediated Queries in Linear Temporal Logic - Dr Vladislav Ryzhikov   ()
15:00 --- Coffee Break ---
15:30
Temporal Planning (until 16:30) ()
15:30 Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans - Dr Michael Cashmore   ()
15:50 Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans   ()
12:00 --- Lunch Break ---
14:00
Model Checking and Timed Games (until 15:00) ()
14:00 Model Checking Timed Recursive CTL   ()
14:20 Model Checking of Stream Processing Pipelines   ()
14:40 1½-Player Stochastic StopWatch Games - Mr Sparsa Roychowdhury   ()
15:00 --- Coffee Break ---
15:30
AI and Time (until 16:30) ()
15:30 Interval Temporal Random Forests with an Application to COVID-19 Diagnosis   ()
15:50 A Neuro-Symbolic Approach to Structured Event Recognition   ()
12:00 --- Lunch Break ---
14:00
Logics (until 15:00) ()
14:00 Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker   ()
14:20 Pspace-completeness of the temporal logic of sub-intervals and suffixes - Dr Pietro Sala   ()
14:40 A one-pass tree-shaped tableau for defeasible LTL   ()
15:00 --- Coffee Break ---
15:30
Panel (until 16:30) ()
15:30 Temporal Big Data Analytics - Prof. Alfredo Cuzzocrea   ()