4th international Symposium - “formal Methods in Architecture” 13 فروردین - 23 اردیبهشت 1397 Porto, پرتغال ESAP – Escola Superior Artística do Porto 09 مهر 1396 لینک به سایت کنفرانس