International workshop on Logics for Component Configuration (LoCoCo 2011), Perugia, Italy, in associazione con CP 2011