Due to current global outbreak of COVID-19 , state and/or academic procedures have been enacted that prevent the physical presence of participants in international events and meetings. The organization of the symposium feels it is our duty to reduce the risks associated with air travel and meetings in enclosed spaces and we have decided to hold the conference online.

The 5th Symposium Formal Methods in Architecture will take place in October of 2020.

Preliminary Programme

The programme is currently being adapted to accommodate different time zones and may be subject to change.


October 13
October 14
October 15
October 16
8h30 - 9h00
Reception Reception
9h00 - 11h00
workshops opening session
session one
session 4 session 7
11h00 - 11h30
coffee break
11h30 -13h00
workshops keynote

Maria Lopez



José P. Duarte

(Penn State)


Ramzi Hassan


13h00 - 14h00
14h30 - 16h00
workshops session 2 session 5 session 8
16h00 - 16h30
coffee break
16h30 - 19h00
workshops session 3 keynote

Reinhard Goethert


 session 9