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

 

symposium
May 13
May 14
May 15
8h30 - 9h00
Reception
9h00 - 11h00
opening session
session one
session 4 session 7
11h00 - 11h30
coffee break
11h30 -13h00
keynote

Maria Lopez

(MVRDV)

keynote

José P. Duarte

(Penn State)

Keynote

Ramzi Hassan

(NMBU)

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

Reinhard Goethert

(MIT)

 session 9