This form should be used to submit a Workshop proposal that will take place on the 24th of May 2022 in
the scope of the '6th International Symposium Formal Methods in Architecture' that will take place at the ETSA-UDC, La Coruña, Galicia, Spain
More info about the symposium an be found here
http://fma2022.archformalmethods.eu/.