This quantity comprises chosen papers awarded at ICFCA 2010, the eighth Int- nationwide convention on Formal idea research. The ICFCA convention sequence goals to be the major discussion board for dissemination of advances in utilized lattice and order idea, and particularly advances in idea and functions of Formal inspiration research. Formal proposal research (FCA) is a ?eld of utilized arithmetic with its mathematical root so as conception, specifically the idea of entire lattices. Researchershadlongbeenawareofthefactthatthese?eldshavemanypotential applications.FCAemergedinthe1980sfrome?ortstorestructurelattice thought to advertise higher verbal exchange among lattice theorists and strength clients of lattice conception. the major subject was once the mathematical formalization of c- cept and conceptual hierarchy. considering then, the ?eld has built right into a starting to be study quarter in its personal correct with a thriving theoretical neighborhood and an - creasingnumberofapplicationsindataandknowledgeprocessingincludingdata visualization, info retrieval, computing device studying, sofware engineering, info research, information mining in internet 2.0, research of social networks, thought graphs, contextual good judgment and outline logics. ICFCA 2010 came about in the course of March 15–18, 2010 in Agadir, Morocco. We acquired 37 top of the range submissions out of which 17 have been selected as average papers in those court cases after a aggressive choice procedure. much less mature works that have been nonetheless thought of invaluable for dialogue on the convention have been amassed within the supplementary court cases. The papers within the current quantity coveradvancesinvariousaspectsofFCArangingfromitstheoreticalfoundations to its functions in different different ?elds. as well as the normal papers, thisvolumealsocontainsfourkeynotepapersarisingfromtheseveninvitedtalks given on the convention. we're additionally extremely joyful to incorporate a reprint of Bernhard Ganter’sseminalpaper on hiswell-knownalgorithmfor enumerating closedsets.