Proceedings of the Fourth Workshop on International Science of Smart City Operations and Platforms Engineering