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 > 3rd Symposium (2015) (tip)

PROMOTERS

The 3rd 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

CHAIRS

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

ORGANIZING COMMITTEE

Catarina Ruivo
Research Centre for Architecture, Urbanism and Design, Lisbon School of Architecture, University of Lisbon
Cristina Martins Paixão
Concinnitas CRL
Joaquim Flores
Research Laboratory in Architecture and Design, Porto Higher Art School
Mafalda Malheiro
Porto Arts Higher School
Sérgio Mendes
Research Laboratory in Architecture and Design, Porto Higher Art School

SCIENTIFIC COMMITTEE

José Pinto Duarte
The Pennsylvania State University
Michael Weinstock
Architectural Association School of Architecture
Michele Cannatá
Research Laboratory in Architecture and Design, Porto Higher Art School
Paolo Marcolin
Research Laboratory in Architecture and Design, Porto Higher Art School
Susana Milão
Research Laboratory in Architecture and Design, Porto Higher Art School
Tasos Varoudis
Space Syntax Laboratory, Bartlett School of the Built Environment, University College London

PROGRAMME

KEYNOTE SPEAKERS

José Pinto Duarte
The Pennsylvania State University
Tasos Varoudis
Space Syntax Laboratory, Bartlett School of the Built Environment, University College London

MODERATORS & COMMENTATORS

David Leite Viana
Information Sciences, Technologies and Architecture Research Centre, ISCTE-University Institute of Lisbon
Franklim Morais
Porto Arts Higher School
Joaquim Flores
Research Laboratory in Architecture and Design, Porto Higher Art School
Jorge Vieira Vaz
Research Laboratory in Architecture and Design, Porto Higher Art School
Paolo Marcolin
Research Laboratory in Architecture and Design, Porto Higher Art School
Sérgio Mendes
Research Laboratory in Architecture and Design, Porto Higher Art School
Susana Milão
Research Laboratory in Architecture and Design, Porto Higher Art School

WORKSHOPS

shape grammars in architectural urban design

Andrew I-kang Li
Kyoto Institute of Technology
José Pinto Duarte
The Pennsylvania State University



processing & grasshopper & agent based design

Alexandros Kallegias
Bartlett School of the Built Environment, University College London
Elif Erdine
Architectural Association School of Architecture



quantumGIS & space syntax

Ana Cláudia Teodoro
Faculty of Sciences, University of Porto
Joaquim Flores
Research Laboratory in Architecture and Design, Porto Higher Art School
José Alberto Gonçalves
Faculty of Sciences, University of Porto



space syntaxes 2D & 3D

Catarina Ruivo
Research Centre for Architecture, Urbanism and Design, Lisbon School of Architecture, University of Lisbon
Franklim Morais
Porto Arts Higher School



parametric CAD & grasshopper & CAM

José Cadilhe
Architectural Association School of Architecture

ARTS PERFORMANCE

Artist / Performer:

Hugo Paquete
ESAP - Porto Arts Higher School

RECORDS

BOOK of ABSTRACTS

Publisher: CESAP (Cooperativa de Ensino Superior Artístico do Porto), Porto
Pages: 58

Editors:

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

Page Title Authors
25 The revision of the Master Plan of the University of Aveiro: a heterogeneous planning management Sérgio Mendes
26 From scribbling to risking Telmo Castro
27 Relative positioning Mike Mckay
28 Ontologies: technologies for domain modelling, knowledge re-purposing and knowledge sharing Cristina Ribeiro
29 Menarch, ontologies in Architecture: a study on Architecture social function Frederico Silveira
30 Consequences of architectural form on social interaction: function as a basis for housing studies through expanded Space Syntax Catarina Ruivo
31 Beyond the visual field: advances in thinking about and analysing space Tasos Varoudis
32 Metropolitan spatial anatomies: decoding the morphological structure of the city-region Miguel Serra
33 BIM ontologies Antón Castro
David Leite Viana
Jorge Vieira Vaz
34 Data driven simulation model for hospital architecture: modelling and simulating clinical process, architectural layout and patient logistics in a hospital’s Building Information Model shape Johan van der Zwart
Tor Åsmund Evjen
35 A data mining based methodology for the multidimensional study of public open spaces João Ventura Lopes
36 Digital tiles Luís Antunes
37 Typological transformations in a same shape Ana Costa
Eliane Constantinou
Teresa Leite
38 A new pedestrian bridge between Vila Nova de Cerveira and Goiàn David Leite Viana
Isabel Cristina Carvalho
39 The social aspect of digital fabrication Alexandra Paio
Raquel Martins
40 Cork Re-Wall Filipe Brandão
41 DepthSpace3D: a new digital tool for 3D Space Syntax analysis Franklim Morais
42 Semantic structure of formal domains and methods for the development of generic grammars José Nuno Beirão
43 From patterns to parameters Guillermo Varela
44 A compositional schema for the automated generation of best connected rectangular floor plans José Pinto Duarte
Krishnendra Shekawat
45 An integrated approach to urban form Vítor Oliveira
46 Industrial heartbeat of O Poriño David Patiño Álvarez
47 A gathered methodology: towards enhancing adaptable learning spaces Carolina Coelho
48 Temporal structure in music and architecture: a comparative analysis Daniel Moreira
Luís Ribeiro da Silva
49 Graphic user environment for agent based modelling and simulation Tiago Gomes
50 Casa da Música’ (non)place: between global and local / Identifying Casa da Música´ Space Intensities Patterns Antón Tejada
David Leite Viana
Lígia Nunes
51 Inserting new technologies in architectural curricula: from research to practice, and to teaching José Pinto Duarte
52 Digital processes for collaborative answers in Architecture Alexandra Paio
53 Innovation and tradition: crafts in digital age Katarzyna Augustyniak
Pedro Campos Cista
54 New territories of CAM: Machinecraft Cristina Nan
55 Rethinking Conceptual Design: Methods for the simultaneous integration and evaluation of Tower Subsystems Elif Erdine
56 BIM: Costumizing the Standards Alexandros Kallegias

BOOK of PROCEEDINGS

Publisher: Cambridge Schollars Publishing, Newcastle
ISBN: 978-1-5275-0762-3
Pages: 397

Editors:

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

Page Title Authors
1 Introduction: Formal Methods in Architecture and Urbanism David Leite Viana
Franklim Morais
Jorge Vieira Vaz
11 3rd Symposium Formal Methods in Architecture: Opening Speech Franklim Morais
113 A data mining based methodology for the multidimensional study of public open spaces João Ventura Lopes
131 Consequences of architectural form on social interaction: function as a basis for housing studies through expanded Space Syntax Catarina Ruivo
155 A gathered methodology: towards enhancing adaptable learning spaces Carolina Coelho
171 Graphic user environment for agent based modelling and simulation Tiago Gomes
185 Locative Media Art in Urban Space´s Analysis Isabel Cristina Carvalho
19 BIM: Costumizing the Standards Alexandros Kallegias
197 Casa da Música’ (non)place: between global and local / Identifying Casa da Música´ Space Intensities Patterns Antón Tejada
David Leite Viana
Lígia Nunes
215 From scribbling to risking Telmo Castro
223 Data driven simulation model for hospital architecture: modelling and simulating clinical process, architectural layout and patient logistics in a hospital’s Building Information Model shape Johan van der Zwart
Tor Åsmund Evjen
237 Regular Repetition and Modular Patterns in Architecture Elena Arnedo Calvo
245 Semantic structure of formal domains and methods for the development of generic grammars José Nuno Beirão
259 A compositional schema for the automated generation of best connected rectangular floor plans José Pinto Duarte
Krishnendra Shekawat
273 Relative positioning Mike Mckay
289 Typological transformations in a same shape Ana Costa
Eliane Constantinou
Teresa Leite
29 BIM ontologies Antón Castro
David Leite Viana
Jorge Vieira Vaz
307 The revision of the Master Plan of the University of Aveiro: a heterogeneous planning management Sérgio Mendes
339 New territories of CAM: Machinecraft Cristina Nan
351 Innovation and tradition: crafts in digital age Katarzyna Augustyniak
Pedro Campos Cista
359 Cork Re-Wall Filipe Brandão
45 Menarch, ontologies in Architecture: a study on Architecture social function Frederico Silveira
57 Typological Process in Morphological Analysis of Territories of Extensive Urbanization at the Lima River Valley Paulo Vieira
75 The Study of Neiva´s Valley Combining Space syntax and Geographical Information Systems João Pedro Passos
91 DepthSpace3D: a new digital tool for 3D Space Syntax analysis Franklim Morais

MOVIES

YouTube Title Authors
3rd Symposium Formal Methods in Architecture: Opening Speech Franklim Morais
A compositional schema for the automated generation of best connected rectangular floor plans José Pinto Duarte
Krishnendra Shekawat
A data mining based methodology for the multidimensional study of public open spaces João Ventura Lopes
A gathered methodology: towards enhancing adaptable learning spaces Carolina Coelho
A new pedestrian bridge between Vila Nova de Cerveira and Goiàn David Leite Viana
Isabel Cristina Carvalho
An integrated approach to urban form Vítor Oliveira
Beyond the visual field: advances in thinking about and analysing space Tasos Varoudis
BIM ontologies Antón Castro
David Leite Viana
Jorge Vieira Vaz
Casa da Música’ (non)place: between global and local / Identifying Casa da Música´ Space Intensities Patterns Antón Tejada
David Leite Viana
Lígia Nunes
Consequences of architectural form on social interaction: function as a basis for housing studies through expanded Space Syntax Catarina Ruivo
Cork Re-Wall Filipe Brandão
Data driven simulation model for hospital architecture: modelling and simulating clinical process, architectural layout and patient logistics in a hospital’s Building Information Model shape Johan van der Zwart
Tor Åsmund Evjen
DepthSpace3D: a new digital tool for 3D Space Syntax analysis Franklim Morais
Digital processes for collaborative answers in Architecture Alexandra Paio
Digital tiles Luís Antunes
From patterns to parameters Guillermo Varela
From scribbling to risking Telmo Castro
Graphic user environment for agent based modelling and simulation Tiago Gomes
Industrial heartbeat of O Poriño David Patiño Álvarez
Innovation and tradition: crafts in digital age Katarzyna Augustyniak
Pedro Campos Cista
Inserting new technologies in architectural curricula: from research to practice, and to teaching José Pinto Duarte
Menarch, ontologies in Architecture: a study on Architecture social function Frederico Silveira
Metropolitan spatial anatomies: decoding the morphological structure of the city-region Miguel Serra
New territories of CAM: Machinecraft Cristina Nan
Ontologies: technologies for domain modelling, knowledge re-purposing and knowledge sharing Cristina Ribeiro
Relative positioning Mike Mckay
Semantic structure of formal domains and methods for the development of generic grammars José Nuno Beirão
Temporal structure in music and architecture: a comparative analysis Daniel Moreira
Luís Ribeiro da Silva
The revision of the Master Plan of the University of Aveiro: a heterogeneous planning management Sérgio Mendes
The social aspect of digital fabrication Alexandra Paio
Raquel Martins
Typological transformations in a same shape Ana Costa
Eliane Constantinou
Teresa Leite

OTHER RECORDS

PDF ZIP Title Authors CV PPT Abst Text
3rd Symposium Formal Methods in Architecture: Opening Speech Franklim Morais X
A compositional schema for the automated generation of best connected rectangular floor plans José Pinto Duarte
Krishnendra Shekawat
X
A new pedestrian bridge between Vila Nova de Cerveira and Goiàn David Leite Viana
Isabel Cristina Carvalho
X
An integrated approach to urban form Vítor Oliveira X
BIM ontologies Antón Castro
David Leite Viana
Jorge Vieira Vaz
X
Consequences of architectural form on social interaction: function as a basis for housing studies through expanded Space Syntax Catarina Ruivo X
Cork Re-Wall Filipe Brandão X
DepthSpace3D: a new digital tool for 3D Space Syntax analysis Franklim Morais X
Menarch, ontologies in Architecture: a study on Architecture social function Frederico Silveira X
Ontologies: technologies for domain modelling, knowledge re-purposing and knowledge sharing Cristina Ribeiro X
Relative positioning Mike Mckay X
The revision of the Master Plan of the University of Aveiro: a heterogeneous planning management Sérgio Mendes X
Typological transformations in a same shape Ana Costa
Eliane Constantinou
Teresa Leite
X

a meeting place between academia and architecture professionals

MENU --> 7th 6th