LIPIcs, Volume 206, TIME 2021

• Carlo Combi, Johann Eder, and Mark Reynolds LIPIcs, Volume 206, TIME 2021, Complete Volume 10.4230/LIPIcs.TIME.2021
• Carlo Combi, Johann Eder, and Mark Reynolds Front Matter, Table of Contents, Preface, Conference Organization 10.4230/LIPIcs.TIME.2021.0
• Luke Hunsberger and Roberto Posenato Simple Temporal Networks: A Practical Foundation for Temporal Representation and Reasoning (Invited Talk) 10.4230/LIPIcs.TIME.2021.1
• Torben Bach Pedersen Extreme-Scale Model-Based Time Series Management with ModelarDB (Invited Talk) 10.4230/LIPIcs.TIME.2021.2
• Johan Suykens Kernel Machines in Time (Invited Talk) 10.4230/LIPIcs.TIME.2021.3
• Alfredo Cuzzocrea Temporal Big Data Analytics: New Frontiers for Big Data Analytics Research (Panel Description) 10.4230/LIPIcs.TIME.2021.4
• Alexis Bédard and Sylvain Hallé Model Checking of Stream Processing Pipelines 10.4230/LIPIcs.TIME.2021.5
• Alexandros Spitalas, Anastasios Gounaris, Kostas Tsichlas, and Andreas Kosmatopoulos Investigation of Database Models for Evolving Graphs 10.4230/LIPIcs.TIME.2021.6
• Federico Manzella, Giovanni Pagliarini, Guido Sciavicco, and Ionel Eduard Stan Interval Temporal Random Forests with an Application to COVID-19 Diagnosis 10.4230/LIPIcs.TIME.2021.7
• Luca Geatti, Nicola Gigante, Angelo Montanari, and Gabriele Venturato Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker 10.4230/LIPIcs.TIME.2021.8
• Laura Bozzelli, Angelo Montanari, Adriano Peron, and Pietro Sala Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes 10.4230/LIPIcs.TIME.2021.9
• Vladislav Ryzhikov, Yury Savateev, and Michael Zakharyaschev Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic 10.4230/LIPIcs.TIME.2021.10
• Gianluca Apriceno, Andrea Passerini, and Luciano Serafini A Neuro-Symbolic Approach to Structured Event Recognition 10.4230/LIPIcs.TIME.2021.11
• Florian Bruse and Martin Lange Model Checking Timed Recursive CTL 10.4230/LIPIcs.TIME.2021.12
• Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, and Parisa Zehtabi Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans 10.4230/LIPIcs.TIME.2021.13
• Curtis E. Dyreson and M. A. Manazir Ahsan Achieving a Sequenced, Relational Query Language with Log-Segmented Timestamps 10.4230/LIPIcs.TIME.2021.14
• Tomás Ribeiro, Oscar Lima, Michael Cashmore, Andrea Micheli, and Rodrigo Ventura Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans 10.4230/LIPIcs.TIME.2021.15
• Anasse Chafik, Fahima Cheikh-Alili, Jean-François Condotta, and Ivan Varzinczak A One-Pass Tree-Shaped Tableau for Defeasible LTL 10.4230/LIPIcs.TIME.2021.16
• Sparsa Roychowdhury 1½-Player Stochastic StopWatch Games 10.4230/LIPIcs.TIME.2021.17