LoCoCo 2010: July 10

Workshop on Logics for Component Configuration

associated with SAT

Overview

This workshop will focus on logic-based methods for specifying and solving complex configuration problems for software components. The goal of the workshop is to bring together both researchers and practitioners active in the area of component configuration of software systems, using different modeling and solving techniques, such as constraint and logic programing, description logics, satisfiability and its extensions.

More information can be found here.

Programme

Program Chairs

Ines Lynce, Technical University of Lisbon, Portugal
Ralf Treinen, PPS, Université Paris Diderot, France

Program Committee:

Roberto Di Cosmo, Universite Paris Diderot and INRIA, France
Georg Gottlob, Oxford University, United Kingdom
Matti Järvisalo, University of Helsinki, Finland
Daniel Le Berre, CRIL-CNRS UMR 8188, Université d'Artois, France
Toni Mancini, Dipartimento di Informatica, Sapienza Università di Roma, Italy
Albert Oliveras, Technical University of Catalonia, Spain
Christian Schulte, KTH - Royal Institute of Technology, Sweden
Pascal Van Hentenryck, Brown University, United States
Nic Wilson, 4C, UCC, Cork, Ireland