Proceedings of the 15th international symposium on System Synthesis