The 5th Symposium Formal Methods in Architecture will take place in Lisbon between the 12th and the 15th of May 2020.

CALL FOR PAPERS

Abstract submission open until the 31st of December 2019

CALL FOR WORKSHOPS

Abstract submission open until the 1st of February 2020