Open call for workshop proposals in the scope of the 7th International Symposium Formal Methods in Architecture. The deadline for workshop proposals is the 3rd of June. formalmethodsinarchitecture2024.com