ICFCA 2019

International Conference on Formal Concept Analysis June 25 - 28 Frankfurt, Germany
© Kevin Rupp | Frankfurt UAS

Schedule

(pdf)
Tuesday, June 25th
08:30 - 09:15 Registration
09:15 - 09:30 Opening (Room 109)
09:30 - 13:00 Workshop Applications and Tools of FCA (Room 109 / Chairs: Diana Cristea and Florence Le Ber)
09:30 - 13:00 Workshop BigFCA (Parallel session in room 111 / Chairs: Rokia Missaoui and Leonard Kwuida)
13:00 - 14:00 Lunch break (Mensa)
14:00 - 16:00 Tutorial: Relational Data in Formal Concept Analysis (Room 109)
16:00 - 16:30 Coffee Break / Tool demonstrations
16:30 - 18:30 Tutorial: Attribute Exploration - Software Needed (Room 109)
Wednesday, June 26th
08:30 - 09:15 Registration
09:15 - 09:30 Opening talk by Prof. Dr. Martina Klärle, Vice President of Frankfurt UAS
09:30 - 10:30 Invited talk: Taxonomy learning revisited -- Steffen Staab
10:30 - 11:20 Session I (Theory) Chair: Florence Le Ber
11:20 - 11:50 Coffee break
11:50 - 12:50 Session II (Theory) Chair: Diana Cristea
12:50 - 14:00 Lunch break (Mensa)
14:00 - 15:00 Invited talk:Learning Horn Formulas and Implications from Data and from Queries -- Sergei Obiedkov / Chair: Sebastian Rudolph
15:00 - 15:50 Session III (Methods and Applications)
15:50 - 16:20 Coffee break
16:20 - 17:40 Session IV (Methods and Applications) Chair: Karl-Erich Wolff
Thursday, June 27th
09:00 - 10:00 Invited talk: Knowledge Graphs (Markus Krötzsch) / Chair: Bernhard Ganter
10:00 - 10:50 Session V (Theory) Chair:
10:50 - 11:20 Coffee break
11:20 - 12:20 Session VI (Theory) Chair: Sergei Kuznetsov
12:20 - 13:20 Meeting of the Editorial Board (Room: 110)
12:20 - 13:20 Lunch break
13:20 - 14:00 Session VII (Enhanced FCA) Chair: Leonard Kwuida
15:30 - 17:40 Social event: Boat trip on Main
18:00 - 19:30 Social event: Guided tour in Sachsenhausen
19:30 - 23:00 Conference dinner
Friday, June 28th
09:00 - 10:00 Invited talk: Hybrid Exploratory Explainable Knowledge Discovery -- Amedeo Napoli / Chair: Sebastien Ferré
10:00 - 10:50 Session VIII (Methods and Applications)
10:50 - 11:10 Coffee break
11:10 - 12:30 Session IX (Methods and Applications) Chair: Marianne Huchard
12:30 - 13:20 Lunch break
13:20 - 14:40 Session X (Enhanced FCA) Chair:
14:40 - 15:00 Closing
  • All talks, if not stated otherwise, are in building 4, room 109
  • Long talks: 25 minutes + 5 minutes for questions
  • Short talks: 15 minutes + 5 minutes for questions
Session I (Wednesday 26.06.2019 10:30 – 11:20)
10:30 - 11:00 Direct and Binary Direct Bases for One-set Updates of a Closure System. Kira Adaricheva and Taylor Ninesling.
11:00 - 11:20 A characterization theorem for continuous lattices by closure spaces. Guozhi Ma, Lankun Guo and Cheng Yang.
Session II (Wednesday 26.06.2019 11:50 – 12:50)
11:50 - 12:20 Reduction and Introducers in d-contexts. Alexandre Bazin and Giacomo Kahn.
12:20 - 12:50 Dualization in lattices given by implicational bases. Oscar Defrain and Nourine Lhouari.
Session III (Wednesday 26.06.2019 15:00 – 15:50)
15:00 - 15:30 On-demand Relational Concept Analysis. Alexandre Bazin, Jessie Car- bonnel, Marianne Huchard, Giacomo Kahn, Priscilla Keip and Amirouche Ouzerdine.
15:30 - 15:50 Sampling Representation Contexts with Attribute Exploration. Vı́ctor Codocedo, Mehdi Kaytoue, Amedeo Napoli and Jaume Baixeries.
Session IV (Wednesday 26.06.2019 16:20 – 17:40)
16:20 - 16:50 Mining Formal Concepts using Implications between Items. Aimene Bel- fodil, Adnene Belfodil and Mehdi Kaytoue.
16:50 - 17:20 Effects of Input Data Formalisation in Relational Concept Analysis for a Data Model with a Ternary Relation. Priscilla Keip, Alain Gutierrez, Marianne Huchard, Florence Le Ber, Samira Sarter, Pierre Silvie and Pierre Martin.
17:20 - 17:40 On Coupling FCA and MDL in Pattern Mining. Tatiana Makhalova, Sergei O. Kuznetsov and Amedeo Napoli.
Session V (Thursday 27.06.2019 10:00 – 10:50)
10:00 - 10:30 Joining Implications in Formal Contexts and Inductive Learning in a Horn Description Logic. Francesco Kriegel.
10:30 - 10:50 Conceptual Alignment with Formal Concept Analysis. Uta Priss.
Session VI (Thursday 27.06.2019 11:20 – 12:20)
11:20 - 11:50 “Properties of Finite Lattices” by S. Reeg and W. Weiß, revisited. Bern- hard Ganter.
11:50 - 12:20 Lattices of Orders. Christian Meschke.
Session VII (Thursday 27.06.2019 13:20 – 14:00)
13:20 - 13:40 A Formal Context for Closures of Acyclic Hypergraphs. Jaume Baixeries.
13:40 - 14:00 A Study of Boolean Matrix Factorization Under Supervised Settings. Tatiana Makhalova and Martin Trnecka.
Session VIII (Friday 28.06.2019 10:00 – 10:50)
10:00 - 10:30 Parallelization of the GreConD Algorithm for Boolean Matrix Factoriza- tion. Petr Krajča and Martin Trnecka.
10:30 - 10:50 Discovering Implicational Knowledge in Wikidata. Tom Hanika, Maximi- lian Marx and Gerd Stumme.
Session IX (Friday 28.06.2019 11:10 – 12:30)
11:10 - 11:40 Simultaneous, polynomial-time layout of Context Bigraph and Lattice Digraph. Tim Pattison and Aaron Ceglar.
11:40 - 12:10 Using Redescriptions and Formal Concept Analysis for Mining Definitions in Linked Data. Justine Reynaud, Yannick Toussaint and Amedeo Napoli.
12:10 - 12:30 Pattern Structures for Identifying Biclusters with Coherent Sign Chan- ges. Nyoman Juniarta, Vı́ctor Codocedo, Miguel Couceiro, Mehdi Kaytoue and Amedeo Napoli.
Session X (Friday 28.06.2019 13:20 – 14:40)
13:20 - 13:50 A relational extension of Galois Connections. Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco and Manuel Ojeda-Aciego.
13:50 - 14:20 Concept lattices as a search space for graph compression. Lucas Bourneuf and Jacques Nicolas.
14:20 - 14:40 Preliminary Results on Mixed Integer Programming for Searching Maxi- mum Quasi-Bicliques and Large Dense Biclusters. Dmitry Ignatov.