Life-Cycle Civil Engineering: Innovation, Theory and Practice: Proceedings of the 7th International Symposium on Life-Cycle Civil Engineering (IALCCE 2020), October 27-30, 2020, Shanghai, China