Title: Formal Methods in Architecture: Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 (Advances in Science, Technology & Innovation)
Publisher: Springer
Publication Date: 2022
Language: English
ISBN 10: 303057511X
ISBN 13: 9783030575113
Binding: Soft cover
Condition: New

About this title

Synopsis

This edited book gathers research studies presented at the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020. Studies focus on the use of methodologies, especially those that have witnessed recent developments, that stem from the mathematical and computer sciences and are developed in a collaborative way with architecture and related fields. This book constitutes a contribution to the debate and to the introduction of new methodologies and tools in the mentioned fields that derive from the application of formal methods in the creation of new explicit languages for problem-solving in architecture and urbanism. It adds valuable insight into the development of new practices solving identified societal problems and promoting the digital transformation of institutions in the mentioned fields. The primary audience of this book will be from the fields of architecture, urban planning, civil engineering, AEC, landscape design, computer sciences and mathematics, both academicians and professionals.

About the Author

Sara Eloy graduated in Architecture (FA.UTL 1998) and have a PhD in Architecture (IST.UTL 2012) under the theme “Transformation grammar-based methodology for housing rehabilitation: meeting contemporary functional and ICT requirements”. She is an Assistant Professor in ISCTE-Instituto Universit�rio de Lisboa and develops her research in ISTAR-IUL (Information Sciences, Technology and Architecture Research Centre) and with international collaborations. Eloy is the director of ISTAR-IUL since 2017. She was director of the Department of Architecture and Urbanism and of the Integrated Master in Architecture at ISCTE-IUL in Lisbon between 2013 and 2016. She has participated in national and international funded research projects (Artificial Realities, OLA, IRIS, VUK, AAL4ALL, among others) and published more than 100 papers in several journals as Sensors, Environment and Planning B, AIEDAM and Nexus Network Journal and conferences. She has been expert evaluator for the European Commissionsince 2015 and acts as an expert consultant for companies regarding design project and the incorporation of digital technologies as mixed realities in architecture. She curated two exhibitions in the scope of the Lisbon Architecture Triennale first in 2013 and more recently, in 2019, with the theme “Artificial Realities: Virtual as an Aesthetic Medium for Architectural Ideation”. Eloy’s main areas of research are shape grammar design systems, Digital Technologies applied to Architecture, CAAD, Virtual and Augmented Reality, Analysis of the building space namely considering space perception, Space Syntax and Housing Rehabilitation. In ISTAR-IUL she collaborates with researchers from the fields of Computer Sciences, Mathematics and Psychology. This collaboration enabled the development of real software prototypes to be use in the architecture design process and in the visualization of architecture as Alternative Shaper, VIARmodes4BIM, ARch4models, Arch4maps, SeeARch. At ISCTE she teaches disciplines of Architectural Computer Aided Design, Drawing, new technologies applied to Architecture and Research Methodologies.

David Leite Viana is post-doc. in Urban Morphology/Civil Engineering (FEUP, Portugal), PhD in Urban and Spatial Planning (IUU-UVa, Spain), DEA in City Planning (UVa, Spain) and Dipl. Arch. (ESAP, Portugal), and develops his professional activity in the Municipal Planning Department at Oporto City Council and at the Digital Living Spaces Group, within the ISTAR-IUL - Information Sciences, Technology and Architecture Research Centre (ISCTE-IUL, Portugal). He is an external expert on urban sustainability and wellbeing for the European Commission (Belgium), PhD supervisor in the doctorate programme on Architecture for the Contemporary Metropolitan Territories (ISCTE IUL) and external reviewer in the Architecture and Urban Design Programme at Chalmers University of Technology (Sweden). He is professor in the specialization programme on Collaborative Territories (IPPS, ISCTE-IUL) and in the Master Programme on Geographic Information Systems Applied to Spatial Planning, Urbanism and Landscape at the Polytechnic University of Valencia (Spain). He is (co)founder and Chair of the International Symposium Formal Methods in Architecture. He is scientific councillor of the Portuguese Language Network of Urban Morphology (PNUM) and editorial board member of the scientific journal Revista de Morfologia Urbana (RMU). He headed architecture and urbanism programmes/departments in different schools, he led a research group on urbanism, environment, and territory and he was Director-Secretary of the Centre for African Studies, University of Oporto (CEAUP). He was guest co-editor of the Special Issue ‘Formalizing Urban Methodologies’ (Urban Science Journal, 2018), co-editor of the book Formal Methods in Architecture and Urbanism (Cambridge Scholars Publishing, 2018) – that reached Amazon Brazil top 5 best sellers foreign books in Regional Planning category – and author of the book Maputo: (auto)organiza��o e formadin�mica urbana (University of Oporto Press, 2019). He was co distinguished by the International Society of City and Regional Planning (ISoCaRP) with the Sir Gerd Albers Award.

Franklim Morais (b. 1957) is a Portuguese civil and electronic engineer, PhD. Professor and Researcher. He was the leader of development teams of private commercial software for scientific applications: pioneering, in the early 1980s, the use of finite element methods for structural engineering on microcomputing; and since the early 1990s developing COTS private hardware and software systems for smart buildings, urban spaces and cities. He is an invited professor in ESAP (Arts University of Porto) Architectural Course since 2001. He participates in LIAD, an academic research team, in a group dedicated to Formal Methods in Architecture. A major achievement is the production of DepthSpace3D, a digital tool for space syntax analysis. Since 1991, he participated in the organization (scientific and operational committees) of 11 conferences on his scientific fields of interest, including the 5 symposia of the series “Formal Methods in Architecture” (since 2011). In the 1990s he was vice-president of API - Information Technologies Portuguese Association.

Jorge Vieira Vaz is an Architect (FA Uni. Porto, Portugal, 1990), Master in Urban Renovation (Poznań Uni. Tech, Poland, 1995), DEA in Composici�n Arquitect�nica (Uni. Valladolid, Spain, 2002), He is a professor of Construction and Technologies in the Master Course in Architecture at ESAP (Porto, since 1993). He was a professor at Coimbra Univ. (Civil Engineering Department), Aveiro University (Communication & Art Department), ARCA / ETACoimbra (Architecture Course) and at High Institute of Administrative and Informational Sciences of Aveiro (Public Administration Course). He was MSc supervisor and jury member in several institutions (Minho Univ., Gallaecia Univ., Aveiro Univ. and ESAP). He develops his professional activity as architect since 1991 and at AAVV (Portugal and Bonaire, since 2000), is a certified expert in building thermal behavior (ADENE, since 2008) and is BIM / VDCPM - Building Information Modeling / Virtual Design and Construction Project Manager (since 2005). He was co–founder of IERU – Institute of Regional & Urban Studies at Univ. of Coimbra (1991) and was a researcher at MEREC Project – Managing Energy and Resources in Efficient Cities (Tennessee Valley Authority / CCRC / FLAD, Coimbra, 1991) and at RECITE / REBUILD Network Programme - Renewable Energies for Buildings in European Historical Centers, (European Commission – DGXVII, 1991/95), nowadays develops his research activity in Formal Methodologies in Architectural Design and Construction, namely parametric design, ontologies and taxonomy, at LIAD / ESAP- Architecture & Design Research Laboratory (Porto, since 2010). He co-developed “DepthSpace 3D” digital tool, for 3 dimensional spatial syntactic analyses (LIAD / ESAP) now a full functional digital application in Space Syntax (SS), granted by UE founds. He is (co)founder and Chair of the International Symposium Formal Methods in Architecture (Porto, since 2011). He was guest co editor of the Special Issue ‘Formalizing Urban Methodologies’ (Urban Science Journal, 2018) and was co-editor of the book Formal Methods in Architecture and Urbanism (Cambridge Scholars Publishing, 2018).

"About this title" may belong to another edition of this title.

Store Description

We carry a wide selection of books from South Asia, United States, UK.

Visit Seller's Storefront

Seller's business information

Readingos GmbH
Kaiserstra�e 47, Frankfurt am Main, 60329, Germany

Sale & Shipping Terms

Terms of Sale

Right of cancellation

If you are a consumer you can cancel the contract in accordance with the following. Consumer means any natural person who is acting for purposes which are outside his trade, business, craft or profession.

INFORMATION REGARDING THE RIGHT OF CANCELLATION

Statutory Right to cancel

You have the right to cancel this contract within 14 days for any reason.

The cancellation period will expire after 14 days from the day on which you acquire, or a third party other than the carrier and indicated by you acquires, physical possession of the the last good or the last lot or piece.

To exercise the right to cancel, you must inform us, Biblios, 47 Kaisetstrasse, 60329, frankfurt am main, hessen, Germany, of your decision to cancel this contract by a clear statement (e.g. a letter sent by post, fax or e-mail). You may use the attached model cancellation form, but it is not obligatory. You can also electronically fill in and submit a clear statement on our website, under "My Purchases" in "My Account". If you use this option, we will communicate to you an acknowledgement of receipt of such a cancellation on a durable medium (e.g. by e-mail) without delay.

To meet the cancellation deadline, it is sufficient for you to send your communication concerning your exercise of the right to cancel before the cancellation period has expired.

Effects of cancellation

If you cancel this contract, we will reimburse to you all payments received from you, including the costs of delivery (except for the supplementary costs arising if you chose a type of delivery other than the least expensive type of standard delivery offered by us).

We may make a deduction from the reimbursement for loss in value of any goods supplied, if the loss is the result of unnecessary handling by you.

We will make the reimbursement without undue delay, and not later than 14 days after the day on which we are informed about your decision to cancel with contract.

We will make the reimbursement using the same means of payment as you used for the initial transaction, unless you have expressly agreed otherwise; in any event, you will not incur any fees as a result of such reimbursement.

We may withhold reimbursement until we have received the goods back or you have supplied evidence of having sent back the goods, whichever is the earliest.

You shall send back the goods or hand them over to us or Biblios, 47 Kaisetstrasse, 60329, frankfurt am main, Germany, without undue delay and in any event not later than 14 days from the day on which you communicate your cancellation from this contract to us. The deadline is met if you send back the goods before the period of 14 days has expired. You will have to bear the direct cost of returning the goods. You are only liable for any diminished value of the goods resulting from the handling other than what is necessary to establish the nature, characteristics and functioning of the goods.

Exceptions to the right of cancellation

The right of cancellation does not apply to:

the delivery of newspapers, journals or magazines with the exception of subscription contracts; and
the supply of digital content which is not supplied on a tangible medium (e.g. on a CD or DVD) if you accepted when you placed your order that we could start to deliver it, and that you could not cancel it once delivery had started.

Model withdrawal form

(complete and return this form only if you wish to withdraw from the contract)

To: (Biblios, 47 Kaisetstrasse, 60329, frankfurt am main, hessen, Germany)

I/We (*) hereby give notice that I/We (*) withdraw from my/our (*) contract of sale of the following goods (*)/for the provision of the following goods (*)/for the provision of the following service (*),

Ordered on (*)/received on (*)

Name of consumer(s)

Address of consumer(s)

Signature of consumer(s) (only if this form is notified on paper)

Date

* Delete as appropriate.

Shipping Terms

Shipping rates from Germany to U.S.A.

Shipping rates from Germany to U.S.A.
Order quantity	25 to 45 business days	8 to 14 business days
First item	� 8.59	� 16.15

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Detailed Seller Information