The 7th edition of 'Formal Methods in Architecture' Symposia will be held in 2024 and will be announced shortly.

click to see everything about the previous 6 editions of the Symposia

click to see the Book of Proceedings of the 6th Symposium