Temporal logics, such as Linear Temporal Logic (LTL), are widely adopted as a logical specification language in Formal
Methods. They are also getting increasing attention from the AI Community. In AI, however, there is often a need to
interpret such logics over finite traces, rather than the traditional infinite-trace interpretation. This is evident,
for instance, in Planning and Business Process Management. An important computational feature of working with finite
traces is that it allows one to use standard finite-state automata to model and reason, rather than the more complex
omega-automata used for infinite traces. This is a great simplification that has already had a significant impact on
many areas of AI and CS.
This symposium, part of the AAAI'23 Spring Symposium Series, aims to bring together researchers working with temporal logics on finite traces, in basic research and applications, in order to foster a common space to discuss current results and future directions and to facilitate the emergence of teams working across different areas.
TopicsTopics of interest range on any use of Temporal Logics on finite traces, including (but not limited to) the following areas:
- AI Planning
- Verification and Synthesis
- Reinforcement Learning
- Automated Reasoning
- Knowledge Representation
- Multi-Agent Systems
- Motion and Task Planning
- Discrete-Event Control
- Workflow Management
- Conversational Systems
- Automated Service Composition
- Business Process Management
- Cyber Security
- Human computer interaction
- Natural Language Processing
January 30, 2023tFebruary 6, 2023 : Paper submission deadline (AoE).
February 4, 2023February 17, 2023 : Author notification (AoE).
- March, 4, 2023: Registration deadline. The registration is mandatory for both in-person and remote participation, and the registration fee is the same.
- March 27-29: AAAI 2023 Spring Symposium Series.