Proceedings of International Workshop on Configurable Distributed Systems