call for papers

The 6th International Symposium on Formal Methods in Architecture will be held at ETSAC -Escola Técnica Superior de Arquitectura da Coruña (UDC School of Architecture), Universidade da Coruña (UDC), in Galicia (Spain), between the 24th and the 27th of May 2022. The Symposium will focus on scientific fields whose areas of application use methodologies that stem from the Mathematical and Computer Sciences, especially those that have witnessed recent developments. The call for abstracts takes place between the 15th of Abril (2021) until the 30th of November (2021). We welcome abstract submissions between this period!


The main purpose of this symposium is a contribution to the debate in the fields of Architecture and Urbanism on the application of new formal methods to emerging societal and technical problems. Formal methods will be focused on methodological advances based on new developments coming from collaborative work with Mathematics and Computer Sciences which enables several different grades of abstraction and formalization. From the millennial geometry to current shape grammars, several formal approaches to Architecture and Urbanism are welcome to be presented. The aim of the symposium is to discuss, disseminate and promote the use of formal methods in the creation of new explicit languages for problem-solving in Architecture and Urbanism. We will discuss current problems in the field and the potentials and drawbacks of the use of formal methods to address them. These problems range from production, sustainability, representation, communication, heritage among others, never ceasing to see Architecture and Urbanism as technological activities and well as artistic ones. Combinatory approaches between formal methods and complementary perspectives from semi-formal or informal methods will also be welcomed.


target audience

This symposium is addressed to:

  • Architects
  • Urban planners
  • Landscape designers
  • Civil engineers
  • Computer Scientists
  • Students of these fields

scientific fields

Abstracts can address the following topics:

Collection of information, such as:
Tracking and mapping methods;
Biometric sensing of users.

Semantic organization of information, such as:
Ontologies for the built environment;
Synthesis of the form / Abstraction and lightBIM;
GIS-Geographic Information Systems;
BIM-Building Information Model / VDC-Virtual Design and Construction.

Syntactically and semantically formal languages, such as:
Shape grammars;
Machine learning processes;
Cellular automata.

Representation, visualization and interaction, including:
CAD and BIM;
Mixed Realities;
Photogrammetry and 3D scan;
Human-computer interaction;
Computer vision.

Architectural design automation, such as:
Parametricism and generative design;
Shape grammars;
Artificial intelligence tools.

Urban and building performance analysis, such as:
Environmental analysis;
Multi-criteria analysis;
Flow and crowd analysis;
Space Syntax;

SCAVA-Space Configuration, Accessibility and Visibility Analysis;
Convex and Solid Void Analysis;
Agent-based design.

Automated manufacturing and construction, such as:
Digital fabrication, CAM;
3-4-5D BIM.

Active management of the built environment, such as;
Participatory urbanism;
Smart buildings and smart cities;
Facility Management and 6-7D BIM.

Formal Methods in teaching architecture, such as:
Teaching methodologies;
Learning experiences and digital training;
Spatial reasoning through visual programming and coding.