Formal Methods in Architecture: Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020

The Ethics of our Work.- From Datascape to Formal Methods.- Variational Beauty of Space. Machine Intuition and Urban Networks.- Global and Disciplinary Frameworks for Formal Methods in Architecture.- Mathematically Developing Building Facades: an Algorithmic Framework.- Design to Experiment - Experiment to Design: Tool (User, Breaker, Designer).- Tectonics of Differential Growth. Folds in Additive Fabrication and Moulding for Architectural Design.- BIM Based Airport Design Project Standardization (IFC) for Use of Code Checking.- Agent-based Semiology: Optimizing Office Occupation Patterns with Agent-based Simulations.- Digital Doxiadis: Parametric Thinking for Human Settlements.- L'Objet Invalide.