By this present open call, the organization of the symposium appeals to the submission of proposals of abstracts, for posterior development of papers on research and/or professional practice, on which formal methods, targeted to Architecture and Urbanism, are prominent. The conference will appreciate hybridisation and fusion between formal methods and new perspectives contributing to complement different approaches from formal methods and even semi-formal and/or informal ones. All submissions will be single-blind reviewed.

Abstracts should be submitted via EASYCHAIR until the *NEW DATE* 7th of January *NEW DATE* and follow the available GUIDELINES.

By this present open call, the organization of the symposium invites researchers, professionals, designers and industry practitioners to propose and organize workshops in the scope of the 5th International Formal Methods in Architecture Symposium.

Workshops aim at building an insightful discussion on relevant topics of Formal Methods applied to Architecture within the topics of the Symposium, as well as having new research being shown and tested. Workshops’ chairs have an opportunity to share their current research and practical development experiences and for participants attending the workshops should be an opportunity to obtain theoretical and hands-on experiences on emerging formal methods topics for architecture.

Workshop proposals should be submitted via GOOGLE FORMS until the 1st of February and follow the available GUIDELINES.



For more information, please have a closer look at the symposium's purpose and topics.