Conferences

The main purpose of the 4th International Symposium Formal Methods in Architecture is to underwrite the application, in the disciplines of Architecture and Urbanism, of new formal methods – new methodological advances based on new developments coming from Mathematics. To do so, several formal approaches to Architecture and Urbanism will be presented. The target is the potential application formal methods, both those on the horizon as well as those already accomplished – their successes but also their problems. The focus is to promote the use of formal methods in the creation of new explicit languages for problem solving in Architecture and Urbanism. These problems range from representation, to theory, critique, production, communication, etc., never ceasing to see Architecture and Urbanism as technological activities and well as artistic ones. The Symposium, more than an attempt to deepen each specific field, is – above all – about finding a common ground for the application of formal methods. Therefore, the Symposium contributes to the progress of formalization in architectural methodologies by finding points of convergence between state of the art research on ontologies in architecture, BIM/VDC, CAD/CAM, cellular automata, GIS, tracking approaches, parametric processes, processing and space syntax. The contents reaches from millennial geometry to current shape grammars, engaging several formal approaches to Architecture and Urbanism, with different points of view, fields of application, grades of abstraction and formalization.
For more information please visit:

http://archformalmethods.eu/focus/