We kindly invite researchers, professionals, designers, and industry practitioners to propose and organise workshops in the scope of the 6th International Formal Methods in Architecture Symposium (6FMA).

You can submit your workshop proposal by the 30th of November by following this LINK.

Workshops should build an insightful discussion on relevant topics of Formal Methods applied to Architecture and Urbanism within the topics of the Symposium. They are spaces where new research can be shown and tested. Workshops’ chairs have an opportunity to share their current research and practical development experiences. For participants, workshops should be an opportunity to obtain theoretical and hands-on experiences on emerging formal methods topics for architecture.

The workshops will be held on May 24 at ETSA-UDC, La Coruña, Galicia. We expect to accommodate 4 to 6 workshops that will work with small groups. Workshops can take advantage of ETSA-UDC’s facilities and equipment, which include 3D printers, a laser cutting machine, a numerical control milling machine and a hot wire cutting machine.

The symposium aims to contribute to the debate in the fields of Architecture and Urbanism on the application of new formal methods to emerging societal and technical problems. We focus on methodological advances based on new developments from collaborative work with the Mathematics and Computer Sciences, including several different grades of abstraction and formalisation applied to Architecture and Urbanism. To know more about the symposium and its focus, please see our CALL.

Workshop proposals must include the following information:

  • Goal of the workshop proposal (max. 200 words);
  • Program of the workshop proposal (max. 400 words);
  • Expected outcomes of the workshop (max. 200 words);
  • Logistic requirements for the workshop to run.

The proposals should consider that workshop’s tutors will not be paid by the 6FMA organisation, but will be offered free registration.

Proposals will be evaluated taking into consideration: (a) the relevance of the topic regarding the Symposium theme, (b) the experience of the tutors, (c) the workshop goal, programme, and outcomes, (d) the logistic and technical feasibility of the proposal.