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,
a lot of 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.
FCAI 2025 is co-located with the 28th European Conference on Artificial Intelligence (ECAI
2025).
Aims and Scope
FCAI aims to foster connections between the different areas of computer science, particularity artificial intelligence, that deal we changes in a broad sense. 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
The workshop will be structured by topical sessions fitting to the scopes of accepted papers. Workshop activities will include invited talks and presentations of technical papers.
FCAI Workshop Organization
Programme committee
- Theofanis Aravanis (University of the Peloponnese, Greece)
- Franz Baader (TU Dresden, Germany)
- Giovanni Casini (CNR - ISTI, Italy)
- Thomas Eiter (TU Wien, Austria)
- Eduardo Fermé (University of Madeira, Portugal)
- Giorgos Flouris (FORTH-ICS, Greece)
- Laura Giordano (Università del Piemonte Orientale, Italy)
- Miika Hannula (University of Helsinki, Finland)
- Andreas Herzig (IRIT,Université Paul Sabatier, France)
- Anthony Hunter (University College London, UK)
- Gabriele Kern-Isberner (University of Dortmund, Germany)
- Phokion Kolaitis (University of California, USA)
- Juha Kontinen (University of Helsinki, Finland)
- Arne Meier (University of Hannover, Germany)
- Tommie Meyer (University of Cape Town and CAIR, South Africa)
- Rafael Penaloza (University of Milano-Bicocca, Italy)
- Leon van der Torre(University of Luxembourg, Luxembourg)
- Matthias Thimm (University of Hagen, Germany)
- Ivan Varzinczak (Université Sorbonne, France)
- Frank Wolter (University of Liverpool, UK)
Important Dates
| Paper submission |
July 30, 2025 (extended) |
| Notification |
August 28, 2025 (extended) |
| Workshop |
October 25 (afternoon), 2025 |
Submission Details
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.
All submissions should be formatted in CEUR style (one-column style) without enabled header and footer.
The author kit can be found at
http://ceur-ws.org/Vol-XXX/CEURART.zip.
Papers must be submitted in PDF only. For the camera-ready versions, one must also provide the LaTeX sources.
Submission will be through the EasyChair conference system:
https://easychair.org/my/conference?conf=fcai2025
Workshop Proceedings
The accepted papers will be made available electronically in the CEUR Workshop Proceedings series as informal proceedings (http://ceur-ws.org/).
The copyright of papers remain 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 anymore.
Registration and Venue
Registration for FCAI 2025 is possible via the ECAI 2025 registration website.
FCAI 2025 will be held at Bologna, Italy. Additional
information on the conference location and travel planning
can be found at the ECAI 2025 website.
