7th International Symposium

Formal Methods in Architecture 2024

Workshops

Workshops will take place on the 3rd of December. They are open to participants and non-participants in the Symposium. Please register via our REGISTRATION FORM. Find the workshop fees HERE.

To find detailed information on the workshops download the 7FMA Workshop Programme HERE (and a Portuguese version HERE).

[ENG/PT] Transforming Existing Buildings: A Collaborative Scan2BIM Workflow for Enhanced Design

The Workshop “Transforming Existing Buildings: A Collaborative Scan2BIM Workflow for Enhanced Design” focuses on utilizing Scan2BIM workflows to optimize architectural design for existing structures. It will cover the benefits and practical application of Scan2BIM technology, offering participants hands-on experience with point cloud datasets and BIM modelling processes.


Lídia Cruz / Afonso Portela – Atelier XYZ

Half day Workshop

[ENG] Motion Mapping: Introductory Workshop on Architecture & Urban Simulation with AnyLogic application

This workshop introduces the fundamentals of AnyLogic, focusing on agent-based and discrete event simulation to analyze dynamic movement within urban and architectural spaces. Participants will learn to use AnyLogic’s Pedestrian and Traffic Libraries to simulate pedestrian and traffic behavior, enhancing the design and planning of responsive urban environments.


Nabil Mohareb – The American University in Cairo

Half day Workshop

[ENG] Urban silhouettes. Drawing the city as theatre

Participants in the “Urban silhouettes. Drawing the city as theater” workshop must conduct, from a photographic image, an analysis by sections of the different layers that make up the urban landscape. These sections will then have to be assembled and brought back to a physical modeling, that is, a small-scale model (35x35x35 cm) in which to recompose the various layers identified in the urban landscape. Each of the participants will be given a photograph of a different city, so as to encourage a dialectic between the different urban contexts.


Giusi Ciotoli | Marco Falsetti – University of Rome Sapienza

Full Day Workshop

[ENG/PT] Immersive Architectural Perception: Real-Time VR and 3D Modeling Workflow

The main objective of this workshop is to teach participants how to transition a design from a CAD program like ArchiCAD into a fully interactive VR application using Unreal Engine 5. Participants will learn about the importance of VR in understanding architectural scale and communicating design ideas effectively. By the end of the workshop, attendees will gain practical knowledge of creating a VR environment that can be used for real-time rendering and exploration, emphasizing how VR can revolutionize the perception of space for both professionals and clients.


Nicola D’Addario – Università degli studi di Bari

Full day Workshop

[ENG/PT] Depthspace3D: a digital tool for 3D Space Syntax Analysis

Participants will be able to develop spatial analysis of projects in the areas of Architecture, Urban Planning and Landscape Architecture, optimizing solutions in: security (CCTV placement, agent placement, children surveillance);
economy (value assignment to space, product placement, publicity); traffic (accessibility, clutter, jams prediction); aesthetics (monumentality, space diversity, remarkable places); urbanism (skyline protection, centralities, equipment distribution); social studies (social segregation, control, functional uses of space).

Franklim Morais – LIAD-ESAP / Catarina Ruivo – ISCTE-IUL

Half day Workshop

[ENG/PT] Building the Future – Robotic Construction Simulation with VR/AR

The construction industry is undergoing a transformative shift with the increasing adoption of robotic automation. This workshop delves into this future, equipping participants with the knowledge and skills to explore the potential of robotic construction and VR/AR simulations.
This workshop is designed for architects, engineers, construction professionals, and anyone interested in the innovative application of technology in the building industry. No prior experience with robotics or VR/AR is required.

Nuno Pereira da Silva-ISCTE-IUL / Sara Eloy-University of Antwerp Full day Workshop

[PT] “Reabilitação 4.0”: a fase de caracterização prévia na era da transição digital

O workshop “Reabilitação 4.0 / Caracterização prévia” visa claramente dois objectivos interdependentes: demonstrar a necessidade imperativa de um conhecimento rigoroso dos edifícios a reabilitar para garantir a qualidade e durabilidade das reabilitações; e apresentar o potencial das novas ferramentas tecnológicas e processos de trabalho para produzir a informação necessária para o conhecimento das estruturas edificadas.


Miguel Almeida, Nuno Ramos, Manuel Sá, Morph – Geociências

Half day Workshop

[PT] “Reabilitação 4.0”: a fase de caracterização prévia na era da transição digital

O workshop “Reabilitação 4.0 / Caracterização prévia” visa claramente dois objectivos interdependentes: demonstrar a necessidade imperativa de um conhecimento rigoroso dos edifícios a reabilitar para garantir a qualidade e durabilidade das reabilitações; e apresentar o potencial das novas ferramentas tecnológicas e processos de trabalho para produzir a informação necessária para o conhecimento das estruturas edificadas.


Miguel Almeida, Nuno Ramos, Manuel Sá, Morph – Geociências

Half day Workshop

[PT] “Reabilitação 4.0”: a fase de caracterização prévia na era da transição digital

O workshop “Reabilitação 4.0 / Caracterização prévia” visa claramente dois objectivos interdependentes: demonstrar a necessidade imperativa de um conhecimento rigoroso dos edifícios a reabilitar para garantir a qualidade e durabilidade das reabilitações; e apresentar o potencial das novas ferramentas tecnológicas e processos de trabalho para produzir a informação necessária para o conhecimento das estruturas edificadas.


Miguel Almeida, Nuno Ramos, Manuel Sá, Morph – Geociências

Half day Workshop

[ENG/PT] Understanding Algorithmic Design: learning algorithms through illustrations

The workshop will apply pedagogical strategies based on the semi-automatic creation of graphical documentation, e.g., illustrations and diagrams, that explain Algorithmic Design (AD) scripts. The aim is to provide participants with a learning experience closer to their design thinking, thus smoothing AD’s learning curve. In the first stage, participants will be introduced to an AD tool (Khepri), its programming language (Julia), and a semi-automatic illustration system coupled to this tool. Then, they will learn basic computational concepts and strategies, applying them in simple pedagogical examples. Lastly, participants will apply the learnt principles in an interactive, hands-on session, developing a simple design using the AD tool Khepri and its illustration system.

António Menezes Leitão, Inês Caetano, Inês Pereira, Renata Castelo Branco – Instituto Superior Técnico (IST), University of Lisbon

Full day Workshop

[ENG/PT] Biomimicry Meets Computation: Generative Design and AI for Human-Nature Symbiosis

The main objective of this workshop is to provide participants with a comprehensive understanding of how to integrate biomimicry, generative modeling, and artificial intelligence (AI) into architectural design processes. Participants will learn about the theoretical foundations and practical applications of these three pillars, empowering them to explore innovative solutions that promote harmonious human-nature coexistence. The workshop aims to equip participants with the necessary knowledge and skills to reimagine sustainable architectural practices through interdisciplinary collaboration.


Mauro Costa Couceiro – ISCTE-IUL

Full day Workshop

[ENG/PT] Introductory Course on GIS in Architecture and Urban Planning Practice (QGIS)

This workshop aims to introduce architects to the use of Geographic Information Systems (GIS) in the practice of Architecture and Urban Planning using the open-source software QGIS.


Joaquim Flores – DAMG-UPT

Full day Workshop