The paper "Compositional Analysis Using Component-Oriented Interpolation", co-authored by team members Joost-Pieter Katoen and Thomas Noll, has been accepted at the 11th International Symposium on Formal Aspects of Component Softwar.... It presents a novel abstraction technique that exploits the compositionality of a concurrent system consisting of interacting components.