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

IV International Symposium Formal Methods in Architecture 2018 Porto, Portugal

# 11 – “ONTOARCHI – Na ontological framework for developing a semantically based new generation of automation tools for architectural design”
Franklim Morais (Concinnitas, CRL)
David Leite Viana (ISTAR | ISCTE – Lisbon Univ.)
Jorge Vieira Vaz (Opo’Arch Project | LIA | ESAPorto)
Catarina Ruivo (Concinnitas, CRL)
Isabel Carvalho (Concinnitas, CRL)

# 12 – “All bottles from one design Semantics in design generation using ontologies to control shape generation”
Rui de Klerk (Fac. Arch. Lisbon Univ.)
José Nuno Beirão (Fac. Arch. Lisbon Univ.)

# 13 – “SUPERGRID – a grammar for a kit-of -parts pedagogy”
Pedro Engel (PROURB ! Rio de Janeiro Federal Univ.)

 # 14 – “A generative system using shape grammars and visual programming”
Daniel Lenz (LAMO – Rio de Janeiro Federal Univ.)