FMA 3rd international symposium

Formal Methods in Architecture: 3rd international symposium, Novembro/Dezembro 2015, ESAP, Porto. Simpósio internacional que incluíu um call-for-papers, uma exposição de trabalhos que utlizam métodos formais e a apresentação do DephtSpace 3D – aplicação informática para sintaxe tridimensional.

1º Encontro Opo’Arch

1º Encontro Opo’Arch (encontro realizado no âmbito do projeto OPO’Arch Formal Methods).
Organização: Jorge Vieira VAZ, Michele CANNATÀ e Joaquim FLORES
9 de Março de 2017 – Palácio de Belmonte – Porto – Portugal

FMA 4th international symposium

4th Symposium on Formal Methods in Architecture and Urbanism, organizado pelo LIAD, pelo MIA, e pelo DARQ. O Simpósio teve lugar na ESAP entre 2 e 6 de Abril de 2018.