7FMA2024

7th International Symposium

Formal Methods in Architecture 2024

Organisation

Chairs

Avelino Oliveira (OA)
Catarina Ruivo (Dinâmia’CET – ISCTE-IUL)
David Leite Viana (CIAUD-UPT)
Jorge Vieira Vaz (ESAP-LIAD)

Organising Committee

Bruno Marques (OASRN)
Isabel Clara Neves (DAMG-UPT)
Joaquim Flores (DAMG-UPT)
Sérgio Mendes (ESAP-LIAD)
Sofia Vechina (OASRN)

Scientific Committee

Alexandra Paio (Dinâmia’CET-iscte) – Portugal
Alexandros Peteinarelis (CRISIS Research Lab) – Greece
Ana Cocho-Bermejo (ARU) – UK
Baya Belmessaoud (LAE-EPAU) – Algeria
Bruno Marques (OA-SRN)
Carolina Coelho (DARQ, University of Coimbra) – Portugal
Franklim Morais (ESAP-LIAD) – Portugal
Gisela Lameira (CEAU-FAUP) – Portugal
Gonçalo Castro Henriques (LAMO-PROURB, UFRJ) – Brazil
Humberto Varum (CONSTRUCT-LESE FEUP) – Portugal
Ioanna Symeonidou (University of Thessaly) – Greece
Isabel Clara Neves (DAMG-UPT) _ Portugal
Joaquim Flores (DAMG-UOT) – Portugal
João Pedro Xavier (FAUP) – Portugal
Jorge Gil (SMoG-Chalmers University of Technology) – Sweden
José Nuno Beirão (FAUL) – Portugal
Luís Lage (UEM) – Mozambique
Luiz Amorim (Universidade Federal de Pernambuco) – Brazil
Maria João de Oliveira (Information Sciences, Technology and Architecture Research Center ISTAR_iscte) – Portugal
María Páez González (UCL, The Bartlett School of Architecture) – UK
Mehmet Emin Şalgamcıoğlu (ITU-Faculty of Architecture) – Turkey
Mine Ozkar (Istambul Technical University) – Turkey
Nikolas Patsavos (CRISIS Research Lab, Dept. of Architecture, University of Ioannina) – Greece
Paolo Marcolin (ESAP-LIAD) – Portugal
Pablo C. Herrera (CONCYTEC, Universidad Peruana de Ciencias Aplicadas) – Peru
Petros Koutsolampros (Spatial Nous) – UK
Pieter Pauwels (Eindhoven University of Technology) – Netherlands
Placido Lizancos (ETSA-UDC) – Spain
Rosália Guerreiro (CRIA-iscte IUL) – Portugal
Rudi Stouffs (Department of Architecture, College of Design and Engineering, National University of Singapore) – Singapore
Sara Eloy (Henry van de Velde research group, Faculty of Design Sciences, University of Antwerp) – Belgium
Silvio Carta (School of Design, University of Greenwich) – UK
Vicente López Chao (UDC-Architectural Graphics department) – Spain
Vítor Oliveira (CITTA-FEUP) – Portugal