--------------------------------------------------------------------------------
CICM 2025 Third Announcement and Call for Papers
18th Conference on Intelligent Computer Mathematics
- CICM 2025 -
6-11 October
2025 Brasilia, Brazil
http://www.cicm-conference.org/2025
--------------------------------------------------------------------------------
More and more mathematical information is digitally processed, generated,
communicated, stored, and curated. CICM brings together the many separate
communities that have developed theoretical and practical solutions for
mathematical applications such as computation, deduction, knowledge management,
and user interfaces. It offers a venue for discussing problems and solutions in
each of these areas and their integration. Besides the CICM main program
soliciting formal CICM submissions there will be associated workshops with
separate submission options.
We are inviting formal submissions on all topics relating to intelligent
computer mathematics, in particular, but not limited to
* theorem proving and computer algebra
* mathematical knowledge management
* digital mathematical libraries
A comprehensive but not exhausting list of topics of interest can be found on
the conference website:
https://cicm-conference.org/2025/cicm.php?event=&menu=topics
The program committee is chaired by Valeria de Paiva, Berkeley and Peter Koepke,
Bonn.
*** Formal Paper Submissions ***
Formal submissions in one of the following categories will be reviewed
rigorously and accepted papers will be published in a volume of Springer LNAI:
* regular papers (up to 15 pages + bibliography) present novel research results
* project and survey papers (up to 15 pages + bibliography)
summarize existing results
* system and dataset descriptions (4 to 5 pages + bibliography)
present digital artifacts
*** Doctoral Symposium: Two-Page Abstracts***
The doctoral program provides PhD students a forum to present early results to
receive constructive feedback and mentoring. To attend, submissions of two-page
abstracts are expected in which the focus and research questions of the expected
PhD theses are described; details on completed research tasks and remaining
research plans should be given. In addition to these abstract, a two-pages CV of
the applicant should also be submitted, detailing background information (name,
university, supervisor), education (sought degree, previous degrees),
employments and relevant research experience (publications, attended
conferences/workshops).
The doctoral program will be chaired by Claudia Nalon, UnB Brasilia, and Marcelo
Finger, USP Sao Paulo. Further details on the program will be announced on the
CICM 2025 website.
*** Important Dates ***
Formal submissions
- Abstract deadline: April 28, 2025
- Full paper deadline: May 5, 2025
- Reviews sent to authors: June 16, 2025
- Rebuttals due: June 20, 2025
- Notification of acceptance: July 4, 2025
- Camera-ready copies due: July 18, 2025
- Conference: October 6-11, 2025
Doctoral programme applications
- Submission deadline: TBA
*** Submissions ***
All submissions should be made via EasyChair at
https://easychair.org/conferences/?conf=cicm25
using the Springer LNCS style files
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…
If software or data is relevant to a paper, a link that provides access to the
software/data must be provided to enable reproduction of results.
*** Best Papers ***
CICM 2025 honors the best paper and best student paper with respect to reviews
and program committee discussions with an award.
--------------------------------------------------------------------------------
****************************************************************************************
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 (FernUniversität 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/
*** apologies for cross-postings ***
The Max Planck – University of Helsinki Center for Social Inequalities in Population Health<https://www.demogr.mpg.de/en/research_6120/social_demography_myrskylae_1166…> is currently seeking to appoint one or more full-time post-doctoral researchers. We welcome applications from researchers with a PhD in demography, sociology, statistics, epidemiology, public health, economics, computer science, and allied fields. The successful candidate(s) will work on one or several of the four research themes of the Center: [1] the links between family and health, [2] the role of genetic factors in shaping health inequalities, [3] international comparisons of health and health inequalities, and [4] developing new methods, in particular longitudinal modelling approaches, methods for causal inference, and techniques leveraging genetic data. We are also open to applicants interested in other topics covered in the Department Social Demography<https://www.demogr.mpg.de/en/research_6120/social_demography_myrskylae_1166…> at the Max Planck Institute for Demographic Research (MPIDR)<https://www.demogr.mpg.de/en>, including fertility, mortality and morbidity, and labor markets. The successful candidate(s) will develop their own agenda within the Center, and they will contribute their skills and knowledge to other projects in the Center and to the MPIDR. We are seeking creative, self-driven, and collaborative scholars. Good knowledge of quantitative methods and statistical software such as R, Python, or Stata is required.
More information can be found here: https://www.demogr.mpg.de/en/career_6122/jobs_fellowships_1910/postdoc_posi…
--
This mail has been sent through the MPI for Demographic Research. Should you receive a mail that is apparently from a MPI user without this text displayed, then the address has most likely been faked. If you are uncertain about the validity of this message, please check the mail header or ask your system administrator for assistance.
Third Call for Research & Innovation Papers
SEMANTiCS 2025 EU
21st International Conference on Semantic Systems
Vienna, Austria
September 3 - 5, 2025
Important Dates:
-
*Abstract Submission Deadline: April 25 , 2025*
-
*Paper Submission Deadline: May 2, 2025*
-
*Notification of Acceptance: June 13, 2025*
-
*Camera-Ready Paper Deadline: July 04, 2025*
*All deadlines are set for 11:59 pm, Anywhere On Earth time (UTC-12)*
*Submissions will be through Easychair and the submission link will be
provided soon.*
Proceedings of SEMANTiCS 2025 EU will be made available *open access*.
Research and Innovation Track
The SEMANTiCS 2025 conference is excited to invite submissions for the
Research and Innovation Track, welcoming groundbreaking research
contributions, innovative solutions, and experimental studies relevant to
the Semantic Web, Semantic Technologies, and AI-enabled semantics. We also
encourage submissions at the intersections of these fields with other
scientific and applied disciplines, fostering cross-disciplinary exchange
and advancement. Papers should present original work that has not been
published or is not under consideration elsewhere. All submissions must
adhere to the submission guidelines, including reference formatting and any
additional documentation as required. Each submission will undergo a
rigorous review process, with at least three independent reviews,
evaluating the novelty, technical quality, reproducibility, and practical
relevance of the work.
Topics of Interest
SEMANTiCS 2025 calls for submissions of high-quality research papers across
a broad spectrum of topics in Semantic Web, Semantic Technologies, and AI.
We are particularly interested in new and emerging trends, especially where
semantic technologies intersect with evolving fields such as large language
models, explainable AI, and trustworthy data infrastructures. Topics of
interest include, but are not limited to:
- Web Semantics & Linked (Open) Data
- Enterprise Knowledge Graphs, Graph Data Management
- Machine Learning Techniques for/using Knowledge Graphs (e.g.
reinforcement learning, deep learning, data mining and knowledge discovery)
- Generative AI and Knowledge Graphs (e.g., Retrieval-Augmented
Generation (RAG) with knowledge graph integration, generative model
grounding)
- Reasoning, Rules, and Policies on RAG
- Knowledge Engineering and Management (e.g., knowledge acquisition,
extraction, integration, and publication workflows)
- Terminology, Thesaurus & Ontology Management, Ontology engineering
- Web agents
- Natural Language Processing for/using Knowledge Graphs (e.g. entity
linking and resolution using target knowledge such as Wikidata and DBpedia,
foundation models)
- Crowdsourcing for/using Knowledge Graphs
- Data Quality Management and Assurance
- Mathematical and Logical Foundations of Knowledge-aware AI
- Multimodal Knowledge Graphs (e.g., text, image, audio fusion in graph
structures)
- Semantic-Enhanced Data Science Pipelines and Processes
- Semantics in Blockchain environments (e.g., traceability,
decentralized knowledge representation)
- Trust, Data Privacy, and Security with Semantic Technologies
- Internet of Things (IoT), Stream Processing, and Temporal Data
Management (e.g., real-time semantic processing and predictive analytics)
- Conversational AI and Dialogue Systems powered by Knowledge Graphs
- Provenance and Data Change Tracking (e.g., semantic versioning, data
updates in distributed settings)
- Semantic Interoperability (e.g., cross-domain standards, mapping
frameworks, ontology alignment)
- Linked Data storage, triple stores, graph databases
- Robust, Scalable, and Fault-Tolerant Semantic Data Systems (e.g.,
distributed querying, optimization)
- User Interfaces and Usability of Semantic Technologies (e.g.,
visualizations, intelligent user interaction)
- Explainable and Interoperable AI
- Decentralised and Federated Knowledge Graphs (e.g., federated
querying, link traversal)
Applied Semantic Technologies and AI in Real-World Scenarios, such as, but
not limited to:
- Biomedicine and Health (e.g., Knowledge Graphs for biomedical
applications, AI-driven diagnostics, personalized health)
- AI for Environmental and Climate Solutions (e.g., semantic modeling
for environmental impact, biodiversity knowledge graphs)
- Scientific Knowledge Graphs and Open Science (e.g., FAIR data
principles, enhanced scholarly communication)
- Semantic Technologies in GLAM (Galleries, Libraries, Archives, and
Museums)
- Knowledge Graphs and Hybrid AI for Industry 4.0/5.0 and Predictive
Maintenance
- Digital Humanities and Cultural Heritage Preservation
- Legal Technology, AI Ethics, and Regulatory Compliance (e.g., AI and
legal frameworks, semantic-enabled compliance with the EU AI Act)
- Economics and Governance of Data Ecosystems (e.g., data marketplaces,
semantic service interoperability, data policy)
Submissions will be through Easychair. Stay tuned for the submission link.
For *Submission Guidelines* and * Review and Evaluation Criteria* please
head to the online call for papers:
*https://2025-eu.semantics.cc/page/cfp_rev_rep*
<https://2025-eu.semantics.cc/page/cfp_rev_rep>.
We would highly appreciate it if you could disseminate this call within
your network.
*We look forward to receiving your contributions!*
Research and Innovation Track Chairs
Blerina Spahiu (University of Milano-Bicocca, IT)
Mehdi Ali (Lamarr Institute & Fraunhofer IAIS, Germany)
Kind Regards,
On behalf of the organising committee.
=========================
Dr. Kossi Amouzouvi
ScaDS.AI Dresden/Leipzig, TU Dresden
--
DISCLAIMER: The contents of this email and any attachments are
confidential. They are intended for the named recipient(s) only. If you
have received this email by mistake, please notify the sender immediately
and you are herewith notified that the contents are legally privileged and
that you do not have permission to disclose the contents to anyone, make
copies thereof, retain or distribute or act upon it by any means,
electronically, digitally or in print. The views expressed in this
communication may be of a personal nature and not be representative of
AIMS-NEI and/or any of its Centres or Initiatives.