Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang | Kaicus Deutschland