programme

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 on the 15th and 16th of October of 2020.

October 15
October 16
8h30 - 9h00
Check-in
9h00 - 9h15
opening
9h15 - 10h45
session 01
9h00 - 11h00
Keynote session 02

Maria Lopez (MVRDV)

Tasos Varoudis (UCL)

10h45 - 11h15
break
11h00 - 11h30
break
11h15 - 12h45
session 02
11h30 - 13h00
session 05
12h45 - 13h30
lunch break
13h00 - 13h45
lunch break
13h30  - 15h00
session 03
13h45- 14h45
Keynote session 03

Ramzi Hassan (NMBU)

15h00 - 15h30
break
14h45 - 15h00
break
15h30 - 17h30
Keynote session 01

Reinhard Goether (MIT)

José P. Duarte (Penn State)

15h00 - 16h45
session 06
17h30 - 18h00
break
16h45 - 17h15
break
18h00 - 19h30
session 04
17h15 - 18h45
session 07
18h45 - 19h15
closing session