Schedule

9:00 --- Registration

9:50  - 10:00 - Opening

10:00 - 11:00 - Invited Lecture (chair Wojciech Penczek)

• Stephane Demri. On temporal and separation logics.

11:00 - 11:30 - coffee

11:30 - 12:30 - Temporal Logic 1 (chair Wojciech Penczek)

• Alexander Bolotov, Paqui Lucio and Montserrat Hermo. Extending fairness expressibility of ECTL⁺: a tree-style one-pass tableau approach.
• Daniel Kernberger and Martin Lange. On the Expressive Power of Hybrid Branching-Time Logics.

12:30 - 14:00 - Lunch

14:00 - 15:30 - Temporal Networks 1 (chair Guido Sciavicco)

• Luke Hunsberger and Roberto Posenato. Reducing ε-DC Checking for Conditional Simple Temporal Networks to DC Checking.
• Luke Hunsberger and Roberto Posenato. A Sound-and-Complete Algorithm for Checking the Controllability of Conditional Simple Temporal Networks with Uncertainty.
• Carlo Combi and Roberto Posenato. Extending Conditional Simple Temporal Networks with Partially Shrinkable Uncertainty.

15:30 - 16:00 - Coffee

16:00 - 17:30 - Learning Temporal Representations (chair Wojciech Jamroga)

• Marco Gavanelli, Alessandro Passantino and Guido Sciavicco. Deciding the Consistency of Branching Time Interval Networks.
• Davide Bresolin, Enrico Cominato, Simone Gnani, Emilio Muñoz-Velasco and Guido Sciavicco. Extracting Interval Temporal Logic Rules: A First Approach.
• George Athanasopoulos, George Paliouras, Dimitrios Vogiatzis, Grigorios Tzortzis and Nikos Katzouris. Predicting the Evolution of Communities with Online Inductive Logic Programming Applications.

10:00-11:00 - Invited Lecture (chair Kjetil Nørvåg )

• Johann Gamper. Database technology for processing temporal data.

11:00-11.30 - Coffee

11.30-12:30 - Temporal Data Processing (chair Kjetil Nørvåg)

• Georgios M. Santipantakis, Akrivi Vlachou, Christos Doulkeridis, Alexander Artikis, Ioannis Kontopoulos and George A. Vouros. A Stream Reasoning System for Maritime Monitoring.
• Andreas Dohr, Christiane Engels and Andreas Behrend. Algebraic Operators for Processing Sets of Temporal Intervals in Relational Databases.

12:30 - 14:00 - Lunch

14:00-15:30 - Temporal Networks 2 (chair Roberto Posenato)

• Carlo Comin and Romeo Rizzi. On Restricted Disjunctive Temporal Problems: Faster Algorithms and Tractability Frontier.
• Massimo Cairo, Luke Hunsberger and Romeo Rizzi. Faster Dynamic Controllability Checking for Simple Temporal Networks with Uncertainty.
• Malek Mouhoub, Hamad Al Marri and Eisa Alanazi. Learning Qualitative Constraint Networks.

15:30 - 16:00 - Coffee

16:00 - 17:30 - Specification and Neural Networks (chair Angelo Montanari)

• Malte S. Kließ, Catholijn M. Jonker and M. Birna van Riemsdijk. Temporal Logic for Modelling Activities of Daily Living.
• Julius Köpke, Johann Eder and Jianwen Su. GSM+T: A timed artifact-centric process model.
• Pattreeya Tanisaro and Gunther Heidermann. An Empirical Study on Bidirectional Recurrent Neural Networks for Human Motion Recognition

19.00 - Conference Dinner

10:00 - 11:00 - Invited Lecture (chair Natasha Alechina)

• Wojtek Jamroga. Model checking strategic ability: why, what, and especially: how?

11:00 - 11.30 - Coffee

11.30 - 12.30 - Temporal Logic 2 (chair Natasha Alechina)

• Laura Bozzelli, Aniello Murano and Loredana Sorrentino. Results on alternating-time temporal logics with linear past.
• Przemysław Andrzej Wałęga. Computational Complexity of a Core Fragment of Halpern-Shoham Logic.

12:30 -14:00 - Lunch

14:00 - 15:00 - Timed Automata and Games (chair Stephane Demri)

• Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini and Mark Reynolds. A game-theoretic approach to timeline-based planning with uncertainty.
• Lewis Tolonen, Mark Reynolds and Tim French. Population Based Methods for Optimising Infinite Behaviours of Timed Automata.

15.00 – 15.15 - Closing session