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