programme (postponed)

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 postpone the conference to a new date in October 2020.

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

Preliminary Programme

This programme is subject to change

 

workshop
symposium
May 12
May 13
May 14
May 15
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

(MVRDV)

keynote

José P. Duarte

(Penn State)

Keynote

Ramzi Hassan

(NMBU)

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

Reinhard Goethert

(MIT)

 session 9