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.

�ber die Autorin bzw. den Autor

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).

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Kennys.ie is the largest exporter of books from Ireland currently exporting to approximately 100 countries around the world. Kennys Bookshop houses hundreds of thousands of books and specialises in collection development and library services, supplying booksellers and state and university libraries on a global scale including the U.S.A.,Japan and Europe. Kennys.ie is Ireland's Largest Online Bookshop.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Kennys Bookshop and Art Galleries Ltd.
Liosban Industrial Estate, Tuam Road, Galway, Ireland

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Terms of Sale - Credit Cards: Visa, Master Card, American Express, Diner.
Payment can also be made by bank draft in Euros, drawn on an Irish Bank.

We regret that PO Boxes are not acceptable to the U.S. as our courier will not deliver to them.

In case of returns or queries please contact us by email books@kennys.ie or by phone +353 91 709350

VAT Registration - IE2238521A

Conor Kenny

Widerrufsbelehrung

Wenn Sie Verbraucher sind, steht Ihnen ein Widerrufsrecht nach folgender Ma�gabe zu. Verbraucher ist jede nat�rliche Person, die ein Rechtsgesch�ft zu Zwecken abschlie�t, die �berwiegend weder ihrer gewerblichen noch ihrer selbst�ndigen beruflichen T�tigkeit zugerechnet werden k�nnen.

WIDERRUFSBELEHRUNG

Widerrufsrecht

Sie haben das Recht, binnen vierzehn Tagen ohne Angabe von Gr�nden diesen Vertrag zu widerrufen.

Die Widerrufsfrist betr�gt vierzehn Tage ab dem Tag, an dem Sie oder ein von Ihnen benannter Dritter, der nicht der Bef�rderer ist, die letzte Ware oder die letzte Teilsendung bzw. das letzte St�ck in Besitz genommen haben bzw. hat.

Um Ihr Widerrufsrecht auszu�ben, m�ssen Sie uns, Kennys Bookshop and Art Galleries Ltd., Kilkerrin Park, Liosban, Galway, Ireland, +353 91709350, mittels einer eindeutigen Erkl�rung (z.B. ein mit der Post versandter Brief, Telefax oder E-Mail) �ber Ihren Entschluss, diesen Vertrag zu widerrufen, informieren. Sie k�nnen daf�r das beigef�gte Muster-Widerrufsformular verwenden, das jedoch nicht vorgeschrieben ist. Sie k�nnen auch eine andere eindeutige Erkl�rung auf der Webseite "Meine Bestellungen" in Ihrem "Nutzerkonto" elektronisch ausf�llen und �bermitteln. Machen Sie von dieser M�glichkeit Gebrauch, so werden wir Ihnen unverz�glich (z. B. per E-Mail) eine Best�tigung �ber den Eingang eines solchen Widerrufs �bermitteln. Zur Wahrung der Widerrufsfrist reicht es aus, dass Sie die Mitteilung �ber die Aus�bung des Widerrufsrechts vor Ablauf der Widerrufsfrist absenden.

Folgen des Widerrufs

Wenn Sie diesen Vertrag widerrufen, haben wir Ihnen alle Zahlungen, die wir von Ihnen erhalten haben, einschlie�lich der Lieferkosten (mit Ausnahme der zus�tzlichen Kosten, die sich daraus ergeben, dass Sie eine andere Art der Lieferung als die von uns angebotene, g�nstigste Standardlieferung gew�hlt haben), unverz�glich und sp�testens binnen vierzehn Tagen ab dem Tag zur�ckzuzahlen, an dem die Mitteilung �ber Ihren Widerruf dieses Vertrags bei uns eingegangen ist. F�r diese R�ckzahlung verwenden wir dasselbe Zahlungsmittel, das Sie bei der urspr�nglichen Transaktion eingesetzt haben, es sei denn, mit Ihnen wurde ausdr�cklich etwas anderes vereinbart; in keinem Fall werden Ihnen wegen dieser R�ckzahlung Entgelte berechnet. Wir k�nnen die R�ckzahlung verweigern, bis wir die Waren wieder zur�ckerhalten haben oder bis Sie den Nachweis erbracht haben, dass Sie die Waren zur�ckgesandt haben, je nachdem, welches der fr�here Zeitpunkt ist. Sie haben die Waren unverz�glich und in jedem Fall sp�testens binnen vierzehn Tagen ab dem Tag, an dem Sie uns �ber den Widerruf dieses Vertrags unterrichten, an Kennys Bookshop and Art Galleries Ltd., Kennys Bookshop, Liosban Retail Park, Tuam Road, Galway, Ireland, +353 91709350, zur�ckzusenden oder zu �bergeben. Die Frist ist gewahrt, wenn Sie die Waren vor Ablauf der Frist von vierzehn Tagen absenden.

Sie tragen die unmittelbaren Kosten der R�cksendung der Waren. Sie m�ssen f�r einen etwaigen Wertverlust der Waren nur aufkommen, wenn dieser Wertverlust auf einen zur Pr�fung der Beschaffenheit, Eigenschaften und Funktionsweise der Waren nicht notwendigen Umgang mit ihnen zur�ckzuf�hren ist.

Ausnahmen vom Widerrufsrecht

Das Widerrufsrecht besteht nicht bzw. erlischt bei folgenden Vertr�gen:

Zur Lieferung von Zeitungen und Zeitschriften oder Illustrierten, mit Ausnahme von Abonnement Vertr�gen;
Bei der Lieferung digitaler Inhalte, die nicht auf einem k�rperlichen Datentr�ger (z.B. einer CD oder DVD) geliefert werden, wenn Sie dem Beginn der Ausf�hrung vor der Bestellung ausdr�cklich zugestimmt und zur selben Zeit best�tigt haben, dass mit der Ausf�hrung begonnen werden kann und Sie Ihr Widerrufsrecht verlieren, sobald die Ausf�hrung begonnen hat.

ENDE DER WIDERRUFSBELEHRUNG

Muster-Widerrufsformular

(Wenn Sie den Vertrag widerrufen wollen, dann f�llen Sie bitte dieses Formular aus und senden Sie es zur�ck)

An: (Kennys Bookshop and Art Galleries Ltd., Kilkerrin Park, Liosban, Galway, Ireland, +353 91709350)

Hiermit widerrufe(n) ich/wir* den von mir/uns* abgeschlossenen Vertrag �ber den Kauf der folgenden Waren*/ die Erbringung der folgenden Dienstleistung*

Bestellt am*/erhalten am*:

Name des/der Verbraucher(s):

Anschrift des/der Verbraucher(s):

Unterschrift des/der Verbraucher(s) (nur bei Mitteilung auf Papier):

Datum:

* Unzutreffendes streichen.

Versandbedingungen

Free Shipping

Versandkosten von Irland nach USA

Versandkosten von Irland nach USA
Bestellmenge	12 bis 22�Werktage	10 bis 20�Werktage
Erster Artikel	EUR 10.50	EUR 11.50

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.