Feito em parceria com o Mestrado Integrado em Arquitectura da ESAP, com o Departamento de Arquitectura da ESAP, com o ISTAR-IUL / Centro de Investigação em Ciências da Informação, Tecnologias e Arquitectura, com o ISCTE-IUL / Instituto Universitário de Lisboa, com o DAU / ISCTE-IUL Departamento de Arquitetura e Urbanismo e ISTA / Escola Superior de Tecnologia e Arquitetura. O Simpósio decorreu em Outubro de 2020.
O objetivo principal deste simpósio é contribuir para o debate nos campos da Arquitetura e do Urbanismo sobre a aplicação de novos métodos formais a problemas sociais e técnicos emergentes. Os métodos formais serão focados em avanços metodológicos baseados em novos desenvolvimentos provenientes do trabalho colaborativo com Matemática e Ciências da Computação que permite vários graus diferentes de abstração e formalização.
Da geometria milenar às gramáticas de forma atuais, várias abordagens formais para Arquitetura e Urbanismo são bem-vindas para serem apresentadas. O objetivo do simpósio é discutir, divulgar e promover o uso de métodos formais na criação de novas linguagens explícitas para a resolução de problemas em Arquitetura e Urbanismo.
Discutiremos os problemas atuais no campo e as potencialidades e desvantagens do uso de métodos formais para resolvê-los.
Estes problemas vão desde a produção, sustentabilidade, representação, comunicação, património entre outros, nunca deixando de ver a Arquitetura e o Urbanismo como atividades tecnológicas e também artísticas.