Logic List Mailing Archive
CfP: FCAI 2025: Foundations and Future of Change in Artificial Intelligence Workshop @ ECAI, 25/26 October 2025, Bologna (Italy)
Betreff: [CFP] Foundations and Future of Change in Artificial Intelligence (FCAI) - Workshop @ ECAI
****************************************************************************************
FCAI 2025 @ ECAI 2025
Foundations and Future of Change in Artificial Intelligence
October 25/26, Bologna, Italy
https://fcai2025.machine-reasoning.org/
Workshop co-located with the
28th European Conference on Artificial Intelligence (ECAI 2025)
****************************************************************************************
Changing information transversely affects nearly any task and process that we aim to formalize computationally. Consequently, making sense of how to change information is a central aspect and precursor for further advancements in many domains. Naturally, approaches to describe changes, to deal with change, and to conduct changes have been developed in very different areas of artificial intelligence. These approaches generally consider changing from different angles and highlight diverse aspects that sometimes complement each other. For instance, in database theory, much work has been devoted to transactions as the main representation of change and the study of how that affects the computational complexity of querying such databases. On the other hand, researchers in belief change investigated the axiomatic and semantics of different kinds of changes in formal theories. Recent advancements in Machine Learning pose new and exciting challenges in formal approaches to change, which seem conceptually different from classical approaches to change.
This workshop aims to bring together researchers from different areas of AI and beyond who work on change in their respective areas and see potential in bridging approaches or for radically advanced existing approaches to change to be combined with new ideas and perspectives. We also invite works that provide general insights on change that are important for multiple areas of artificial intelligence or even for computer science in general.
**********************
*** List of Topics ***
The workshop welcomes contributions on every topic related to the formal treatment of change, the evolution of representations in artificial intelligence, and approaches that implement such approaches. The following lists potential topics (but is not limited to these):
. Position papers on the foundations and future of change . Logics for the representations of changes or reasoning about changes . Belief change theory . Repair in databases and ontologies . Database update and querying . Dynamic complexity theory . Approaches to the meaning and semantics of change, e.g., conditionals and plausibility . Alternative meanings of change . Theories of aspects and kinds of changes, like inconsistency, time or ontologies of change . Foundations of editing, retraining or learning of subsymbolic representations . Learning as a change process . Algorithms to compute changes . Approaches to track changes . Philosophical aspects of change . Updating incomplete information . Dynamics of logic and database systems . Evolution and versioning . Reasoning about update programs
********************************
*** Deadlines and Submission ***
. Paper submission: July 13, 2025
. Notification: August 3, 2025
. Workshop: October 25/26, 2025 (tentative)
There are two types of submissions:
. Full papers. Full papers should be at most 18 pages (one column), excluding references and acknowledgments. Papers already published or accepted for publication at other conferences are also welcome, provided that the original publication is mentioned in a footnote on the first page and the submission at FCAI falls within the authors' rights. In the same vein, papers under review for other conferences can be submitted with a similar indication on their front page.
. Extended Abstracts. Extended abstracts should be at most 5 pages (one column), excluding references and acknowledgments. The abstracts should introduce work that has recently been published, is under review, or is ongoing research at an advanced stage. We highly encourage to attach to the submission a preprint/postprint or a technical report.
Such extra material will be read at the discretion of the reviewers.
Submitting already published material may require permission by the copyright holder.
Submission will be through the EasyChair conference system:
https://easychair.org/my/conference?conf=fcai2025
The accepted papers will be made available electronically in the CEUR Workshop Proceedings series as informal proceedings (http://ceur-ws.org/). The copyright of the papers remains with the authors. Full papers will be indexed by dblp.org; but extended abstracts published on CEUR proceedings will not be indexed by dblp.org.
*****************
*** PC Chairs ***
. Maria Vanina Martinez (Artificial Intelligence Research Institute (AAAI-CSIC), Barcelona, Spain) . Nina Pardal (University of Huddersfield, UK) . Kai Sauerwald (FernUniversitt in Hagen, Germany)
***************************
*** Further Information ***
For further information, please visit the FCAI webpage:
https://fcai2025.machine-reasoning.org/
Please feel free to contact the organizer of FCAI 2025.
Information on the venue and registration can be obtained from the ECAI
2025 website:
https://ecai2025.org/
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php