posted by user: FormalMethodsArchitecture || 892 views || tracked by 1 users: [display]

6FMA 2022 : 6th International Symposium Formal Methods in Architecture

FacebookTwitterLinkedInGoogle

Link: http://fma2022.archformalmethods.eu/
 
When May 24, 2022 - May 27, 2022
Where A Coruña, Galicia, Spain
Submission Deadline Nov 30, 2021
Final Version Due Mar 31, 2022
Categories    architecture and urbanism   cad and bim   parametricism   artificial intelligence
 

Call For Papers

The 6th International Symposium on Formal Methods in Architecture will be held at ETSAC -Escola Técnica Superior de Arquitectura da Coruña (UDC School of Architecture), Universidade da Coruña (UDC), in Galicia (Spain), between the 24th and the 27th of May 2022. The Symposium will focus on scientific fields whose areas of application use methodologies that stem from the Mathematical and Computer Sciences, especially those that have witnessed recent developments. The call for abstracts takes place between the 15th of Abril (2021) until the 30th of November (2021). We welcome abstract submissions during this period!

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 millennial geometry to current shape grammars, several formal approaches to Architecture and Urbanism are welcome to be presented. The aim of the symposium is 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 as well as artistic ones. Combinatory approaches between formal methods and complementary perspectives from semi-formal or informal methods will also be welcomed.

This symposium is addressed to:

Architects
Urban planners
Landscape designers
Civil engineers
Computer Scientists
Students of these fields

Related Resources

ICFEM 2022   23th International Conference on Formal Engineering Methods
JCRAI 2022-Ei Compendex & Scopus 2022   2022 International Joint Conference on Robotics and Artificial Intelligence (JCRAI 2022)
HEART 2022   12th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies
FAIML 2022   2022 International Conference on Frontiers of Artificial Intelligence and Machine Learning (FAIML 2022)
ICSEA 2022   The Seventeenth International Conference on Software Engineering Advances
EI-ISoIRS 2022   2022 3rd International Symposium on Intelligent Robotics and Systems (ISoIRS 2022)
FMICS 2022   International Conference on Formal Methods for Industrial Critical Systems
ACM--ICMLT--Ei and Scopus 2022   ACM--2022 7th International Conference on Machine Learning Technologies (ICMLT 2022)--Ei Compendex, Scopus
EXPRESS/SOS 2022   Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics
SECURWARE 2022   International Conference on Emerging Security Information, Systems and Technologies