Workshop on Logics for Component Configuration
description
Transcript of Workshop on Logics for Component Configuration
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 @