venue

​ISCTE - Lisbon University Institute, Lisbon, Portugal

istar

5th Symposium “Formal Methods in Architecture”
ISCTE - Lisbon University Institute
Av. das Forças Armadas
1649-026 Lisboa

​location map

campus map

istar