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.

ltf to dfa
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.

Topics

Topics 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
  • Robotics
  • Motion and Task Planning
  • Discrete-Event Control
  • Workflow Management
  • Conversational Systems
  • Automated Service Composition
  • Business Process Management
  • Fintech
  • Cyber Security
  • Human computer interaction
  • Natural Language Processing

Important Dates

  • January 30, 2023 tFebruary 6, 2023 : Paper submission deadline (AoE).
  • February 4, 2023 February 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.

Format

The symposium will be conducted in a hybrid style, in-person and on Zoom.