The Symposium Formal Methods in Architecture is a biennial event which had its first edition in 2011. Proceedings, presentations and other publications have been recorded for each event. Past proceedings can be consulted by TITLE and AUTHOR. Additional information on past symposia can be found in the following links: