programme

The 5th Symposium Formal Methods in Architecture will take place in Lisbon between the 12th and the 15th of May 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