Detailed Program

Tuesday’s sessions will take place in Salle Pétrarque, in the city center.

Other sessions will be held on at the LIRMM laboratory, Building 2, Lecture Hall Jean-Jacques Moreau.

08:00 – 09:00	Registration
09:00 – 10:30	CONCEPTS Data Analysis Showcase Workshop
10:30 – 11:00	Coffee break
11:00 – 12:30	CONCEPTS Data Analysis Showcase Workshop
12:30 – 14:00	Lunch break
14:00 – 15:00	fcaR Tutorial
15:00 – 15:10	Welcome note
15:10 – 16:10	Session 1 Chair: Jaume Baixeries 15:10 – E. Dudyrev, C. Demko, M. Couceiro, M. Kaytoue, K. Bertet, A. Napoli and S. O. Kuznetsov. A First Comparison of GALACTIC and Paspailleur 15:30 – T. Hille and L. Noori. adaptexts: A Framework for Adapters of Formal Contexts 15:50 – I. Ben Sassi, A. Bazin, H. Guenoune, M. Huchard, M. Lafourcade and J. Sallantin. Argo: Argumentation Reasoning with Relational Concept Analysis for Online Debates Exploration
16:10 – 16:40	Coffee break
16:40 – 17:40	Session 2 Chair: Karell Bertet 16:40 – S. O. Kuznetsov and M. M. Zueva. Interpretable GNN with Stable Concepts as Neurons 17:00 – U. Priss. Lattice Spaces and Formal Concept Analysis 17:20 – S. Schneider, R. Tidke, S. Verheyen, A. Schulz and A. Nürnberger. Detecting intra-categorical structure through contextual bundling on relevant attributes

08:15 – 08:30	Registration
08:30 – 09:00	Inauguration
09:00 – 09:20	Keynote – Bernhard Ganter Essential Concepts: A cross is a cross and a blank is a blank.
09:20 – 10:30	Session 3 Chair: Gerd Stumme 09:20 – A. Tomat and S. O. Kuznetsov. Interpretable Lazy Classification with Interval Pattern Structures and Local Interval Explanations 09:50 – J. Medina, R. G. Aragón and S. Molina-Ruiz, Computing Bonds Between Formal Contexts 10:10 – M. Abdulla, J. Nordmeyer and T. Hanika. Degrees of Distributivity: Quantifying Structural Deviations in Real World Data
10:30 – 11:00	Coffee break
11:00 – 12:30	Session 4 Chair: Domingo López Rodríguez 11:00 – M. Behrisch, E. Vargas-García and A. Wachtel. Lattices of integer partitions are almost subdirectly indecomposable 11:30 – M. Abdulla, D. Dürrschnabel and L. Kwuida, The Boolean Envelope of Finite Distributive Lattices 11:50 – M. E. C. Piñero, J. Medina and F. J. Ocaña, Attribute implication bases from Galois connection structures 12:10 – R. Kwessy Mouona, B. B. Koguep Njionou, R. Missaoui, E. R. Temgoua Alomo and L. Kwuida, Updating a Base of Triadic Implications when Attributes are Added or Removed
12:30 – 14:00	Lunch break
14:00 – 15:00	Keynote – Andreas Hotho From German Language Models to Conceptual Knowledge Structures
15:00 – 16:00	Session 5 Chair: Rokia Missaoui 15:00 – M. Waffo Kemgne, C. Demko, J.-L. Guillaume and K. Bertet. Stable Concepts from Communities and Communities from Concepts 15:30 – J. Hirth and T. Hanika, Conceptual Scaling of Neural Networks: A Formal Framework for Global Explainability 15:45 – U. Priss, Alternative Visualisations for Concept Lattices
16:00 – 16:30	Coffee break
16:30 – 18:00	Session 6 Chair: Léonard Kwuida 16:30 – L. Antoni, D. Kotlarová, O. Krídlo, D. López-Rodríguez and M. Ojeda-Aciego. Effective Greedy Boolean Matrix Factorization via the Rice-Siff Algorithm 17:00 – K. Adaricheva, L. Nourine and S. Vilmin, Computing the D-base and D-relation in finite closure systems 17:20 – S. Obiedkov and B. Sertkaya, Lattice-Based Approaches for Computing Stable Extensions in Abstract Argumentation Frameworks 17:40 – P. Krajča and M. Trnecka, GreCon2Compact: Memory-Efficient Evolution of the GreCon Algorithm for Boolean Matrix Factorization
18:00 – 20:00	Wine & Cheese

09:00 – 10:00	Keynote – Miguel Couceiro Knowledge, Knowledge on the Wall, Can We Reconcile You All?
10:00 – 10:30	Session 7 Chair: Amedeo Napoli 10:00 – L. Kwuida, M. Abdullah. Evaluations and Structural Properties of Finite Lattices
10:30 – 11:00	Coffee break
11:00 – 12:30	Session 8 Chair: Tom Hanika 11:00 – R. C. Bendjeddou, G. Kahn, A. Sekhari Seklouli, T. Wang. Extending Relational Concept Analysis With n-ary Relations 11:30 – M. Espinosa-Aldama and S. Mendoza, Multidimensional Representation of Physical Theories, Constants and Units Using Formal Concept Analysis 11:50 – N. Lefrancois and J. Reynaud, On Exhaustive Enumeration of Redescriptions 12:10 – K. M. Gutekunst, D. Dürrschnabel, S. Schneider and M. Potthast, Hierarchical Background Knowledge in FCA via Must-Link-Before Constraints
12:30 – 14:00	Lunch break
14:00 – 14:20	Keynote – Bernhard Ganter Essential Concepts: Subdirect product constructions.
14:20 – 15:30	Session 9 Chair: Simon Vilmin 14:20 – T. Hille, M. Abdullah and G. Stumme. On distributive triads 14:50 – C. Demko and K. Bertet, Minimal Sublattice Extensions of Moore Families 15:10 – S. Rudolph, Pseudo-Closed Family Verification is NP-Complete (Or: How Claude Helped Tackle Bernhard’s Problem)
15:30 – 16:00	Townhall meeting
16:00 – 16:30	Coffee break
16:30 – 18:20	Session 10 Chair: Tim Pattison 16:30 – V. Pavlikova, M. Trnecka, J. Guniš, L. Šnajder, D. Kotlárová, S. Krajči, L. Antoni and P. Eliaš, Conceptual Patterns in Teachers’ AI Perception 16:50 – G. Stumme, D. Dürrschnabel and T. Hanika, Towards Ordinal Data Science 17:10 – R. Belohlavek and J. Konecny. Reductions of formal fuzzy contexts 17:40 – J. Baixeries, A. Bazin, J. David and A. Napoli, Themes and Variations in Integrating Clustering in FCA

09:00 – 10:00	Keynote – Fatiha Sais When AI Generates Facts: Knowledge Discovery for Trustworthy Knowledge Graphs
10:00 – 10:30	Session 11 Chair: Madalina Croitoru 10:00 – M. Nöhre, D. Dürrschnabel, B. Ganter and G. Stumme. DimFlux: Force-Directed Additive Line Diagrams
10:30 – 11:00	Coffee break
11:00 – 12:30	Session 12 Chair: Sergei Obiedkov 11:00 – T. Pattison, D. Dürrschnabel and M. Abdullah. Enumerating Jointly Reverse Lectic Orders for Bi-Adjacency Matrices 11:30 – O. Defrain, A. Ohana and S. Vilmin, Enumerating the irreducible closed sets of an acyclic implicational base of bounded degree 11:50 – A. Meunier, L. Nourine and S. Vilmin, Characterizing the optimum bases of a convex geometry using quasi-closed hypergraphs 12:10 – G. T. Kembang, C. Nganteu, L. Kwuida and E. R. T. Alomo, Co-reflexivity in the category of double Boolean algebras
12:30 – 13:30	Lunch break
13:30 – 23:00	Social event

09:00 – 09:20	Keynote – Bernhard Ganter Essential Concepts: The hardest open problem of Formal Concept Analysis
09:20 – 10:30	Session 13 Chair: Sergei Kuznetsov 09:20 – L. Kwuida, R. Kwessy Mouona, B. B. Koguep Njionou, E. R. Temgoua Alomo, R. Missaoui. A construction of an optimal base for conditional attribute and attributional condition implications in triadic contexts 09:50 – F. Adam and T. Hille, Revisiting Attribute Ordering for Concept Mining 10:10 – B. Sinclair-Desgagné, Chasing Unknown Unknowns with the Available Data
10:30 – 11:00	Coffee break
11:00 – 12:30	Session 14 Chair: Marianne Huchard 11:00 – A. Bazin. n-Dimensional Hypercontexts 11:15 – A. Bazin and G. Kahn. Distance between FCA structures 11:35 – T. Pattison, D. Durrschnabel and M. Abdullah, Using JRL Order to Shape Spanning Trees for Interactive FCA 11:55 – E. Reyner-Fuentes, C. Peláez-Moreno and F. J. Valverde-Albacete. On the Limits of Information Transmission in Concept Lattices 12:15 – S. A. Benabderrahmane, S. Chaudhry and T. Rahwan, Real Talk, Virtual Faces: A Formal Concept Analysis of Personality and Sentiment in Influencer Audiences
12:30 – 14:00	Lunch break
14:00 – 15:15	Session 15 Chair: Giacomo Kahn 14:00 – H. Ladj, M. Croitoru and N. Blanc, Using Storytelling for Knowledge Acquisition in Child–Robot Interaction 14:15 – F. Hodo, S. Balderas-Díaz, G. Guerrero-Contreras and B. Sertkaya, Interactive Exploration of Concept Lattices with lattice.js: A Web-Based Visualization Library 14:35 – O. Bruneau, P. Daudré-Treuil, J. Lieber, E. Nauer and L. Rollet, Exploring cultural heritage corpus using formal concept analysis
14:55 – 15:25	Goodbye & Farewell