FMA SYMPOSIA series (2011-2024)
Formal Methods in Architecture
FMA SYMPOSIA series (2011-2024)
Formal Methods in Architecture
DESCRIPTION
CONTACTS
PAST SYMPOSIA
| Event | Date |
|---|---|
| Abstracts submission opening | 2024 January 15 |
| Workshops submission opening | 2024 April 10 |
| Deadline for abstracts | 2024 June 03 |
| Acceptance notice of abstracts | 2024 July 15 |
| Deadline for workshops | 2024 June 03 |
| Acceptance notice of workshops | 2024 July 15 |
| Deadline for early bird Registration | 2024 July 31 |
| Deadline for submission of full papers | 2024 November 04 |
| Acceptance notice of full papers | 2022 Abril 30 |
| Deadline for regular Registration | 2024 October 15 |
| Workshops | 2024 December 03 |
| Conference | 2024 December 04 to 06 |
| social events | 2024 December 04 to 06 |
| Type | Early | Standard |
|---|---|---|
| SPEAKER (with PAPER) | ||
| Standard (*) | €250 | €300 |
| OA Member (*) | €200 | €250 |
| PhD candidate or student (*) | €175 | €225 |
| PARTICIPANT (without PAPER) | ||
| Standard (*) | €125 | €175 |
| OA Member (*) | €95 | €125 |
| PhD candidate or student (**) | €35 | €55 |
| WORKSHPS ATTENDANCE | ||
| (to be defined) |
(*) Includes lunches and coffee breaks
(**) Includes coffee breaks
The 7th International Symposium on Formal Methods in Architecture will be held at OA-SRN (Order of Architects - North Region Section), in Porto (Portugal), between the 3rd and the 6th of Decembery 2024.
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 from the 15th of January (2024) until the 3rd of June (2024).
The Call for Abstracts is available to view or download, by clicking the icons immediately below.
Abstracts have to be submitted by the 3rd of June 2024
They must be submited here:
Abstracts will be submitted to a double-blind peer review process and will be validated and accepted by the 7FMA Chairs.
Reviewers will be chosen among the members of the
Scientific Committee.
All accepted abstracts will enable their presentation at the 7FMA and further development into full papers that will be submitted for revision (under an identical process mentioned to the abstracts).
Accepted final papers will be published in the book of Proceedings.
| Abstracts | Final Paper | Presentation | |
|---|---|---|---|
| Keynote speakers | 1h15 total with debate | ||
| Papers | 400 / 500 words | 4000 / 5000 words | 20 minutes |
After the acceptance by the review committee, authors are asked to submit the full paper.
The authors will also have to:
Sign the Agreements
We kindly invite researchers, professionals, designers, and industry practitioners to propose and organise workshops in the scope of the 7th 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 December 3rd at the Symposium location.
We expect to accommodate 4 to 6 workshops that will work with small groups.
IMPORTANT DATES
deadline for submission of workshop proposals: Jume 3rd
notification of acceptance: July 15th
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 7th Symposium Formal Methods in Architecture (7FMA). 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 7FMA 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 7FMA 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 proceedings of the 7th 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 7FMA website
All videos will be available on 7FMA website / Youtube
Agreements
The video presentation of the work will only be made public, if the author gives explicit agreement
Selected papers from the conference will be published by Springer as a proceedings book volume
