Preliminary Conference Program

Monday 14/02

14h30 : Opening Ceremony

14h45 - 16h15 : Technical session 1 : Software Engineering ---- Chair : Robert Godin

14h45 : Lessons Learned in Applying FCA to Reverse Engineering
Gabriela Arevalo, Stephane Ducasse, Oscar Nierstrasz

15h15 : Conceptual Analysis of Relational Structures in Software.
Richard Cole and Peter Becker

15h45 : Content-based Restructuring of HELP Systems using Formal Concept Analysis.
Bastian Wormuth, Peter Eklund

16h15 - 16h45 : Break

16h45 - 18h15 : Technical session 2 : Information Retrieval ---- Chair : Peter Eklund

16h45 : Using A Query-Base Multicontext for Knowledge Base Browsing
Julien Tane

17h15 : The Analysis of Batch Information Retrieval Tasks with Concept Lattices
Francisco J. Valverde-Albacete

17h45 : Using Intermediate Representation Systems to Interact with Concept Lattices.
Peter Becker

18h15 : CAWN: Concept Analysis as a Formal Method for Web-Menu Design.
GQ Zhang, Gongqin Shen, Josh Staiger, Adam Troy, Jiayang Sun

18h45 : **** Welcome reception at IUT de Lens ****

Tuesday, 15/02

09h-10h : Invited talk ---- Chair : Bernhard Ganter

09h00 : Milestones in the History of Galois Connections and Formal Concept Analysis
Marcel Erné

10h-10h30 : Technical session 3 : Implications 1 ---- Chair : Petko Valtchev

10h00 : Closure systems and implications.
Roman König

10h30-11h : Break

11h-12h30 : Technical session 4 : Implications Generators 2 ---- Chair : Henry Soldano

11h00 : Characterization and Armstrong relations for Degenerated Multivalued Dependencies using Formal Concept Analysis.
Jaume Baixeries and José Luís Balcázar

11h30 : Formal Concept Analysis Constrained by Attribute-dependency Formulas.
Radim Bĕlohlavék, Vladimir Sklenář

12h00 : On the evolution of the minimal generator family of a formal context upon changes in its attribute set.
K. Nehmé, P. Valtchev, M. Rouane Hacene, R. Godin

12h30 - 14h : Lunch

14h - 15h30 : Technical session 5 : Theory ---- Chair : Marcel Erné

14h00 : Bialgebraic contexts for distributive lattices - revisited.
Juerg Schmid

14h30 : Which concept lattices are pseudocomplemented?
Léonard Kwuida, Bernhard Ganter

15h00 : Planarity of lattices
Christian Zschalig

15h30 - 16h : Break

16h - 18h : Technical session 5 : Variations and Extensions 1 ---- Chair : Juerg Schmid

16h00 : Coherence Networks of Concept Lattices: The Basic Theorem.
S. Dörflein, Rudolf Wille

16h30 : Triadic Concept Graphs and Their Conceptual Contents.
Lars Schoolmann

17h00 : Alpha Galois Lattices: an overview
Véronique Ventos, Henry Soldano

17h30 : On Intractability of Computing the Duquenne-Guigues Basis.
Sergei O. Kuznetsov

Wednesday, 16/02

09h-10h : Invited talk ---- Chair : Engelbert Mephu Nguifo

09h00 : Towards Generic Pattern Mining
Mohammed Zaki

10h-10h30 : Technical session 6 : Semantics 1 ---- Chair : Marzena Kryszkiewicz

10h00 : Multi-dimensional organisation of knowledge based on concept lattices
Laszlo Szathmary and Amedeo Napoli

10h30 - 11h : Break

11h-12h30 : Technical session 7 : Semantics 2 ---- Chair : Amedeo Napoli

11h00 : Combining Spatial and Lattice-based Information Landscapes
Jon Ducrou and Peter Eklund

11h30 : Conceptual Exploration of Semantic Mirrors
Uta Priss, L. John Old

12h00 : Concept Hierarchies from a Logical Point of View
Rainer Osswald

12h30-14h : Lunch

14h-16h : Technical session 8 : Algorithms 1 ---- Chair : Mohammed Zaki

14h00 : Efficiently computing a linear extension of the sub-hierarchy of a concept lattice.
A. Berry, M. Huchard, R. McConnell, A. Sigayret and J. Spinrad

14h30 : A generic algorithm for generating closed sets of a binary relation
Alain gély

15h00 : Algorithm of construction of formal concept lattice and determination of minimal generators.
S. Ben Tekaya, S. Ben Yahia and Y. Slimani

15h30 : Uncovering and Reducing Hidden Combinatorics in Guigues-Duquenne Covers.
A. Gély, R. Medina, L. Nourine, Y. Renaud

16h - 23h30 : Excursion and Conference Banquet
LENS --> ARRAS --> LENS

Thursday 17/02

09h-10h : Invited talk ---- Chair : Rudolf Wille

09h00 : Algorithmic Aspects FCA
Lhouari Nourine

10h-10h30 : Technical session 9 : Algorithms 2 ---- Chair : Sergei Kuznetsov

10h00 : A divide-and-conquer algorithm for parallel lattice construction
J.F.D. Kengue, P. Valtchev, C. Tayou

10h30 - 11h : Break

11h - 12h30 : Technical session 10 : Variations and Extensions 2 ---- Chair : Frithjof Dau

11h00 : A Finite State Model for On-Line Analytical Processing in Triadic Contexts.
Gerd Stumme

11h30 : Complete Subalgebras of Semiconcept Algebras and Protoconcept Algebras.
Björn Vormbrock

12h00 : Protoconceptual content and implications.
Joachim Hereth Correia, Julia Klinger

12h30 - 14h : Lunch

14h-15h30 : Technical session 11 : Variations and Applications ---- Chair : Karl Erich Wolff

14h00 : Crisply Generated Fuzzy Concepts
Radim Bĕlohlavék, Vladimir Sklenář, Jiří Zacpal

14h30 : An application of FCA to the analysis of aeronautical incidents
Nicolas Maille, Irving Statler, Laurent Chaudron

15h00 : Iterative Diagram Improvement Using Natural Spring Length Based on Conceptual Similarity
Tim Hannan, Alex Pogel, Wesley Varela, Arturo Mayorga, Lance Miller, Jonathan Newton

15h30-16h : Break

16h-17h30 : Technical session 12 : Demontration Session ---- Chairs : S. Ben Yahia, P. Valtchev and C. Tayou

17h45 - 20h : Welcome ceremony at City Hall, by Mayor of LENS

Friday 18/02

09h-10h : Invited talk ---- Chair : Gerd Stumme

09h00 : Concise representations of rules
Marzena Kryszkiewicz

10h-10h30 : Technical session 13 : Variations and Extensions ---- Chair : Michel Liquière

10h00 : Turing Machine Representation in Temporal Concept Analysis
Karl Erich Wolff, Wendsomde Yameogo

10h30 - 11h : Break

11h-12h30 : Technical session 14 : Semantics ---- Chair : Uta Priss

11h00 : Explaining the Structure of FrameNet with Concept Lattices
Francisco J. Valverde-Albacete

11h30 : Automatic Selection of Phrases as Document Descriptors in a Information Retrieval FCA Based System
Juan M. Cigarrán, Anselmo Peñas, Julio Gonzalo, Felisa Verdejo

12h00 : Towards a Formal Concept Analysis Approach to the Exploration of Communities on the World Wide Web
Jayson Rome, Robert M. Haralick

12h30-12h50 : Community meeting - Next Year ICFCA 2006

12h50 - 13h : Closing remarks

13h - 15h : Lunch