IX HARMONIC & X ACFA 2025
The nineth conference on Fuzzy Formal Tools for Non Canonical Reasoning (IX HARMONIC 2025) has been organized together with the tenth conference on Formal Concept Analisys and their Applications (X ACFA 2025) . These events will be held in Fuenteheridos, Huelva, Spain from October 10th to 12th, 2025. The aim of this conference is to create a cooperative environment for the exchange of knowledge and ideas related to the formal concept analysis, fuzzy logic, mathematical morphology, etc.
CONFERENCE VENUE
Fuenteheridos, a town located in the region of Huelva, is a place with unique characteristics and high potential, not only for tourism, but also for activities that enhance the area, such as livestock farming, agriculture, and well-managed forestry. Its history is linked to that of the entire area, a wonderful location set in a natural environment with unparalleled physical characteristics that give it the charm typical of the villages in the mountains of Huelva. Its morphology offers different alternatives for enjoying its natural sports routes (hiking and cycling), built ethnological heritage routes (the fountain of the twelve spouts), and, of course, a wide range of gastronomic routes (cold cuts and mushrooms).
The events will be held at Hotel Rural Villa Onuba, located in Fuenteheridos, Huelva.
PROGRAM & ORGANIZING COMMITTEE
Gonzalo A. Aranda-Corral
Luis Gutiérrez-Jerez
M. Eugenia Cornejo Piñero
Francisco J. Ocaña Alcázar
Roberto García Aragón
David Lobo Palacios
Jesús Medina Moreno
Samuel Molina Ruiz
Manuel Ojeda Aciego
PROGRAM
Friday, October 10th:
-16:30 – 17:00 – Opening.
-17:00 – 20:30 – Workshop MOONRISE project.
Saturday, October 11th:
-10:30 – 13:30 – Workshop MENTALITY project.
-18:00 – 20:30 – Talks:
- Samuel Molina-Ruiz: Bonds in multi-adjoint formal concept analysis.
- Francisco Valverde, Carmen Peláez: Idempotent Singular Value Decomposition and Its Application to analysing-synthesising formal contexts
- Luis Gutiérrez-Jerez: When the Real World Meets Its Mirror: The Power of Digital Twins.
- Joaquín Borrego: Conceptual Introspection in Large Language Models: A fuzzy approach
Sunday, October 12th:
-9:30 – 12:30 – Workshop VALID project.
-12:30 – 14:00 – Round table. New challenges of mathematics, artificial intelligence and automatic reasoning.
-18:00 – 20:30 – Talks:
- Manuel Ojeda-Aciego: Fuzzy inclusion
- Ramón Fuentes: Revisiting Lattice Theory
- Víctor Ramos González: FCA + Forgetting: reasoning methods and explAInability
- Gonzalo A. Aranda, Luis Gutiérrez-Jerez: From Paella to ‘Rice with things’. Cooking knowledge engineering
- Juan Moreno-García: Facing the Challenge of Deep Learning Interpretability
- Jesús Medina: Hybrid conjunctive-disjunctive implications