Everybody who is interested in applying logical methods to problems of configuring components should come to Edinburgh on July 10, 2010, and attend the Workshop on Logics for Component Configuration (LoCoCo 2010). This workshop will be part of the 2010 Federated Logic Conference, a large gathering of scientists working on logics in computer science which takes place every 3 to 4 years, and which federates the major international conferences in the field, together with some 50 workshops. The LoCoCo workshop, in fact, is in this context affiliated with the SAT conference, that is the conference about one of the technologies that are employed in the mancoosi project to attack package upgrade problems.

The problems we are currently trying to solve in mancoosi are only a small part of the scope of LoCoCo. The workshop aims more largely and attempts to bring together researchers working on different aspects of software component configuration, as long as they are using logic for that purpose. We are happy that Carsten Sinz from Karlsruhe agreed to give an invited talk at our workshop. The LoCoCo workshop will also be the stage for the first Mancoosi International Solver Competition (MISC), more details about this will be posted soon.

Original research papers accepted for the workshop will - in the spirit of Free and Open Source - be published under an open access licence by EPTCS, and will be freely available online. The deadline for submissions is March, 26. More details can be found on the LoCoCo website, and more specifically in the call for papers.