The International Symposium Formal Methods in Architecture searches to contribute to the debate in the fields of Architecture and Urbanism on the application of new formal methods to emerging societal and technical questions. It focuses on methodological advances based on new developments emerging from collaborative work with the Mathematics and Computer Sciences, applied to Architecture and Urbanism with various levels of abstraction and formalisation.

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 discipline and the potentials and drawbacks of using 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 as well as artistic activities.

The symposium is meant for architects, urban planners, landscape designers, civil engineers, computer scientists and students of these fields, and will address the following topics:

  • Collection of information:
    • Tracking and mapping methods (video, GPS, WiFi, ISP, IoT, cellular phones);
    • Biometric sensing;
    • Surveying;
    • Photogrammetry and 3D scan (drones, photo, laser);
    • Machine Learning;
    • Computer vision.
  • Semantic organisation of information:
    • GIS-Geographic Information Systems;
    • BIM-Building Information Model;
    • IFC-Industry Foundation Classes;
    • Ontologies for the built environment.
  • Formal Theories and Analysis Methodologies:
    • Space Syntax and Visibility Graph Analysis;
    • SCAVA (Space Configuration, Accessibility and Visibility Analysis);
    • Agent-based analysis;
    • Rule Checkers.
  • Representation, visualization and interaction:
    • CAD;
    • Renderings and animated motion;
    • Mixed Realities (Virtual, Augmented);
    • Human-computer interaction.
  • Architectural design automation:
    • Parametricism;
    • Generative design;
    • Shape Grammars;
    • Processing;
    • Advanced reasoning artificial intelligence tools.
  • Active management of the built environment:
    • Participatory urbanism;
    • Participatory architecture;
    • Smart buildings;
    • Smart cities;
    • Life Cycle Management;
    • 6-7D BIM;
    • Facilities Management;
    • Flow and crowd management.
  • Formal Methods in teaching architecture:
    • Teaching methodologies;
    • Learning experiences and digital training;
    • Spatial reasoning through visual programming and coding.