OPO’ARCH Formal Methods

(NORTE-01-0246-FEDER-000013), projeto aprovado, com um investimento total de 561.600,00 €, sendo 85% cofinanciado pelo programa Norte2020.

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