SFM 2011: Bertinoro, Italy

Architecture and Interoperability

Formal Foundations for Connectors

Connector Synthesis

Learning and Monitoring

Dependability Assurance

Trustworthy Eternal Systems via Evolving Software

maintained by Schloss Dagstuhl LZI, founded at University of Trier