Mathematically Developing Building Facades: An Algorithmic Framework - Caetano, Inês; Leitão, António; Pisello, Anna Laura, Editorial Board Member; Hawkes, Dean, Editorial Board Member; Bougdah, Hocine, Editorial Board Member; Rosso, Federica, Editorial Board Member; Abdalla, Hassan, Editorial Board Member; Boemi, Sofia-Natalia, Editorial Board Member; Mohareb, Nabil, Editorial Board Member; Mesbah Elkaffas, Saleh, Editorial Board Member; Bozonnet, Emmanuel, Editorial Board Member; Pignatta, Gloria, Editorial Board Member; et al. (Formal Methods in Architecture : Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020, 2021)