Contact Person : Conrad Drescher; Last Date for the submission of abstract : 20/06/2012; Description : This workshop is about using logic to model complex technical products built from configurable components (e.g. Linux distributions, computers).