============================================================
CALL FOR PAPERS
"Highlights of Reasoning about Actions, Planning and Reactive Synthesis"
Co-located with ECAI 2024, October 19, 2024, Santiago de Compostela, Spain
Website: https://actsynt.github.io/
The fields of Reasoning about Actions and Planning in AI are undergoing rapid advancements, incorporating concepts and techniques from Reactive Synthesis and Strategic Reasoning, originally developed in Formal Methods. In recent years, the focus has evolved beyond standard forms of reasoning, such as action sequence executability and future effects (projection), to encompass more sophisticated modes of reasoning. This evolution has led to the identification of common points with other prominent areas of CS, facilitating a richer interdisciplinary discourse. A noteworthy convergence is observed between Reactive Synthesis in Formal Methods. Reactive Synthesis is based on the idea of constructing trustworthy-by-design systems that meet their specifications. This approach is of particular interest in designing autonomous intelligent systems that can react to changing environments and make decisions accordingly. Furthermore, the integration of Reasoning about Actions and Planning is expanding its connections to various forms of synthesis, including generalized planning and more. However, navigating this evolving landscape is challenging due to the dispersion of relevant research across numerous conferences and venues.
Drawing upon a successful format followed in other fields (e.g., Highlights of Logic, Games and Automata and On the Effectiveness of Temporal Logics on Finite Traces in AI), the workshop aims to offer a wide picture of the latest research in the field 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 span the use of temporal logics over finite traces, including (but not limited to) the following areas:
Important Dates (AoE)
Invited Speakers
Organizing Committee
Contacts
For any information contact Antonio Di Stasio (antonio....@cs.ox.ac.uk) or Shufang Zhu (shufa...@cs.ox.ac.uk).
Looking forward to seeing you at ActSynt 2024 in Santiago de Compostela!