25th International Symposium on Temporal Representation and Reasoning (TIME 2018)
Warsaw, Poland 15-17 October 2018

Schedule


  • Monday 15 October 2018


    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 TBA)

    • Carlo Combi and Roberto Posenato. Extending Conditional Simple Temporal Networks with Partially Shrinkable Uncertainty.
    • 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.

    15:30 - 16:00 - Coffee

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

    • 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.
  • Tuesday 16 October 2018


    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 TBA)

    • 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 TBA)

    • 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

  • Wednesday 17 October 2018


    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.30Temporal 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 TBA)

    • 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

Patronage
and sponsors:


    Institute of Computer Science Polish Academy of Sciences © 2018 | Privacy Policy