Work session V - IV FMA 2018 | Presentations
Channel: Architecture FormalMethods
Date: 11/06/2018

IV International Symposium Formal Methods in Architecture
2018 Porto, Portugal

# 15 – “The galleria progressive in the Solomon R. Guggenheim Museum and the Museum of Unlimited Growth”
Ana Luísa Rolim (Pernambuco Federal Univ.)
Luiz Amorim (Pernambuco Federal Univ.)
Maria Júlia Jaborandy (UNICAP – Pernambuco Catholic Univ.)

# 16 – “Partitioning indoor space using visibility graphs: Investigating user behaviour in office spaces”
Petros Koutsolampros (SS Lab – Bartlett Sc. Arch. UCL)
Kerstin Sailer (SS Lab – Bartlett Sc. Arch. UCL)
Tasos Varoudis (SS Lab – Bartlett Sc. Arch. UCL)

# 17 – “Complex buildings and cellular automata: a cellular automaton model for the centquatre Paris”
Roberto D’Autilia (Roma Tre Univ.)
Janet Hetman (Roma Tre Univ.)