The "Formal Methods in Architecture" Symposia series is an initiative of the following departments of ESAP/Escola Superior Artística do Porto (Arts University School of Oporto):


The first four editions of the symposium (started in 2011) were held in various locations in the city of Porto.

The 5th edition (2020) of the symposium will take place in Lisbon and is a joint organization with ISTAR-IUL (Information Sciences, Technologies and Architecture Research Center) from ISCTE-IUL - Instituto Universitário de Lisboa