5th Formal Methods in Architecture Session05 edited
Channel: Architecture FormalMethods
Date: 2020-11-09

P17 - Non-intrusive Semi-automated Modelling of Ordinary Buildings’ Intermediate Floors: Collective Housing in Porto, Portugal, by David Pereira-Martínez, Gisela Lameira, Plácido Lizancos, Isabel Raposo and Virgílio Borges Pereira;
P18 - Public Space Use: an Approach to Liveability in Urmia Bazaar, Iran, by Momen FoadMarashi and Francisco Serdoura;
Moderator: Canan Colaço.