contact

5th international symposium
"formal methods in architecture"

e-mail: formalmethods2020@gmail.com
 
ESAP - Escola Superior Artística do Porto
Lg. S. Domingos, 80
4050-545 PORTO
 
ISCTE - Lisbon University Institute
Av. das Forças Armadas
1649-026 Lisboa