The 5th Symposium Formal Methods in Architecture has been postponed

Due to current global outbreak of COVID-19 , state and/or academic procedures have been enacted that prevent the physical presence of participants in international events and meetings. The organization of the symposium feels it is our duty to reduce the risks associated with air travel and meetings in enclosed spaces and we have decided to postpone the conference to a new date in October 2020.

The deadline for the full papers’ submission for accepted papers will remain the 31st of March. Early bird registration for all accepted papers has been extended up to the 31st of March as well.


Submission of accepted papers open until the 31st of March 2020