1st Symposium

Formal and Semi-Formal Methods in Architecture

Geometry and Architecture

 

João Pedro Xavier (FAUPorto)

Geometrias e Arquitecturas

Gonçalo Castro Henriques (X-Ref | FAULisboa)

Tecnologias Digitais em Arquitectura - CAD | CAE | CAM: Projecto TetraScript

João Pedro Sousa (OP'Lab | FAULisboa)

Da Estandarização à Personalização Digital

Mauro Costa (ESGallaecia)

Biological Analogies for Architecture and Design

José Cadillhe (AA Londres)

Proto - Design: Interacções Sistémicas

Nuno Montenegro (FAULisboa)

Padrões_ Uma Modelização para Planeamento

José Beirão (UTL / TUDelft)

Parametric Urban Design: Ferramentas para Projecto Urbano

José Semide (ESAPorto)

Geometrias na Prática da Arquitectura

António Barbosa (ESAPorto)

Projecto

 

Intensive formal methods application in construction

Ana Sofia Guimarães (FEUPorto)

Edifícios Existentes - Medidas de Melhoria de Desempenho Energético e da Qualidade do Ar Interior

Jorge Vieria Vaz (ESAPorto)

BIM | VDC - Building Information Modeling | Virtual Design to Construction

Franklim Morais (ESAPorto)

Métodos Formais em Estruturas - Alguns Ensinamentos Históricos

Gonçalo Louro (ESAPorto)

Arquitectura de Contornos Técnicos

 

Formal Languages

 

Rogério Ventura Reis (FCUPorto)

Lnguagens Formais e Epistemologia das Ciências

Joaquim Barbosa (CLUPorto)

Linguageens Formais em Linguística - Linguagens Discursivas Naturais

José Pinto Duarte (FAULisboa)

Personalização em Série: Modelos e Algoritmos

Franklim Morais (ESAPorto)

Métodos Formais em Fase de utilização - Espaços e Edifícios Inteligentes

Luís Ferreira Rodrigues (ESAPorto)

A Ideia e o Projecto

David Leite Viana (ESGallaecia)

Espaço e Lógica (IN)Formal

Ricardo Ruivo (FAUPorto)

Tendências de Formalização na Teoria e na Metodologia Arquitectónicas