Previous Next

5th International Symposium Formal Methods in Architecture

Zoom Platform 15 e 16 de Outubro 2020

The 5th International Symposium Formal Methods in Architecture will take place on October 15th and 16th.

The series of symposia dedicated to formal and digital methods in Architecture has been promoted since 2011 by the ESAP’s Department of Architecture, Integrated Master's Course in Architecture and LIAD. In this 5th edition, the ISCTE Architecture course was associated.


The program is available at:

as well as other information about the Symposium.


This edition will be carried out through:

- ZOOM platform for authors and other speakers in the sessions

- streaming, on the YouTube channel 'Architecture FormalMethods'

- and also in person in an ISCTE room in Lisbon (limited to 10 people).


For streaming, simply subscribe as a follower of the 'Architecture FormalMethods' channel and follow the YouTube LIVE streaming taking place in real time with the symposium.

For presence in Lisbon and on the ZOOM platform, please contact Prof. Franklim Morais: