Page 53 - newDATAmagazine | 03>07>2021

submissão

de 6 th international symposium

resumos formal methods in architecture

No âmbito da digitalização do setor da Arquitetura e Urbanismo (A&U), dos dados e do desenvolvimento
No âmbito da digitalização do setor da Arquitetura e Urbanismo (A&U), dos dados e do desenvolvimento
tecnológico que se tem verificado ao nível dos respetivos processos de análise, projeto, produção, construção e
tecnológico que se tem verificado ao nível dos respetivos processos de análise, projeto, produção, construção e
monitorização, entre outros, realiza-se desde 2011 a série de simpósios internacionais em Métodos Formais
monitorização, entre outros, realiza-se desde 2011 a série de simpósios internacionais em Métodos Formais
em Arquitetura (FMA). Trata-se de um evento científico que, de dois em dois anos, reúne diversos académicos,
em Arquitetura (FMA). Trata-se de um evento científico que, de dois em dois anos, reúne diversos académicos,
investigadores, profissionais e estudantes de diferentes disciplinas e atividades para conhecimento e
investigadores, profissionais e estudantes de diferentes disciplinas e atividades para conhecimento e
discussão das tendências mais recentes e de avanços emergentes nos campos científicos do simpósio.
discussão das tendências mais recentes e de avanços emergentes nos campos científicos do simpósio.

Os simpósios em métodos formais em A&U A quinta edição do simpósio decorreu em outubro
focam os avanços metodológicos com base em de 2020 no Iscte e está reunida no livro de atas
trabalho colaborativo entre áreas da matemática, Formal Methods in Architecture (Springer, 2021). Em
das ciências da computação e da informação que 2022, o 6th International Symposium Formal
tem vindo a enquadrar novos e múltiplos graus de Methods in Architecture (6FMA) terá lugar em maio,
abstração de questões e de formalização de na Escola Técnica Superior de Arquitetura (ETSA) da
respostas possíveis às mesmas. A perspetiva que Universidade da Corunha (UDC), na Galiza
tem vindo a ser consolidada ao longo das várias (Espanha). Mais informação no seguinte link:
edições do simpósio prende-se com a necessidade www.archformalmethods.eu
de integrar sinergicamente o potencial dos dados e Enquanto co-chair do 6FMA convido à submissão
da tecnologia na A&U. Assim, mais do que entender de resumos até 30 de novembro próximo. Os
ferramentas digitais per si, por exemplo, procura-se resumos recebidos serão sujeitos a uma revisão
compreender o seu alcance e limitações na respetiva cega por pares que determinará aqueles que serão
aplicação, para que possam ser abordadas de modo convidados a prosseguirem para artigo e
integrado e combinado. apresentação no simpósio de 2022. A comissão
O exposto traduz-se no conjunto dos campos científica do 6FMA, que agrega os revisores
científicos do simpósio, que contempla a coleta de convidados, será responsável pela qualidade
dados, a organização semântica de informação, as científica do evento e conta com cerca de três
linguagens sintática e semanticamente formais, a dezenas de reconhecidos académicos e
representação, visualização e interação, a investigadores nacionais e internacionais. Mais
automação do projeto, a monitorização de informação sobre a comissão científica no seguinte
desempenhos arquitetónicos e urbanos, a gestão link:
inteligente do ambiente construído. Para mais www.archformalmethods.eu/organization-
detalhes sobre as áreas científicas do simpósio pode committees
ser consultado o seguinte link:
www.archformalmethods.eu/scientific-fields David Leite Viana

Co-Chair 6FMA

Os resultados do 6FMA serão publicados por editora internacional e contribuirão para a consolidação desta rede
centrada no que os dados, a digitalização e a tecnologia podem acrescentar, de modo integrado, ao pensamento,
operacionalização e aplicação sistémica da Arquitetura e do Urbanismo.

www.archformalmethods.eu