FMA SYMPOSIA series (2011-2024)
Formal Methods in Architecture
FMA SYMPOSIA series (2011-2024)
Formal Methods in Architecture
DESCRIPTION
CONTACTS
PAST SYMPOSIA
6th Symposium
A CORUÑA 2022
2022-05-24 / 2022-05-27
| Event | Date |
|---|---|
| Abstracts submission opening | 2021 Abril 15 |
| Workshops submission opening | 2021 September 15 |
| Deadline for abstracts and workshops | 2021 November 30 |
| Acceptance notice of abstracts and workshops | 2022 January 15 |
| Deadline for early bird Registration | 2022 February 28 |
| Deadline for submission of full papers | 2022 April 19 |
| Acceptance notice of full papers | 2022 Abril 30 |
| Deadline for regular Registration | 2022 May 7 |
| 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 |
| Attendance UDC/ESAP professors/researchers; Colexio de Arquitectos de Galicia and Ordem dos Arquitectos members | €75 | €100 |
| Attendance general public | €100 | €125 |
| Workshops attendants | €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.
Registration is now closed.
For you to register in any of the activities of the 6th Symposium, please go to the administrative page of the Universidade da Coruña where the pre-registrations are carried out.
Follow the indications.
The call for Abstracts is now closed.
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 has been open from the 15th of Abril (2021) until the 30th of November (2021) and is now closed.
The Call for Abstracts was available to view or download, by clicking the icons immediately below.
The submission of Abstracts is now closed.
Abstracts must follow the template available to view or download, by clicking the icons below.
For issues not addressed herein, follow APA style.
They had to be submitted by 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.
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.
| 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 |
After the acceptance by the review committee, authors are asked to submit the full paper.
Use your account in EasyChair to submit the full Paper
LOGIN to your account
Find you 6FMA submissions by clicking on the “My Submissions” tab at the top of the page.
Select from the list (if more than one) the submission you want to send the Full Paper.
Add a new file by clicking on the “Add file” option on the top right corner of the web page.
Submit the Full Paper.
The full paper must follow the Springer template
The authors will also have to:
Register in the 6th Symposium
Sign the Agreements
The call is now closed.
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.
IMPORTANT DATES
deadline for submission of workshop proposals: november 30
notification of acceptance: january 15
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.
SUBMISSION FORM
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 find here.
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:
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
