CALL FOR PAPERS

"On the Effectiveness of Temporal Logics on Finite Traces in AI"

Part of the AAAI 2023 Spring Symposium Series https://aaai.org/Symposia/Spring/sss23.php

March 27-29, 2023, Hyatt Regency San Francisco Airport, CA, USA

Website: https://ltlf-symposium.github.io/

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 works on Planning, Reinforcement Learning, 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 aims to bring together researchers working with temporal logics on finite traces, in basic research and applications, in order to discuss current results and future directions, and to facilitate the emergence of teams working across different areas.

Topics

Topics of interest span the use of temporal logics over 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

Submissions

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 not exceed 2 pages, 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. https://easychair.org/conferences/?conf=sss23

Important Dates

-

*February 6, 2023*: Paper submission deadline (AoE). -

*February 11, 2023*: Author notification (AoE). -

March 27-29: AAAI Spring Symposium Series.

Invited Speakers

-

Rance Cleaveland https://www.cs.umd.edu/people/wcleavel, University of Maryland, USA -

Giuseppe De Giacomo https://www.diag.uniroma1.it//degiacom/, University of Oxford & Sapienza University of Rome, Italy -

Lydia Kavraki https://www.cs.rice.edu/~kavraki/, Rice University, Houston, TX, USA -

Shiela A. Mcilraith https://www.cs.toronto.edu/~sheila/, University of Toronto, Canada -

Marco Montali https://www.unibz.it/it/faculties/computer-science/academic-staff/person/31326-marco-montali, University of Bolzano, Italy -

Kristin Y. Rozier https://www.engineering.iastate.edu/people/profile/kyrozier/, Iowa State University, USA -

Ufuk Topcu https://www.ae.utexas.edu/people/faculty/faculty-directory/topcu, University of Texas at Austin, TX, USA -

Moshe Vardi https://www.cs.rice.edu/~vardi/, Rice University, Houston, TX, USA

Organizing Committee

-

Suguman Bansal https://suguman.github.io/, Co-Chair, Georgia Institute of Technology, suguman@gatech.edu -

Antonio Di Stasio https://antoniodistasio.github.io/, Co-Chair, University of Oxford, antonio.distasio@cs.ox.ac.uk -

Sasha Rubin https://sasharubin.github.io/, Co-Chair, University of Sydney, sasha.rubin@sydney.edu.au -

Shufang Zhu https://shufang-zhu.github.io/, Co-Chair, Sapienza University of Rome, zhu@diag.uniroma1.it

Format

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

Website

For more information, please see the symposium website: https://ltlf-symposium.github.io/