C. R. Pereira,  "Closing Speech", in Formal Methods in Architecture: Proc. of the 7th Int. Symp., pp. xiii-xvi, 2025