Program

The preliminary SC2005 proceedings can be downloaded here.

Registration [8:30--9:00]

Session I: Welcome [9:00--10:40]
Session Chair: TBD

Welcome by the Programme Co-Chairs
Thomas Gschwind (IBM Research), Uwe Aßmann (TU Dresden)

Keynote: The Revival of Dynamic Languages
Oscar Nierstrasz (Universität Bern)

A Lambda Calculus With Forms
by Markus Lumpe

Coffee Break [10:40--11:00]

Session II: Component Composition [11:00--12:40]
Session Chair: TBD

Composition-oriented Service Discovery
by Razvan Andrei Popescu, Antonio Brogi, Sara Corfini

Ad Hoc Composition of User Tasks in Pervasive Computing Environments
by Sonia Ben Mokhtar, Nikolaos Georgantas, Valérie Issarny

Improving Composition Support with lightweight Metadata-based extensions of Component Models (short)
by Johann Oberleitner, Michael Fischer

Directory Support for Large-Scale, Automated Service Composition (short)
by Walter Binder, Ion Constantinescu, Boi Faltings

Lunch [12:40--14:00]

Session III: Component Contracts and Protocols [14:00--15:40]
Session Chair: TBD

Analysis of Compositional Conflicts in Component-Based Systems
by Andreas Leicher, Susanne Busse, Jörn Guy Süß

A model of components with non-regular protocols
by Mario Südholt

Java Implementation of a Component Model with Explicit Symbolic Protocols (short)
by Sebastian Pavel, Jacques Noyé, Pascal Poizat, Jean-Claude Royer

Towards Distributed Contract Negotiation in Component-Based Systems (short)
by Mesfin Mulugeta Dinku, Steffen Goebel

Coffee Break [15:40--16:00]

Session IV: Component Adaptation and Configuration [16:00--18:00]
Session Chair: TBD

On Typesafe Aspect Implementations in C++
by Daniel Lohmann, Olaf Spinczyk

Flexible Binding for Reusable Composition of Web Services
by Cesare Pautasso, Cesare Pautasso, Gustavo Alonso

Stateful aspects in JAsCo
by Wim Vanderperren, Davy Suvee, Maria Agustina Cibran, Bruno De Fraine

Invasive Configuration of Generic Components
by Volker Kuttruff, Thomas Genssler

Workshop Dinner