Formal Concept Analysis is a branch of applied mathematics. Based on a mathematization of concept and concept hierarchy it activates mathematical methods for conceptual data analysis and knowledge processing. Have a look at an intro, or view a small example of a concept lattice.

Several books  on Formal Concept Analysis have appeared, among them the first textbook on FCA in English. The this book is out of print. We are working on a second edition, but that will take a while. Springer has given us the permission to distribute (ancillary) copies of the first edition until the second edition is ready. Also, the German version is still there, and a Chinese edition is in preparation. Springer LNAI 3626 "constitutes a comprehensive and systematic presentation of the state of the art of formal concept analysis and its applications", containing selected material from ICFCA03.

There are some simple LaTeX macro files for typesetting FCA stuff: LaTeX for FCA (current version: October 2007).

An extensive publication list and many other useful hints can be found on the Homepage of the Ernst-Schröder-Zentrum. Have a look at Uta Priss' fca-pages! Some other links point to various FCA-related activities in Germany or elsewhere . The list of preprints is also here.