Linking data mining, spatial analysis and algorithmic design: A review on a primer workshop based on Python - Lopes, J. V. (4th Symposium Formal Methods in Architecture. Book of Abstracts, 2018)