J. V. Lopes,  "Linking Data Mining, Spatial Analysis and Algorithmic Design", in 4th international symposium - formal methods in architecture, workshop presentation, Porto, 2018