Ruivo, C. (2025). Closing Speech. Formal Methods in Architecture: Proceedings of the 7th International Symposium. xiii-xvi