Third International Workshop on Logics for Component Configuration (LoCoCo 2012)
Conference in-person 8th to 8th September 2012 Budapest, Hungary Website: http://lococo.irill.org/2012 Contact person: Conrad Drescher This workshop is about using logic to model complex technical products built from configurable components (e.g. Linux distributions, computers). Deadline for abstracts/proposals: 20th June 2012 Check the event website for more details. View all events from this organizer. |