Contact Person : Liliana Garcês (Secretariat); Last Date for the submission of abstract : 15/06/2015; Description : The main purpose of this symposium is a contribution to the debate about the application, in the disciplines of Architecture and Urbanism, of new formal methods - new methodological advances based on new developments coming from Mathematics.