March 27, Day 1

9:00-10:30 Session 1
Invited Speaker Giuseppe De Giacomo: Linear-time Temporal Logics on Finite Traces
Ben Greenman: Little Tricky Logic: Misconceptions in the Understanding of LTL
10:30-11:00 Break
11:00-12:30 Session 2
Invited Speaker Marco Montali: Declarative process management and mining: a killer application for LTLf
10 minutes Break
Martin Leucker: Linear-Time Temporal Logic for Runtime Verification Revisited
Sarah Winkler: Monitoring Arithmetic Temporal Properties on Finite Traces
12:30-14:00 Lunch Break
14:00-15:30 Session 3
Invited Speaker Sheila McIlraith: Automated Planning with LTL: Techniques, Advances, and its Broad Applicability
10 minutes Break
Albertao Camacho: Temporal Logic Goal Specifications for Automated Planning
Toryn Q. Klassen: LTL and Beyond: Formal Languages for Reward Function Specification in Reinforcement Learning
15:30-16:00 Break
16:00-17:30 Session 4
Rodrigo Toro Icarte: Learning Reward Machines for Partially Observable Reinforcement Learning
Pashootan Vaezipoor: LTL2Action: Generalizing LTL Instructions for Multi-Task RL
Andrew Li: Learning to Follow Instructions in Text-Based Games
Luciana Silo: Planning for LTLf Goals in Presence of Uncertainty on the Initial State
Anneline Daggelinckx: Verifying Planning Sketches in CTL*f
Francesco Fuggitti: Planning for Pure-Past Linear Temporal Goals
Songtuan Lin: Comparing the Expressivity of STRIPS Planning with Finite-LTL vs. LTL
20 minutes Poster Session
18:00-19:00 Reception

March 28, Day 2

9:00 - 10:30 Session 5
Invited Speaker Kristin Rozier: On the Effectiveness of Mission-time Linear Temporal Logic (MLTL) in AI Applications
10 minutes Break
Suguman Bansal: Model Checking Linear Temporal Logic over Finite Traces
Linus Cooper: Checking Markov Chains against Alternating Finite-Word Automata Specifications
10:30 - 11:00 Break
11:00-12:30 Session 6
Invited Speaker Rance Cleaveland : Query-Checking for Finite Linear-time Temporal Logic
10 minutes Break
Torsten Schaub: Towards Temporal, Dynamic, and Metric Answer Set Programming over Linear Finite Traces
Francesco Chiariello: Temporal Reasoning in ASP and its Application to Declarative Process Mining
12:30-14:00 Lunch Break
14:00-15:30 Session 7
Invited Speaker Ufuk Topcu: Automaton-Based Representations of Task Knowledge from Generative Language Models
10 minutes Break
Ankit Shah: LTL-Transfer: Skill Transfer for Temporally-Extended Task Specifications
Elena Umili: Grounding LTLf Specifications in Image Sequences
15:30-16:00 Break
16:00-17:30 Session 8
Yves Lespérance: On LTLf Synthesis and Goal Formation/Revision
Senthil Rajasekaran: Verification and Realizability in Finite-Horizon Multiagent Systems
Gianmarco Parretti: LTLf Best-Effort Synthesis in Nondeterministic Domains
Lucas Martinelli Tabajara: LTLf Synthesis under Partial Observability: From Theory to Practice
Luca Geatti: Reactive Synthesis for DECLARE Process Models
Jianwen Li: A Journey from LTLf Satisfiability to Synthesis
Marco Favorito: Compositional LTLf /LDLf Synthesis
20 minutes Poster Session
18:00-19:30 Plenary Session (SSS)

March 29, Day 3

9:00 - 10:30 Session 9
Nicola Gigante: Linear Temporal Logic Modulo Theories over Finite Traces
Eugenia Ternovska: An Algebraic Logic of Partial Functions on Finite Traces
Giacomo Bergami: KnoBAB: Making Logic Fast
Francesco Chiariello: Discovering Deterministic Finite State Automata from Event Logs for Business Process Analysis
Andrea Mazzullo: On the Effectiveness of Finite Traces in First-order Temporal Logic
Nima Motamed: Probabilistic Temporal Logic for Reasoning about Bounded Policies
Yotam Amitai: ASQ-IT: Interactive Explanations for Reinforcement-Learning Agents
10:30-11:00 Break
11:00-12:30 Session 10
Invited Speaker Moshe Vardi : From Infinite to Finite Horizons
Closing remarks, including results of LTLf experiments (Ben Greenman)