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. It will now take place between the 13th and 16th of October 2020.

The deadline for the full papers’ submission and registration for accepted papers has been postponed for the 12th of April

Early bird registration for all non-authors interested in attending the symposium and for workshops' participants has been extended to the 1st of September.


Deadline for authors registration and payment New date 12 April