Search engine for discovering works of Art, research articles, and books related to Art and Culture
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
Hans Heyerdahl Hallen
Hans Heyerdahl Hallen
Tracing the life of architect Hans Heyerdahl Hallen (1930–2022), this book reveals the transnational influences that shaped his practice in South Africa, and the migratory circles ...
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 ...
Book of Abstracts: International Meeting on Advanced Materials
Book of Abstracts: International Meeting on Advanced Materials
The Book of Abstracts of the International Conference on Advanced Materials IMAM 2026 consists of contributions from the participants of this scientific event. The proceedings cont...
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...
Measurement of Organic Pollutants in Water and Wastewater
Measurement of Organic Pollutants in Water and Wastewater
Description
The Symposium on the Measurement of Organic Pollutants in Water and Wastewater was presented in Denver, Colo., 19-20 June 1978. The symposium was sponsor...
Nietzsche and Architecture
Nietzsche and Architecture
Nietzsche and Architecture explores Nietzsche’s relationship to the architects, buildings, and modern architectural movements he went on to inspire, and situates his philosophy mor...
Architecture, Empire, and Trade
Architecture, Empire, and Trade
This open access book tells a new and untold history of the architecture of West Africa in the colonial era, as revealed for the first time through the archives of the United Afric...