会議情報
FMA 2018: International Symposium Formal Methods in Architecture
http://archformalmethods.wixsite.com/archformalmethods提出日: |
2017-10-01 |
通知日: |
|
会議日: |
2018-04-02 |
場所: |
Porto, Portugal |
年: |
4 |
閲覧: 7459 追跡: 0 出席: 0
論文募集
purpose The main purpose of this symposium is a contribution to the debate about the application, in the disciplines of Architecture and Urbanism, of new formal methods - new methodological advances based on new developments coming from Mathematics. From the millennial geometry to current shape grammars, several formal approaches to Architecture and Urbanism will be presented, with their different points of view, different fields of application, different grades of abstraction and formalization. The aim is to look at the potentials and objectives of these formal methods, both those on the horizon as well as those already accomplished, their successes but also their problems. The intention is to promote the use of formal methods in the creation of new explicit languages for problem-solving in Architecture. These problems range from representation, to theory, critique, production, communication, etc., never ceasing to see Architecture and Urbanism as technological activities and well as artistic ones. The more historically established areas of application of mathematical sciences, such as traditional geometries or mathematical developments connected to engineering, are left somewhat outside the focus, without however forgetting the deep connections these establish with the new formal methods. Many of these have a level of development that requires the existence of established academic communities, with their own specialized forums. These symposia, more than an attempt to deepen each specific field, are above all about finding points of convergence. This is not limited to a possibly interesting abstract integration of different areas of research, but mainly to advance the multiple crossings between several methods, which fertility has already been proven. A dialogue with semi-formal and even informal methods in current use is to be stimulated as well, as a way to deepen the discussion on aesthetics and ideologies controversies that surround the possibilities and reach of a formalization of Architecture and Art. As in previous symposia, some contributions will be made on the application of formal methods on fields other than architecture, like literature, music, and the fine arts, in as much as they may be useful for architectural application. target audience This symposium is addressed to: Architects Architectural students Urban Planners Civil engineers The complementary courses, which have an autonomous organization, are directed to an international body of professionals who intend to familiarize themselves with specific digital tools for these formal methods.
最終更新 Dou Sun 2017-08-20
関連会議
CCF | CORE | QUALIS | 省略名 | 完全な名前 | 提出日 | 通知日 | 会議日 |
---|---|---|---|---|---|---|---|
NSS/MIC | Nuclear Science Symposium and Medical Imaging Conference | 2015-05-05 | 2015-10-31 | ||||
a | b1 | FM | International Symposium on Formal Methods | 2024-04-05 | 2024-06-03 | 2024-09-09 | |
c | a | b1 | ICSA | IEEE International Conference on Software Architecture | 2024-11-08 | 2024-12-15 | 2025-03-31 |
b3 | RAW | Reconfigurable Architectures Workshop | 2013-02-01 | 2013-05-20 | |||
c | a | b1 | ATVA | International Symposium on Automated Technology for Verification and Analysis | 2024-04-19 | 2024-06-19 | 2024-10-21 |
SoutheastCon | IEEE Region 3 South East Conference | 2019-02-17 | 2019-03-03 | 2019-04-11 | |||
c | b | a2 | WCNC | IEEE Wireless Communications & Networking Conference | 2024-09-02 | 2024-12-20 | 2025-03-24 |
CF' | Cloud Forward Conference | 2015-07-13 | 2015-08-02 | 2015-10-06 | |||
BODYNET | International Conference on Body Area Networks | 2015-06-01 | 2015-07-31 | 2015-09-28 | |||
ICCIDS | International Conference on Computational Intelligence in Data Science | 2018-11-19 | 2018-12-24 | 2019-02-21 |
省略名 | 完全な名前 | 提出日 | 会議日 |
---|---|---|---|
NSS/MIC | Nuclear Science Symposium and Medical Imaging Conference | 2015-05-05 | 2015-10-31 |
FM | International Symposium on Formal Methods | 2024-04-05 | 2024-09-09 |
ICSA | IEEE International Conference on Software Architecture | 2024-11-08 | 2025-03-31 |
RAW | Reconfigurable Architectures Workshop | 2013-05-20 | |
ATVA | International Symposium on Automated Technology for Verification and Analysis | 2024-04-19 | 2024-10-21 |
SoutheastCon | IEEE Region 3 South East Conference | 2019-02-17 | 2019-04-11 |
WCNC | IEEE Wireless Communications & Networking Conference | 2024-09-02 | 2025-03-24 |
CF' | Cloud Forward Conference | 2015-07-13 | 2015-10-06 |
BODYNET | International Conference on Body Area Networks | 2015-06-01 | 2015-09-28 |
ICCIDS | International Conference on Computational Intelligence in Data Science | 2018-11-19 | 2019-02-21 |
関連仕訳帳
CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | ISSN |
---|---|---|---|---|
International Journal of Computer Applications in Technology | Inderscience | 0952-8091 | ||
Journal of Chemical Theory and Computation | 5.700 | American Chemical Society | 1549-9618 | |
Electronic Commerce Research and Applications | 5.900 | Elsevier | 1567-4223 | |
a | IEEE Transactions on Image Processing | 10.80 | IEEE | 1057-7149 |
c | ACM Transactions on Cyber-Physical Systems | 2.000 | ACM | 2378-962X |
b | IEEE Transactions on Affective Computing | 9.600 | IEEE | 1949-3045 |
c | Pattern Recognition Letters | 3.900 | Elsevier | 0167-8655 |
IEEE Transactions on Information Technology in Biomedicine | IEEE | 1089-7771 | ||
b | IEEE Transactions on Geoscience and Remote Sensing | 7.500 | IEEE | 0196-2892 |
IEICE Transactions on Communications | IEICE |
完全な名前 | インパクト ・ ファクター | 出版社 |
---|---|---|
International Journal of Computer Applications in Technology | Inderscience | |
Journal of Chemical Theory and Computation | 5.700 | American Chemical Society |
Electronic Commerce Research and Applications | 5.900 | Elsevier |
IEEE Transactions on Image Processing | 10.80 | IEEE |
ACM Transactions on Cyber-Physical Systems | 2.000 | ACM |
IEEE Transactions on Affective Computing | 9.600 | IEEE |
Pattern Recognition Letters | 3.900 | Elsevier |
IEEE Transactions on Information Technology in Biomedicine | IEEE | |
IEEE Transactions on Geoscience and Remote Sensing | 7.500 | IEEE |
IEICE Transactions on Communications | IEICE |
おすすめ