LIPIcs, Volume 247, TIME 2022

• Alexander Artikis, Roberto Posenato, and Stefano Tonetta LIPIcs, Volume 247, TIME 2022, Complete Volume 10.4230/LIPIcs.TIME.2022
• Alexander Artikis, Roberto Posenato, and Stefano Tonetta Front Matter, Table of Contents, Preface, Conference Organization 10.4230/LIPIcs.TIME.2022.0
• Moshe Y. Vardi Linear Temporal Logic: From Infinite to Finite Horizon (Invited Talk) 10.4230/LIPIcs.TIME.2022.1
• Silvia Miksch Visual Analytics Meets Temporal Reasoning: Challenges and Opportunities (Invited Talk) 10.4230/LIPIcs.TIME.2022.2
• Stijn Vansummeren Getting to the CORE of Complex Event Recognition (Invited Talk) 10.4230/LIPIcs.TIME.2022.3
• Isaac Mackey, Raghubir Chimni, and Jianwen Su Early Detection of Temporal Constraint Violations 10.4230/LIPIcs.TIME.2022.4
• Florian Bruse, Martin Lange, and Etienne Lozes The Tail-Recursive Fragment of Timed Recursive CTL 10.4230/LIPIcs.TIME.2022.5
• Victor Roussanaly and Yliès Falcone Decentralised Runtime Verification of Timed Regular Expressions 10.4230/LIPIcs.TIME.2022.6
• Thomas Guyet and Nicolas Markey Logical Forms of Chronicles 10.4230/LIPIcs.TIME.2022.7
• Ashwin Bhaskar and M. Praveen Realizability Problem for Constraint LTL 10.4230/LIPIcs.TIME.2022.8
• Nicolas Peltier Reasoning on Dynamic Transformations of Symbolic Heaps 10.4230/LIPIcs.TIME.2022.9
• Dimitar P. Guelev Gabbay Separation for the Duration Calculus 10.4230/LIPIcs.TIME.2022.10
• Laura Bozzelli and Adriano Peron A Quantitative Extension of Interval Temporal Logic over Infinite Words 10.4230/LIPIcs.TIME.2022.11
• Gianluca Apriceno, Andrea Passerini, and Luciano Serafini A Neuro-Symbolic Approach for Real-World Event Recognition from Weak Supervision 10.4230/LIPIcs.TIME.2022.12
• Giovanni Pagliarini, Simone Scaboro, Giuseppe Serra, Guido Sciavicco, and Ionel Eduard Stan Neural-Symbolic Temporal Decision Trees for Multivariate Time Series Classification 10.4230/LIPIcs.TIME.2022.13
• Massimo Benerecetti, Fabio Mogavero, and Adriano Peron Taming Strategy Logic: Non-Recurrent Fragments 10.4230/LIPIcs.TIME.2022.14
• Julian Gutierrez, Sarit Kraus, Giuseppe Perelli, and Michael Wooldridge Giving Instructions in Linear Temporal Logic 10.4230/LIPIcs.TIME.2022.15