FMA SYMPOSIA series (2011-2022)

Formal Methods in Architecture

Description Purpose Target audience Promoters Scientific Fields
be in touch Mail Us Visit us
1st Symposium (2011) 2nd Symposium (2013) 3rd Symposium (2015) 4th Symposium (2018) 5th Symposium (2020)
by Author by Title

6th SYMPOSIUM 2022

Chairs Scientific Committee Organizing Committee Secretariat
Important dates Call for Papers Call for Workshops Registration and fees Agreements Diplomas Technical means Languages Record Policies VENUES
Conference Keynote speakers Workshops Programme Exhibition Fair Social Programme
Skip Navigation LinksHOME > 6FMA - PARTICIPANTS (tip)


Event Date
Abstracts submission opening 2021 Abril 15
Workshops submission opening 2021 September 15
Deadline for abstracts and workshops 2021 November 30
Acceptance of abstracts and workshops 2022 January 15
Registration end – phase 1 2022 January 31
Registration end – phase 2 2022 April 30
Deadline for submission of full papers 2022 March 31
Deadline registration accepted papers 2022 Abril 30
Workshops 2022 May 24
Conference 2022 May 25 to 27
Exhibition, Fair 2022 May 24 to 28


Type Early Late
General participants and attendance (*) €325 €375
PhD students participants, if with scientific communication (**) €150 €200
Degree + master students attendees (**) €50 €75
UDC/ESAP degree + master students, if invited to the student session (***) €10 €20
Workshops €60 €80

(*) The organizing committee may offer up to 10 fee waivers for those attending the 6FMA without institutional support (under request).
(**) Please send a scan of the student justification when registering.
(***) This fee includes coffee breaks, but not lunch.


The 6th International Symposium on Formal Methods in Architecture will be held at ETSA-Escola Técnica Superior de Arquitectura (Technical University School of Architecture), Universidad de A Coruña (ETSA-UDC), in Galicia (Spain), between the 24th and the 27th of May 2022.
The symposium will focus on scientific fields whose areas of application use methodologies that stem from the mathematical and computer sciences, especially those that have witnessed recent developments.

The call for abstracts is open since the 15th of Abril (2021) and it will be closed at the 30th of November (2021).
We welcome abstract submissions between this period!

The Call for Abstracts is available to view or download, by clicking the icons immediately below.

Submission Process

Abstracts must follow the template available to view or download, by clicking the icons below.
For issues not addressed herein, follow APA style.

They must be submitted until the 30th of November 2021


Create an account in EASYCHAIR.
LOGIN to your account
Make a new submission.
You will need to add all authors' information, an abstract of up to 500 words and 4 to 5 keywords.

Review Process

Abstracts will be submitted to a double-blind peer review process and will be validated and accepted by the 6FMA Chairs.
Reviewers will be chosen among the members of the Scientific Committee.

All accepted abstracts will be developed into papers that will be submitted for revision (under an identical process mentioned to the abstracts).

Final papers will be presented at he 6FMA and published in a book.

Length of Papers and Presentations

Abstracts Final Paper Presentation
Keynote speakers 1h15 total with debate
Papers 400 / 500 words 4000 / 5000 words 20 minutes
final year students / posters 1500 words 10 minutes


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).
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 14 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.


deadline for submission of workshop proposals: november 30
notification of acceptance: january 15

Submission Process

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.



We are required to obtain agreements and warranties from all the participants in the Symposium, regarding:

The authors agree with shared copyright of papers presented in the 6th Symposium Formal Methods in Architecture (6FMA). Acceptance includes giving permission to publish the paper(s) in the conference proceedings, published in paper and/or electronically.

Each author warrants that the paper is his/her author's original work. If excerpts from copyrighted works, figures, diagrams, photographs, trademarks or other any other materials are included, the author must obtain written permission from the copyright owners and credit the sources in the manuscript.

The author also warrants that the paper describes genuine research or review work, contains no defamatory or unlawful statements and does not infringe the rights of others. The organization of the 6FMA may assign any or all of its rights and obligations under this agreement.

If the work was prepared jointly, the author agrees to inform co-authors of the terms of the agreement and to sign on their behalf.

All the participants agree in giving permission to the organization of the 6FMA to publicize and publish all the photos, voice and image recordings taken during the symposium activities.

When submitting the final paper, you will have to confirm your agreement by signing and returning the documents you will find here, when provided by the publishing company.


Attendants will be given a participation diploma.


The organization provides all the usual technical means of presentation.
If you have any particular requirements, please let us know your needs.


The symposium will use the English language.
All interventions, papers and other oral or written communications will be held in English.

Some workshops will also have the possibility of tutoring in other languages, besides English.

The special and separate session of the Conference, dedicated to the final year students interventions will use also the Portuguese, Galician and Castilian languages.


The proceedings of the 6th Symposium Formal Methods in Architecture will be recorded in several ways:


Book of Abstracts, printed (available at the conference)
Book of Proceedings


The activities are going to be photographed and video recorded
a link will be shared in the symposium website


All images and texts will be available on 6FMA website
All videos will be available on 6FMA website / Youtube

a meeting place between academia and architecture professionals

MENU -->