Skip to content
Formal Methods in Architecture
  • home
  • call for papers
    • purpose
    • scientific fields
    • guidelines
    • important dates
    • fees
  • institutional
    • institutional
    • organization and committees
  • venue
    • venue
    • accommodation
    • transportation
  • previous editions
    • FMA 2020
    • FMA 2018
    • FMA 2015
    • FMA 2013
    • FMA 2011
  • contact

FMA 2020

5th International Symposium

Formal Methods in Architecture

13th to 15th of May 2020

SITE HEADER_ Logo_Banner_SITELowR

ORGANIZATION AND COMMITTEES

KEYNOTE SPEAKERS

PROGRAMME

BOOK OF PROCEEDINGS

VIDEO PRESENTATIONS

This symposium was a joint initiative between the following departments of ESAP and the ISCTE:

It was  supported by:

Publishing partner:

contact

6th international symposium
"formal methods in architecture 2022"

e-mail: formalmethods2022@gmail.com

ESAP
Lg. S. Domingos, 80
4050-545 Porto, Portugal

ETSA-UDC
Escola Técnica Superior de Arquitectura - Universidade da Coruña
A Coruña, Galicia, Spain

Copyright © 2019 archformalmethods | Developed by: cmpx