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