Workshop on Logics for Component Configuration

September 12, 2011 University of Perugia, Italy

Workshop OrganizersConrad DrescherUniversity of Oxford, UKInês Lynce INESC-ID, PortugalRalf TreinenUniversité Paris-Diderot, France

Programme CommitteeFabien Dagnat (France)Conrad Drescher (UK) Gerhard Friedrich (Austria)Ulrich Junker (France)Inês Lynce (Portugal)

Toni Mancini (Italy)Albert Oliveras (Spain) Carsten Sinz (Germany) Ralf Treinen (France)Nic Wilson (Ireland)

09:15 Opening

09:25 Invited talk

Daniel Le Berre

Software dependency management: from p2 to p2cudf

10:25 Coffee Break

10:55 Roberto Di Cosmo, Olivier Lhomme and Claude Michel.Aligned component upgrades

11:20 Martin Gebser, Roland Kaminski and Torsten Schaub: aspcud.A Linux Package Configuration Tool Based on Answer Set Programming

11:45 Gerhard Friedrich, Anna Ryabokon, Andreas Falkner, Alois Haselboeck, Gottfried Schenner and Herwig Schreiner.

(Re)configuration using Answer Set Programming

12:10 Markus Aschinger, Conrad Drescher and Georg Gottlob.Introducing LoCo, a Logic for Configuration Problems

12:35 Lunch Break

14:00 Fabien Dagnat, Gwendal Simon and Xu Zhang.Toward decentralized package management

14:25 Cyrille Valentin Artho, Kuniyasu Suzaki, Stefano Zacchiroli and Roberto Di Cosmo.Sources of Inter-package Conflicts in Debian

14:50 Announcement of the results of MISC 2011

15:15 Coffee Break

LoCoCo’11 @