International workshop on Logics for Component Configuration (LoCoCo 2010), Edinburgh, Scotland (UK), tenuto in occasione di SAT 2010.