FMA SYMPOSIA series (2011-2024)
Formal Methods in Architecture
2nd Symposium
PORTO 2013
2013-05-20 / 2013-05-22
The 2nd Symposium "Formal Methods in Architecture" was an initiative of the following departments of ESAP / Escola Superior Artística do Porto (Arts University School of Oporto):
David Leite Viana
Information Sciences, Technologies and Architecture Research Centre, ISCTE-University Institute of Lisbon
Franklim Morais
Porto Arts Higher School
Jorge Vieira Vaz
Research Laboratory in Architecture and Design, Porto Higher Art School
Michele Cannatá
Research Laboratory in Architecture and Design, Porto Higher Art School
Paolo Marcolin
Research Laboratory in Architecture and Design, Porto Higher Art School
David Leite Viana
Information Sciences, Technologies and Architecture Research Centre, ISCTE-University Institute of Lisbon
Franklim Morais
Porto Arts Higher School
Jorge Vieira Vaz
Research Laboratory in Architecture and Design, Porto Higher Art School
Michele Cannatá
Research Laboratory in Architecture and Design, Porto Higher Art School
Fátima Fernandes
Porto Arts Higher School