4th international Symposium - “formal Methods in Architecture” 02 April - 13 May 2018 Porto, Portugal ESAP – Escola Superior Artística do Porto 01 October 2017 Link to Conference Website