Nexus Network Journal - Call for Papers

Shaping Formal Methods for Architecture: Syntax, Typology and Computation 

Guest Editors:
Theodoros Dounas (Faculty of Design Sciences, University of Antwerp, Belgium) and Davide Lombardi (Architecture Department at the Xi’an Jiaotong – Liverpool University, China)

Theme: Architectural composition can be conducted using three methods, syntactically (bringing elements together), typologically (translating an already existing archetype into a new composition) and computationally (by computing the processes that create the composition). Embedded within each of these methods of creating architectural form are mathematical rules or processes that shape the way architects create designs, and within which these designs can be tested. For example, a sequence of geometric transformations can easily be encoded into algorithms or grammars, while parallel processes of analysis evaluate and validate the designs created.

Topics: This special issue invites original papers that examine formal methods in architectural composition, in any of the three categories above, or in inter-relation. We encourage novel, cross- and intra- methodological bridges to create architectural design, and papers exploring formal methods as a vehicle to achieving architectural synthesis. Papers can range from theoretical to experimental, we particularly welcome papers that operationalise the research with case studies, examples, codes, or other methods of experimentation. The issue is concerned with the ever-elusive global approach with which to conduct architecture compositions, more so from the perspective of attributing methods to the underlying mathematics.

Submission does not guarantee publication; all submissions will be peer‐reviewed before being considered for publication. Reviews of appropriate books and exhibits are also welcome.

Deadlines 
Deadline for submissions for review: 30 May 2024
Notification of reviewers comments: June - July 2024
Accepted research published on-line: July to September 2024
Special issue compiled: late 2024.

Submissions should be made via the NNJ Editorial Manager platform (https://www.editorialmanager.com/nenj/default.aspx (this opens in a new tab)). 
In the ‘Enter Comments’ box as part of the submission process, authors should note that the paper is for the special issue on "Shaping Formal Methods".

Prospective authors should also email the Guest Editors of this Special Issue directly to notify of their intention to submit: Theo Dounas (Theo.Dounas@uantwerpen.be (this opens in a new tab)) and Davide Lombardi (Davide.Lombardi@xjtlu.edu.cn (this opens in a new tab))

This Call for Papers can be downloaded here: NNJ Call for Papers - NNJ Call for Papers - Shaping Formal Methods for Architecture (this opens in a new tab)