FMA SYMPOSIA series (2011-2022)

Formal Methods in Architecture

HOME DESCRIPTION
Description Purpose Target audience Promoters Scientific Fields
ORGANIZATION
Chairs Scientific Committee Organizing Committee Secretariat
PARTICIPANTS
Important dates Call for Papers Registration and fees Agreements Diplomas Technical means Languages Record Policies VENUES
PROGRAMME
Conference Keynote speakers Workshops Programme Posters Exhibition Works Exhibition Exhibition Fair Social Programme
CONTACTS
be in touch Mail Us Visit us
PAST SYMPOSIA
1st Symposium (2011) 2nd Symposium (2013) 3rd Symposium (2015) 4th Symposium (2018) 5th Symposium (2020)
PROCEEDINGS
by Author by Title
Skip Navigation LinksHOME > 6FMA - PARTICIPANTS (tip)

IMPORTANT DATES

Event Date
Abstracts submission opening 2021 Abril 15
Deadline for abstracts 2021 November 30
Acceptance of abstracts 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

REGISTRATION and FEES

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.

CALL for ABSTRACTS and PAPERS

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

SUBMITTING YOUR ABSTRACT

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

AGREEMENTS

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.

DIPLOMAS

Attendants will be given a participation diploma.

TECHNICAL MEANS

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

LANGUAGE

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.

RECORDS

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

PAPERS

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

PHOTOS AND VIDEO

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

WEB

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 -->