Proceedings of the 12th International workshop on distributed systems by