5th International Symposium Formal Methods in Architecture 13th to 15th of May 2020 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: