This page is a copy of a page that used to be at
http://www.latece.uqam.ca/icfca08/files/ProgramICFCA08.pdf
but seems to be no longer available at the original location.

International Conference on Formal Concept Analysis (ICFCA'08)
Montréal (Québec), Canada, February 25-28, 2008
Conference program
Monday, February 25
13:00-13:45
Registration
13:45-14:00
Welcome
14:00-15:00
Invited talk 1 (Chair: Robert Godin)
What can a Butterfly do among Bulls and Bears? Or What can Algebra do for Data Mining
Laks V.S. Lakshmanan, University of British Columbia, Canada
15:00-15:30
Break
16:00-18:00
Session 1 : Theory (Chair: Karl Erich Wolff)
- Spectral Lattices of (Rmax,+)-Formal Contexts
Francisco J. Valverde-Albacete, Carmen Peláez-Moreno
- About Keys of Formal Context and Conformal Hypergraph
Pierre Colomb, Lhouari Nourine
- An Algebraization of Linear Continuum Structures
Rudolf Wille
- Contextual Representation of Convex Geometries
Christian Meschke
18:30-20:30
Get together – Room PK-4610
Tuesday, February 26
9:00-10:00
Invited talk 2 (Chair: Rokia Missaoui)
Actionability and Formal Concepts: a Data Mining Perspective
Jean-François Boulicaut, INSA Lyon, France
10:00-10:30
Break
10:30-12:00
Session 2 : Implications and Rules (Chair: Raoul Medina)
- On the Complexity of Computing Generators of Closed Sets
Miki Hermann, Barış Sertkaya
- Generating Positive and Negative Exact Rules Using Formal Concept Analysis: Problems
and Solutions
Rokia Missaoui, Lhouari Nourine, Yoan Renaud
- On the Merge of Factor Canonical Bases
Petko Valtchev, Vincent Duquenne
12:00-13:30
Lunch
13:30-14:30
Invited talk 3 (Chair: Petko Valtchev)
Galois Connections in Universal Algebra and Order Theory
Ivo Rosenberg, Université de Montréal, Canada
14:30-15:00
Break
15:00-16:30
Session 3 : Rough Sets (Chair: Sergei Obiedkov)
- Lattices of Rough Set Abstractions as P-products
Bernhard Ganter
- Scale Coarsening as Feature Selection
Bernhard Ganter, Sergei O. Kuznetsov
- Algebras of Definable Sets vs. Concept Lattices
Piotr Wasilewski
16:30-18:00
Session 4 : Applications I (Chair: Sergei Kuznetsov)
- Formal Concept Analysis for the Identification of Combinatorial
Biomarkers in Breast Cancer
Susanne Motameny, Beatrix Versmold, and Rita Schmutzler
- Handling Spatial Relations in Logical Concept Analysis to Explore Geographical Data
Olivier Bedel, Sébastien Ferré and Olivier Ridoux
- Analysis of Social Communities with Iceberg and Stability-based Concept Lattices
Nicolas Jay, François Kohler, Amedeo Napoli
Wednesday, February 27
9:00-10:00
Invited talk 4 (Chair: Bernhard Ganter)
Communicative Rationality, Logic, and Mathematics
Rudolf Wille, Technische Universität Darmstadt, Germany
10:00-10:30
Break
10:30-12:00
Session 5 : Algorithms and Theory (Chair: Leonard Kwuida)
- From Concepts to Concept Lattice: A Border Algorithm for Making Covers Explicit
Ben Martin, Peter Eklund
- A Formal Context for Symmetric Dependencies
Jaume Baixeries
- The Number of Plane Diagrams of a Lattice
Christian Zschalig
12:00-13:30
Lunch
13:30-15:00
Session 6 : Applications II (Chair: Engelbert Mephu Nguifo)
- Formal Concept Analysis Enhances Fault Localization in Software
Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux
- Refactorings of Design Defects Using Relational Concept Analysis
Naouel Moha, Amine Mohamed Rouane Hacene, Yann-Gaël Guéhéneuc, Petko Valtchev
- Contingency Structures and Concept Analysis
Alex Pogel, David Ozonoff
16:30-23:00
Social Event: Visit of Pointe-À-Callière Museum and Banquet
Thursday, February 28
9:00-10:00
Invited talk 5
The Dictionary as Mirror of the Mind
Stevan Harnad, UQAM, Canada
10:00-10:30
Break
10:30-11:00
Session 7 Applications III (Chair: Alex Pogel)
- Efficient Implementations of Logical Information Systems based on the Decomposition of
Contexts
Sébastien Ferré
12:00-13:30
Lunch
13:30-15:00
Session 8 : Description Logics (Chair: Amedeo Napoli)
- Acquiring Generalized Domain-Range Restrictions
Sebastian Rudolph
- A Finite Basis for the Set of EL-implications Holding in a Finite Model
Franz Baader, Felix Distel
- Lexico-Logical Acquisition of OWL DL Axioms
Johanna Völker and Sebastian Rudolph