FMA SYMPOSIA series (2011-2026)
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