Javascript must be enabled to continue!
6th Symposium Formal Methods in Architecture - Book of Abstracts
View through CrossRef
The lnternational 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. lt focuses on methodological advanees 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 far problem-solving in Architecture and Urbanism. The symposium is meant far architects, urban planners, landscape designers, civil engineers, computer scientists and students of these fields.
Servizo de Publicacións da UDC
Title: 6th Symposium Formal Methods in Architecture - Book of Abstracts
Description:
The lnternational 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.
lt focuses on methodological advanees 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 far problem-solving in Architecture and Urbanism.
The symposium is meant far architects, urban planners, landscape designers, civil engineers, computer scientists and students of these fields.
Related Results
Islamic Palace Architecture in the Western Mediterranean
Islamic Palace Architecture in the Western Mediterranean
Palaces like the Aljafería and the Alhambra rank among the highest achievements of the Islamic world. In recent years archaeological work at Córdoba, Kairouan and many other sites ...
Abundance Not Capital
Abundance Not Capital
What if architecture were not an instrument of capital? How to imagine and build a non-extractivist and non-exploitative architecture.
Capital’s voracious appetite f...
Compositional Analysis by Thermogravimetry
Compositional Analysis by Thermogravimetry
Description
The Special Technical Publication is the result of an international symposium, which was held 16 and 17 March 1987 at Philadelphia, PA. This symposium wa...
Xenophon's Socratic Rhetoric
Xenophon's Socratic Rhetoric
In one of the most charming works to survive from classical antiquity, Xenophon’s Symposium depicts an amiable evening of wine, entertainment, and conversation shared by Socrates, ...
Architecture and the Public World
Architecture and the Public World
This book brings together Kenneth Frampton’s essays from the 1960s to today which epitomize his reflections on the historical–theoretical entanglements of architecture with place, ...
The Handbook of Interior Architecture and Design
The Handbook of Interior Architecture and Design
The Handbook of Interior Architecture and Design offers a compelling collection of original essays that seek to examine the shifting role of interior architecture and interior desi...
Margery Kempe and the Lonely Reader
Margery Kempe and the Lonely Reader
Since its rediscovery in 1934, the fifteenth-century Book of Margery Kempe has become a canonical text for students of medieval Christian mysticism and spirituality. Its author was...

