Day 1

Workshops and Social Activities

Workshop 01
“Depthspace3D: a digital tool for 3D space syntax analysis”

Workshop 02
“Linking data mining, spatial analysis and algorithmic design through python”

Workshop 3
“City sciences workflows”

“It was a great opportunity to know a wide range of different approaches in a short period of time. Also I really enjoyed the one-session format (instead of many parallel sessions) broken by social events which provided good moments to extend the discussions and to know the participants.”

Day 2

Started with the thematic sessions, assembling several presentations by invited researchers and of accepted papers followed by debate.

We believe that one of the most valuable things about a physical event are the connections you can make. So surprised were we when we read some of the participants remarks about the conference pointing out “the ambience of the symposium” and “the quality of the presentations” in “the one session format” really made networking fruitfully pleasant.

Day 3

Continued with work sessions, our most awaited Book – “Formal Methods in Architecture and Urbanism” Release…
and don’t forget to scroll down to our much appreciated Social Activities!

“Fruitful exchanges with colleagues with different backgrounds and viewpoints.”

The primary goal of this symposium was to bring together, under one roof, researchers from all around the world, who would be able to engage in a lively and intellectually open dialogue, discussing the issues facing Architectural Formal Methods, making constructive contributions towards strengthening our research practices and approaches, helping to promote interdisciplinary exchanges and to explore new research questions.

Day 4

The conference achieved an hybridization between formal methods and new perspectives that complement different approaches.

We decided to begin with the model adopted in previous Formal Methods Symposium and use these to create a new and exciting meeting, combining contents of the highest quality and adding some stimulating activities such as workshops or social happenings. We were aware that this was not an easy task, but we decided to take the risk.

We also discarded the possibility of parallel sessions to ensure the cross – fertilization of the various scientific fields. We knew it would reduce the number of possible papers accepted and the quantity of communications presented, but the sponsors agree with it and support this decision.

After all we don’t seek quantity but quality, so, we are totally convinced that we took the right option. Obviously we can improve the way we did things and get better in future!

Thank you all for the amazing

the organization