1.º Encontro OPO'ArchFormalMethods'2017 9 de Março de 2017 , Casa do Infante - Porto O 1.º Encontro OPO'ArchFormalMethods'2017 vai decorrer no Porto no dia 9 de Março e tem como objetivo a apresentação da Plataforma OPO'ArchFormalMethods e software DepthSpace3D , resultante de projeto de investigação em curso no LIA / Laboratório de Investigação em Arquitetura ( ESAP ) e financiado pelo NORTE2020 . A entrada é livre , sujeita a inscrição prévia através do e-mail opoarch@esap.pt .