Submissions should have a single main author, who will be the speaker, and each speaker can have no more than one submission. Each submission must be one- or two-pages long, including references (in AAAI style), and may refer to joint work with other collaborators to be credited in the presentation. There will be no formal proceedings and we encourage submissions of work presented or submitted elsewhere (no copyright transfer is required, only permission to post the abstract on the workshop site). Submissions should be uploaded via the AAAI SSS-23 EasyChair site.

Important Dates

  • January 30, 2023 February 6, 2023 : Paper submission deadline (AoE).
  • February 4, 2023 February 17, 2023 : Author notification (AoE).


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