Open Call for Papers | Formal Methods in Architecture 2018Until 1 October 2017
4th International Symposium
Formal Methods in Architecture 2018
2-6 April 2018
ESAP - Porto – PORTUGAL
By this present open call, the organization of the symposium appeals to the submission of proposals of abstracts, for later development of papers on research and/or professional practice, on which formal methods, targeted to Architecture and Urbanism, are prominent (Shape Grammars, Space Syntaxes/VGA, Ontologies, Parametric processes, CAM, BIM/VDC, BIM, Processing, Cellular Automata, Mapping/Tracking). The conference will appreciate hybridisation and fusion between formal methods and new perspectives contributing to complement different approaches from formal methods and even semi-formal and/or informal ones.
Deadline for abstracts delivery: October 1, 2017
For further information, please feel free to visit the website of the symposium.