Next year, ISTAR-IUL hosts the 5th edition of the international conference on Formal Methods in Architecture, 12-15 May 2020 at ISCTE-IUL. The call for papers will be opened until the 31st of December.
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.
This will be a great opportunity 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.
More information here.