Program (temporary)

08:30

09:00

Registration

10: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:10

fcaR Tutorial

15:00

15:10

Introduction

15:10

16:10

Supplementary Proceedings Session 1
Chair:
TBA

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

Supplementary Proceedings Session 2
Chair:
TBA

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:00

08:30

Registration

08:30

09:00

Inauguration

09:00

09:20

Keynote – Bernhard Ganter

Essential Concepts

09:20

10:30

Session 1
Chair:
TBA

09:20 – A. Tomat and S. O. Kuznetsov. Interpretable Lazy Classification with Interval Pattern Structures and Local Interval Explanations

09:50 – F. Valverde, C. Peláez-Moreno, I. P. Cabrera, P. Cordero and M. Ojeda-Aciego, Formal Context Transforms and Their Affordances for Exploratory Data Analysis

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 2
Chair: TBA

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 3
Chair:
TBA

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 – H. Ladj, M. Croitoru and N. Blanc, Using Storytelling for Knowledge Acquisition in Child–Robot Interaction

16:00

16:30

Coffee break

16:30

18:00

Session 4
Chair:
TBA


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

From analogies to analogical pruning: A few-shot approach to Domain-Specific KG retrieval

10:00

10:30

Session 5
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 6
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

14:20

15:30

Session 7
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:00

Session 8
Chair:
TBA

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 9
Chair:
TBA

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 10
Chair:
TBA

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

22:00

Social event

09:00

09:20

Keynote – Bernhard Ganter

Essential Concepts

09:20

10:30

Session 11
Chair:
TBA

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 12
Chair: TBA

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:35

Session 13
Chair: Giacomo Kahn

14:00 – J. Medina, R. G. Aragón and S. Molina-Ruiz, Computing Bonds Between Formal Contexts

14:20 – U. Priss, Alternative Visualisations for Concept Lattices

14:35 – 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:55 – V. Pavlikova and M. Trnecka, Visual Exploration of Boolean Factors

15:15 – O. Bruneau, P. Daudré-Treuil, J. Lieber, E. Nauer and L. Rollet, Exploring cultural heritage corpus using formal concept analysis

15:35

16:05

Goodbye & Farewell