Every presentation is scheduled for 25 minutes (20 minutes for talk, 5 minutes for discussion).
8:00 | – | 18:30 | Registration |
9:00 | – | 9:30 | Opening |
9:30 | – | 10:30 | Invited Lecture 1 Chair: Sergei O. Kuznetsov |
Bernhard Ganter: Recent Interfaces for Formal Concept Analysis |
|||
10:30 | – | 11:00 | Coffee Break |
11:00 | – | 12:00 | Invited Lecture 2 Chair: Rudolf Wille |
Dominik Ślȩzak: Rough Sets and Formal Concept Analysis: Foundations and the Case Studies of Feature Subset Selection and Knowledge Structure Formation |
|||
12:00 | – | 14:00 | Lunch (on your own) |
14:00 | – | 15:40 | Session 1 Chair: Uta Priss |
14:00 | – | 14:25 |
Rudolf Wille, Renate Wille-Henning: The Mathematical in Music Thinking |
14:25 | – | 14:50 |
Tobias Schlemmer, Stefan E. Schmidt: A Formal Concept Analysis of Harmonic Forms and Interval Structures |
14:50 | – | 15:15 |
Tim B. Kaiser: Connecting Many-valued Contexts to General Geometric Structures |
15:15 | – | 15:40 |
Léonard Kwuida, Hajime Machida: On the Isomorphism Problem of Concept Algebras |
15:40 | – | 16:00 | Coffee Break |
16:00 | – | 17:40 | Session 2 Chair: Bernhard Ganter |
16:00 | – | 16:25 |
Eduard Bartl, Radim Belohlavek, Jan Konecny: Optimal Decompositions of Matrices with Grades into Binary and Graded Matrices |
16:25 | – | 16:50 |
Laszlo Szathmary, Petko Valtchev, Amedeo Napoli, Robert Godin: An Efficient Hybrid Algorithm for Mining Frequent Closures and Generators |
16:50 | – | 17:15 |
Petr Krajca, Jan Outrata, Vilem Vychodil: Parallel Recursive Algorithm for FCA |
17:15 | – | 17:40 |
Tarek Hamrouni, Sadok Ben Yahia, Engelbert Mephu Nguifo: GARM: Generalized Association Rule Mining |
9:00 | – | 10:00 | Invited Lecture 3 Chair: Radim Belohlavek |
Petr Hájek: The GUHA Method and its Meaning for Data Mining |
|||
10:00 | – | 10:20 | Coffee Break |
10:20 | – | 12:00 | Session 3 Chair: Stefan E. Schmidt |
10:20 | – | 10:45 |
Dmitry I. Ignatov, Sergei O. Kuznetsov: Concept-based Recommendations for Internet Advertisement |
10:45 | – | 11:10 |
Thomas Girault: Concept Lattice Mining for Unsupervised Named Entity Annotation |
11:10 | – | 11:35 |
Dominik Endres, Peter Földiák, Uta Priss: An Application of Formal Concept Analysis to Neural Decoding |
11:35 | – | 12:00 |
Stéphanie Guillas, Karell Bertet, Muriel Visani, Jean-Marc Ogier, Nathalie Girard: Some Links Between Decision Tree and Dichotomic Lattice |
12:00 | – | 14:00 | Lunch (on your own) |
15:00 | – | open | Social Program |
Historical and Cultural Heritage of Olomouc — Guided Tour. Dinner. |
9:00 | – | 10:00 | Invited Lecture 4 Chair: Engelbert Mephu Nguifo |
George Karypis: Biclustering Methods Meets Formal Concept Analysis |
|||
CANCELLED | |||
10:00 | – | 10:20 | Coffee Break |
10:20 | – | 12:00 | Session 4 Chair: Stanislav Krajči |
10:20 | – | 10:45 |
Uta Priss: FCA Software Interoperability |
10:45 | – | 11:10 |
José Antonio Alonso-Jiménez, Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, M. Magdalena Fernández-Lebrón, M. José Hidalgo-Doblado: Extending Attribute Exploration by Means of Boolean Derivatives |
11:10 | – | 11:35 |
Xavier Dolques, Jean-Rémy Falleri, Marianne Huchard, Clémentine Nebut: A Model-driven Engineering Based RCA Process for Bi-level Models Elements/Meta-elements: Application to Description Logics |
11:35 | – | 12:00 |
Jiří Zacpal, Erik Sigmund, Josef Mitáš, Vladimír Sklenář: Application of the Formal Concept Analysis in Evaluation of Results of ANEWS Questionnaire and Physical Activity of the Czech Regional Centers |
12:00 | – | 14:00 | Lunch (on your own) |
14:00 | – | 15:15 | Session 5 Chair: Vilem Vychodil |
14:00 | – | 14:25 | Michal Krupka Factorization of Concept Lattices with Hedges by Means of Factorization of Residuated Lattices |
14:25 | – | 14:50 |
Ondrej Krídlo, Stanislav Krajči: Proto-fuzzy Concepts, their Retrieval and Usage |
14:50 | – | 15:15 | Pavel Martinek On Generalization of Fuzzy Concept Lattices Based on Change of Underlying Fuzzy Order |
15:15 | – | 15:35 | Coffee Break |
CANCELLED | |||
15:35 | – | 16:00 | Session 6 (Poster Session) Chair: Michal Krupka |
MOVED TO Coffee Break during 10:00 -- 10:20 (at the coffee breaks place) | |||
Viorica Varga, Katalin Tunde Janosi Rancz: A Software Tool to Transform Relational Databases in Order to Mine Functional Dependencies in it Using Formal Concept Analysis |
|||
Nida Meddouri, Mondher Maddouri: Classification Methods Based on Formal Concept Analysis |
|||
Li Ai Xiang, Makoto Haraguchi, Yoshiaki Okubo: Finding Top-N Formal Concepts Guided by Dynamic Ordering of Objects (abstract) |
|||
16:00 | Conference ends | ||
Conference ends 15:15 |
13:00 | – | 14:00 |
Uta Priss, L. John Old: Lattice-Based Modelling of Thesauri |
Vassilis G. Kaburlasos, S. E. Papadakis: Piecewise-Linear Approxmation of Nonlinear Models Based on Interval Numbers (INs) |
|||
S. E. Papadakis, Vassilis G. Kaburlasos: Computation of a Sufficient Condition for System Input Redundancy |
13:00 | – | 14:00 |
Manuel Graña, Maite Garcia-Sebastian, Ivan Villaverde, Elsa Fernandez: An Approach from Lattice Computing to fMRI Analysis |
Gonzalo Urcid, Gerhard X. Ritter, Jose-Angel Nieves-Vazquez: Redundant Encoding of Patterns in Lattice Associative Memories |
|||
Anestis G. Hatzimichailidis, Vassilis G. Kaburlasos: A Fuzzy Implication Stemming from a Fuzzy Lattice Inclusion Measure |