Proceedings

Proceedings are available on the website of Springer.

Program


  Monday
14:00 Welcome Coffee
15:00 Tom Hanika, Johannes Hirth, Ángel Mora Bonilla
Workshop “Preprocessing and Scaling of Contextual Data – PreSCoD”
16:00 Coffee Break
16:30 Uta Priss
Workshop “Computational Notebooks for FCA – CoNo-Concepts 2023”


  Tuesday
09:00 Jana Fischer, Tom Hanika, Johannes Hirth
Tutorial “Conexp-Clj – A Functional Approach to Applying Formal Concept Analysis” Part 1
10:00 Coffee Break
10:30 Jana Fischer, Tom Hanika, Johannes Hirth
Tutorial “Conexp-Clj – A Functional Approach to Applying Formal Concept Analysis” Part 2
   
13:30 Gerd Stumme: Opening of ICFCA 2023
  Session 1 – Chair: Gerd Stumme
13:40 – 14:40 Keynote Speaker: Reinhard Diestel
Tangles: from Wittgenstein to graph minors and back
14:40 – 15:00 SĂ©bastien FerrĂ©: Graph-FCA Meets Pattern Structures
15:00 Coffee Break
  Session 2 – Chair: Jaume Baixeries
15:40 – 16:00 Agnùs Braud, Xavier Dolques, Marianne Huchard, Florence Le Ber, Pierre Martin: Relational Concept Analysis in Practice: Capitalizing on Data Modeling using Design Patterns
16:05 – 16:25 Tim Pattison, Aryan Nataraja: Doubly-Lexical Order Supports Standardisation and Recursive Partitioning of Formal Context
16:30 Panel: Ordinal Data Science
18:30 Welcome Reception (at the conference site)


  Wednesday
  Session 3 – Chairs: Bernhard Ganter / Domingo López Rodriguez
09:00 – 10:00 Keynote Speaker: William T. Trotter
Modern Concepts of Dimension for Partially Ordered Sets
10:00 – 10:20 Johannes Hirth, Tom Hanika, Bernhard Ganter: Scaling Dimension
10:20 Coffee Break
  Session 4 – Chair: Amedeo Napoli
11:00 – 12:00 Keynote Speaker: Jan KonečnĂœ
Formal Concept Analysis in Boolean Matrix Factorization: Algorithms and Extensions to Ordinal and Fuzzy-Valued Data
12:00 Lunch
13:00 Excursion to the Water Arts at UNESCO World Heritage Bergpark Wilhelmshöhe (English Description)
19:00 Conference Dinner at the Orangerie


  Thursday
  Session 5 – Chair: SĂ©bastien FerrĂ©
09:00 Keynote Speaker: Oliver Deussen
How to Visualize Sets and Set Relations
10:00 – 10:20 Uta Priss: Representing Concept Lattices with Euler Diagrams
10:20 Coffee Break
  Session 6 – Chair: Uta Priss
11:00 – 11:20 Bernhard Ganter, Elias Dahlhaus: Examples of clique closure systems
11:25 – 11:45 Manuel Ojeda HernĂĄndez, Inma P Cabrera, Pablo Cordero, Emilio Muñoz-Velasco: On the commutative diagrams among Galois connections involved in closure structures
11:50 – 12:10 Alexandre Bazin: A Triadic Generalisation of the Boolean Concept Lattice
12:10 Lunch / Editorial Board Meeting
  Session 7 – Chair: Sergei Obiedkov
14:30 – 15:30 Keynote Speaker: Alessandra Palmigiano
Logical foundations of categorization theory
15:30 – 15:50 Jaume Baixeries, Amedeo Napoli, Mehdi Kaytoue, Víctor Codocedo: Three Views on Dependency Covers from an FCA Perspective
15:50 Coffee Break
  Session 8 – Chair: Tom Hanika
16:30 – 17:30 Keynote Speaker: Manuel Ojeda Aciego:
On the φ-degree of inclusion
17:30 – 17:50 David Lobo, JesĂșs Medina, VĂ­ctor LĂłpez-Marchante: Approximating fuzzy relation equations through concept lattices


  Friday
  Session 9 – Chair: Alexandre Bazin
09:00 – 10:00 Latebreaking Result Talk: Christian JĂ€kel
Breaking the Barrier: A Computation of the Ninth Dedekind Number
10:00 – 10:20 Mike Behrisch, Leon Renkin: Computing witnesses for centralising monoids on a three-element set
10:20 Coffee Break
  Session 10 – Chair: Dominik DĂŒrrschnabel
10:45 – 11:05 Egor Dudyrev, Sergei Kuznetsov, Amedeo Napoli: Description Quivers for Compact Representation of Concept Lattices and Ensembles of Decision Trees
11:10 – 11:30 Dmitry Ignatov: On the maximal independence polynomial of the covering graph of the hypercube up to n=6
11:30 Closing

Partner