FMA SYMPOSIA series (2011-2024)

Formal Methods in Architecture

HOME DESCRIPTION
Description Purpose Target audience Promoters Scientific Fields
CONTACTS
be in touch Mail Us Visit us
PAST SYMPOSIA
1st Symposium (2011) 2nd Symposium (2013) 3rd Symposium (2015) 4th Symposium (2018) 5th Symposium (2020) 6th Symposium (2022)
PROCEEDINGS
by Author by Title

7th SYMPOSIUM 2024

ORGANIZATION
Promoters Chairs Organizing Committee Scientific Committee Sponsors
PARTICIPANTS
Important dates Call for Papers Call for Workshops Fees Agreements Diplomas Technical means Languages Record Policies Book of Proceedings VENUES
PROGRAMME
Conference Keynote speakers Workshops Programme Social Programme
Skip Navigation LinksHOME > PAST SYMPOSIA > 1st Symposium (2011) (tip)

PROMOTERS

The 1st Symposium "Formal Methods in Architecture" was an initiative of the following departments of ESAP / Escola Superior Artística do Porto (Arts University School of Oporto):

ESAP

ESAP / Escola Superior Artística do Porto
(Arts University School of Oporto)

LIAD

Laboratório de Investigação em Arquitectura e Design
(Laboratory for Architecture and Design Research)

DA

Departamento de Arquitetura
(Architecture Department)


MIA

Mestrado Integrado em Arquitetura
(Integrated Master Degree in Architecture)

ORGANIZATION

SCIENTIFIC COMMITTEE

David Leite Viana
Information Sciences, Technologies and Architecture Research Centre, ISCTE-University Institute of Lisbon
Franklim Morais
Porto Arts Higher School
Jorge Vieira Vaz
Research Laboratory in Architecture and Design, Porto Higher Art School
Michele Cannatá
Research Laboratory in Architecture and Design, Porto Higher Art School

PROGRAMME

MODERATORS & COMMENTATORS

David Leite Viana
Information Sciences, Technologies and Architecture Research Centre, ISCTE-University Institute of Lisbon
Franklim Morais
Porto Arts Higher School
Jorge Vieira Vaz
Research Laboratory in Architecture and Design, Porto Higher Art School
Michele Cannatá
Research Laboratory in Architecture and Design, Porto Higher Art School
Fátima Fernandes
Porto Arts Higher School
Manuel Mendes
Faculty of Architecture, University of Porto

WORKSHOPS

PONTE PARAMÉTRICA - IV Workshop de processos digitais de projecto

Gonçalo Castro Henriques
Laboratory of 3d Models and Digital Fabrication, Federal University of Rio de Janeiro
José Pedro Sousa
Faculty of Architecture, University of Porto

RECORDS

MOVIES

YouTube Title Authors
1.º Encontro ´Métodos Formais e Semi-Formais em Arquitectura´ - sessão de abertura
A ideia e o projecto Luís Ferreira Rodrigues
Arquitectura de contornos técnicos Gonçalo Louro
BIM / VDC - Building Information Modeling / Virtual Design to Construction Jorge Vieira Vaz
Biological analogies for architecture and design Mauro Costa
Da estandartização à personalização (digital) José Pedro Sousa
Edifícios existentes – medidas de melhoria de desempenho energético e da qualidade do ar interior Ana Sofia Guimarães
Geometrias e Arquitecturas João Pedro Xavier
Geometrias na prática da Arquitectura José Semide
Linguagem, Mensagem, Matéria Ricardo Ruivo
linguagens formais e epistemologia das ciências Rogério Ventura Reis
Métodos formais em estruturas – alguns ensinamentos históricos Franklim Morais
Padrões: uma modelização para planeamento Nuno Montenegro
Para onde vai a formalização em arquitectura?
Personalização em série: modelos e algoritmos José Pinto Duarte
Proto Design: interacções sistémicas José Cadilhe
without title António Barbosa

OTHER RECORDS

PDF ZIP Title Authors CV PPT Abst Text
1.º Encontro ´Métodos Formais e Semi-Formais em Arquitectura´ - sessão de abertura
A ideia e o projecto Luís Ferreira Rodrigues X
Arquitectura de contornos técnicos Gonçalo Louro X X X
BIM / VDC - Building Information Modeling / Virtual Design to Construction Jorge Vieira Vaz X
Biological analogies for architecture and design Mauro Costa
Da estandartização à personalização (digital) José Pedro Sousa X X
Edifícios existentes – medidas de melhoria de desempenho energético e da qualidade do ar interior Ana Sofia Guimarães X X
Espaço e lógica [in]formal David Leite Viana X X X X
Geometrias e Arquitecturas João Pedro Xavier
Geometrias na prática da Arquitectura José Semide X X X
Linguagem, Mensagem, Matéria Ricardo Ruivo X X
linguagens formais e epistemologia das ciências Rogério Ventura Reis
Linguagens formais em linguística – linguagens discursivas naturais Joaquim Barbosa
Métodos formais em estruturas – alguns ensinamentos históricos Franklim Morais X X X
Métodos formais em fase de utilização – espaços e edifícios inteligentes Franklim Morais X X X
Padrões: uma modelização para planeamento Nuno Montenegro X X
Para onde vai a formalização em arquitectura?
Parametric Urban design: ferramentas para projecto urbano José Nuno Beirão X X
Personalização em série: modelos e algoritmos José Pinto Duarte X X
Proto Design: interacções sistémicas José Cadilhe X
Tecnologias digitais em arquitectura (CAD – CAE – CAM): o projecto TetraScript Gonçalo Castro Henriques X X
without title António Barbosa X

PHOTO GALLERY

a meeting place between academia and architecture professionals

MENU --> 7th 6th