Special Issue "Formalizing Urban Methodologies"
A special issue of Urban Science (ISSN 2413-8851).
Deadline for manuscript submissions: closed (10 January 2019).
Interests: urban (e)planning; urban morphology; urban data analysis; formal methods in urbanism; advance techniques for urban analysis; space syntax; data mapping; data visualization
Interests: space configuration; accessibility and visibility analysis; hardware and software systems for intelligent management of buildings; formal methods in engineering; urban spaces and ‘smart’ environments
Interests: taxonomies, ontologies and classification systems; architecture and construction technologies; formal methods in architecture; virtual design in construction projects; BIM methodologies
This Special Issue focus is the use of formal methods in architecture and urbanism, promoting the creation of new explicit languages for problem solving involving theoretically-driven techniques expressed in languages stemming from mathematics. Assembling a set of twenty papers presented at the 4th International Symposium Formal Methods in Architecture (April 2018, Oporto, Portugal), this Special Issue brings together content related to the following scientific fields: Ontology in architecture; BIM/VDC; CAD | CAM; cellular automata; GIS; parametric processes; processing; shape grammars; space syntaxes; and tracking/mapping. The aim is to look to the potential of these formal methods and their applications in daily problems. These problems range from representation, to theory, critique, production, communication, etc., never ceasing to see architecture and urbanism as technological activities, as well as artistic ones. The Special Issue, more than an attempt to deepen each specific field, seeks—above all—to correlate them, making a contribution to the advancement of multiple crossings between several formal methods, in which fertility has already been proven. A dialogue with data from semi-formal and even informal methods in current use is to be stimulated as well, as a way to deepen the discussion on aesthetic and ideology controversies associated to formalization within architecture and urbanism.
Dr. David Leite Viana
Prof. Franklim Morais
Dr. Jorge Vieira Vaz
Manuscript Submission Information
Manuscripts should be submitted online at www.mdpi.com by registering and logging in to this website. Once you are registered, click here to go to the submission form. Manuscripts can be submitted until the deadline. All papers will be peer-reviewed. Accepted papers will be published continuously in the journal (as soon as accepted) and will be listed together on the special issue website. Research articles, review articles as well as short communications are invited. For planned papers, a title and short abstract (about 100 words) can be sent to the Editorial Office for announcement on this website.
Submitted manuscripts should not have been published previously, nor be under consideration for publication elsewhere (except conference proceedings papers). All manuscripts are thoroughly refereed through a single-blind peer-review process. A guide for authors and other relevant information for submission of manuscripts is available on the Instructions for Authors page. Urban Science is an international peer-reviewed open access quarterly journal published by MDPI.
Please visit the Instructions for Authors page before submitting a manuscript. The Article Processing Charge (APC) for publication in this open access journal is 1000 CHF (Swiss Francs). Submitted papers should be well formatted and use good English. Authors may use MDPI's English editing service prior to publication or during author revisions.
- urban data analysis
- data mapping and visualization
- data and technology in architecture and urbanism
- formal methods in architecture and urbanism
- formalization in daily problem solving
- languages stemmed from mathematics
- information and design project
- qualitative approaches
- quantitative methods
- social sciences