{"id":12,"date":"2021-08-28T18:25:12","date_gmt":"2021-08-28T18:25:12","guid":{"rendered":"http:\/\/fma2022.archformalmethods.eu\/?page_id=12"},"modified":"2021-10-05T12:36:10","modified_gmt":"2021-10-05T12:36:10","slug":"call-for-papers","status":"publish","type":"page","link":"http:\/\/fma2022.archformalmethods.eu\/index.php\/call-for-papers\/","title":{"rendered":"Call For Papers"},"content":{"rendered":"<div class=\"fl-builder-content fl-builder-content-12\" data-post-id=\"12\"><div class=\"fl-row fl-row-fixed-width fl-row-bg-none fl-node-612a87b0b9182\" data-node=\"612a87b0b9182\">\n\t<div class=\"fl-row-content-wrap\">\n\t\t\t\t\t\t<div class=\"fl-row-content fl-row-fixed-width fl-node-content\">\n\t\t\n<div class=\"fl-col-group fl-node-612a87b0bccb7\" data-node=\"612a87b0bccb7\">\n\t\t\t<div class=\"fl-col fl-node-612a87b0bce16\" data-node=\"612a87b0bce16\">\n\t<div class=\"fl-col-content fl-node-content\">\n\t<div class=\"fl-module fl-module-heading fl-node-612a88e8e6e20\" data-node=\"612a88e8e6e20\">\n\t<div class=\"fl-module-content fl-node-content\">\n\t\t<h2 class=\"fl-heading\">\n\t\t<span class=\"fl-heading-text\">CALL FOR PAPERS<\/span>\n\t<\/h2>\n\t<\/div>\n<\/div>\n<div class=\"fl-module fl-module-rich-text fl-node-612a87b0b8fe2\" data-node=\"612a87b0b8fe2\">\n\t<div class=\"fl-module-content fl-node-content\">\n\t\t<div class=\"fl-rich-text\">\n\t<p>The International Symposium Formal Methods in Architecture searches to contribute to the debate in the fields of Architecture\u00a0and Urbanism on the application of new\u00a0formal\u00a0methods\u00a0to emerging societal and technical questions. It focuses on methodological advances based on new developments emerging from collaborative work with the Mathematics and Computer Sciences, applied to\u00a0Architecture and Urbanism with various levels of abstraction and formalisation.<\/p>\n<p>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.<\/p>\n<p>We will discuss current problems in the discipline and the potentials and drawbacks of using 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 as well as artistic activities.<\/p>\n<p id=\"p-04-01\" class=\"ds3d-text w3-center\">The symposium is meant for architects, urban planners, landscape designers, civil engineers, computer scientists and students of these fields, and will address the following topics:<\/p>\n<ul>\n<li>Collection of information:\n<ul>\n<li>Tracking and mapping methods (video, GPS, WiFi, ISP, IoT, cellular phones);<\/li>\n<li>Biometric sensing;<\/li>\n<li>Surveying;<\/li>\n<li>Photogrammetry and 3D scan (drones, photo, laser);<\/li>\n<li>Machine Learning;<\/li>\n<li>Computer vision.<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<ul>\n<li>Semantic organisation of information:\n<ul>\n<li>GIS-Geographic Information Systems;<\/li>\n<li>BIM-Building Information Model;<\/li>\n<li>IFC-Industry Foundation Classes;<\/li>\n<li>Ontologies for the built environment.<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<ul>\n<li>Formal Theories and Analysis Methodologies:\n<ul>\n<li>Space Syntax and Visibility Graph Analysis;<\/li>\n<li>SCAVA (Space Configuration, Accessibility and Visibility Analysis);<\/li>\n<li>Agent-based analysis;<\/li>\n<li>Rule Checkers.<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<ul>\n<li>Representation, visualization and interaction:\n<ul>\n<li>CAD;<\/li>\n<li>Renderings and animated motion;<\/li>\n<li>Mixed Realities (Virtual, Augmented);<\/li>\n<li>Human-computer interaction.<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<ul>\n<li>Architectural design automation:\n<ul>\n<li>Parametricism;<\/li>\n<li>Generative design;<\/li>\n<li>Shape Grammars;<\/li>\n<li>Processing;<\/li>\n<li>Advanced reasoning artificial intelligence tools.<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<ul>\n<li>Active management of the built environment:\n<ul>\n<li>Participatory urbanism;<\/li>\n<li>Participatory architecture;<\/li>\n<li>Smart buildings;<\/li>\n<li>Smart cities;<\/li>\n<li>Life Cycle Management;<\/li>\n<li>6-7D BIM;<\/li>\n<li>Facilities Management;<\/li>\n<li>Flow and crowd management.<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<ul>\n<li><span class=\"il\">Formal<\/span>\u00a0<span class=\"il\">Methods<\/span>\u00a0in teaching\u00a0<span class=\"il\">architecture:<\/span>\n<ul>\n<li>Teaching methodologies;<\/li>\n<li>Learning experiences and digital training;<\/li>\n<li>Spatial reasoning through visual programming and coding.<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p><a href=\"http:\/\/fma2022.archformalmethods.eu\/index.php\/submissions\/\">SUBMISSION GUIDELINES, IMPORTANT DATES AND FEES<\/a>.<\/p>\n<\/div>\n\t<\/div>\n<\/div>\n\t<\/div>\n<\/div>\n\t<\/div>\n\t\t<\/div>\n\t<\/div>\n<\/div>\n<\/div>","protected":false},"excerpt":{"rendered":"<p>CALL FOR PAPERS The International Symposium Formal Methods in Architecture searches to contribute to the debate in the fields of Architecture\u00a0and Urbanism on the application of new\u00a0formal\u00a0methods\u00a0to emerging societal and technical questions. It focuses on methodological advances based on new developments emerging from collaborative work with the Mathematics and Computer Sciences, applied to\u00a0Architecture and Urbanism &hellip;<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_eb_attr":""},"_links":{"self":[{"href":"http:\/\/fma2022.archformalmethods.eu\/index.php\/wp-json\/wp\/v2\/pages\/12"}],"collection":[{"href":"http:\/\/fma2022.archformalmethods.eu\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/fma2022.archformalmethods.eu\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/fma2022.archformalmethods.eu\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/fma2022.archformalmethods.eu\/index.php\/wp-json\/wp\/v2\/comments?post=12"}],"version-history":[{"count":5,"href":"http:\/\/fma2022.archformalmethods.eu\/index.php\/wp-json\/wp\/v2\/pages\/12\/revisions"}],"predecessor-version":[{"id":153,"href":"http:\/\/fma2022.archformalmethods.eu\/index.php\/wp-json\/wp\/v2\/pages\/12\/revisions\/153"}],"wp:attachment":[{"href":"http:\/\/fma2022.archformalmethods.eu\/index.php\/wp-json\/wp\/v2\/media?parent=12"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}