28th International Symposium on Temporal Representation and Reasoning

Europe/Vienna
University of Klagenfurt, Austria

University of Klagenfurt, Austria

Universitätsstraße 65/67, Klagenfurt am Wörthersee, Austria
Description

TIME 2021 - 28th International Symposium on Temporal Representation and Reasoning

Registration
TIME 2021 Registration
Contact
    • 10:45 11:00
      Opening Ceremony
    • 11:00 12:00
      Invited Talk 1
      • 11:00
        Simple Temporal Networks: A Practical Foundation for Temporal Representation and Reasoning 1h
        Speakers: Prof. Luke Hunsberger, Prof. Roberto Posenato
    • 12:00 14:00
      Lunch Break 2h
    • 14:00 15:00
      Temporal Data Modeling and Querying
      • 14:00
        Investigation of database models for evolving graphs 20m

        Authors: Alexandros Spitalas, Anastasios Gounaris, Kostas Tsichlas, and Andreas Kosmatopoulos

        Speaker: Mr Alexandros Spitalas
      • 14:20
        Achieving a Sequenced, Relational Query Language with Log-Segmented Timestamps 20m

        Authors: Curtis E. Dyreson and M.A. Manazir Ahsan

      • 14:40
        Deciding FO-rewritability of Ontology-Mediated Queries in Linear Temporal Logic 20m

        Authors: Vladislav Ryzhikov, Yury Savateev, and Michael Zakharyaschev

        Speaker: Dr Vladislav Ryzhikov
    • 15:00 15:30
      Coffee Break 30m
    • 15:30 16:30
      Temporal Planning
      • 15:30
        Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans 20m

        Authors: Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, and Parisa Zehtabi

        Speaker: Dr Michael Cashmore
      • 15:50
        Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans 20m

        Authors: Tomás Ribeiro, Oscar Lima, Michael Cashmore, Andrea Micheli, and Rodrigo Ventura

    • 11:00 12:00
      Invited Talk 2
      • 11:00
        Extreme-Scale Model-Based Time Series Management with ModelarDB 1h
        Speaker: Prof. Torben Bach Pedersen
    • 12:00 14:00
      Lunch Break 2h
    • 14:00 15:00
      Model Checking and Timed Games
      • 14:00
        Model Checking Timed Recursive CTL 20m

        Authors: Florian Bruse and Martin Lange

      • 14:20
        Model Checking of Stream Processing Pipelines 20m

        Authors: Alexis Bédard and Sylvain Hallé

      • 14:40
        1½-Player Stochastic StopWatch Games 20m

        Authors: Sparsa Roychowdhury

        Speaker: Mr Sparsa Roychowdhury
    • 15:00 15:30
      Coffee Break 30m
    • 15:30 16:30
      AI and Time
      • 15:30
        Interval Temporal Random Forests with an Application to COVID-19 Diagnosis 20m

        Authors: Federico Manzella, Giovanni Pagliarini, Guido Sciavicco, and Ionel Eduard Stan

      • 15:50
        A Neuro-Symbolic Approach to Structured Event Recognition 20m

        Authors: Gianluca Apriceno, Andrea Passerini, and Luciano Serafini

    • 11:00 12:00
      Invited Talk 3
      • 11:00
        Kernel machines in time 1h
        Speaker: Prof. Johan Suykens
    • 12:00 14:00
      Lunch Break 2h
    • 14:00 15:00
      Logics
      • 14:00
        Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker 20m

        Authors: Luca Geatti, Nicola Gigante, Angelo Montanari, and Gabriele Venturato

      • 14:20
        Pspace-completeness of the temporal logic of sub-intervals and suffixes 20m

        Authors: Laura Bozzelli, Angelo Montanari, Adriano Peron, and Pietro Sala

        Speaker: Dr Pietro Sala
      • 14:40
        A one-pass tree-shaped tableau for defeasible LTL 20m

        Authors: Anasse Chafik, Fahima Cheikh-Alili, Jean-François Condotta, and Ivan Varzinczak

    • 15:00 15:30
      Coffee Break 30m
    • 15:30 16:30
      Panel
      • 15:30
        Temporal Big Data Analytics 1h
        Speaker: Prof. Alfredo Cuzzocrea