call for papers

By this present open call, the organization of the symposium appeals to the submission of proposals of abstracts, for posterior development of papers on research and/or professional practice, on which formal methods, targeted to Architecture and Urbanism, are prominent. The conference will appreciate hybridisation and fusion between formal methods and new perspectives contributing to complement different approaches from formal methods and even semi-formal and/or informal ones. All submissions will be single blind reviewed.

For more information, please have a closer look at the symposium's purpose and topics.

Abstracts should be submitted via EASYCHAIR until the 31st of December and follow the following guidelines:

guidelines

lenght of papers and presentations

 

abstract
final paper
presentation
papers
500/750 words 4000/5000 words 20m

presentation standards for abstracts

- Authors should follow the attached template and all the included rules.
- Final papers should not be larger than 5000 words.
- For issues not addressed herein, follow APA style.

Proposals should consider the following elements:

- Title of the proposal,
- Applicant’s identification (name, institution, country, position and email),
- Biographical notes (100 words).

All proposals must present original research, and must not have been previously published. Presentations should be no longer than 20 minutes and the official language of the conference is English.

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 5th International Symposium Formal Methods in Architecture. 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 Symposium 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 participants agree in giving permission to the organization of the Symposium to publicize and publish all the photos, voice and image recordings taken during the symposium activities.

Please confirm your agreement by signing and returning the document.

 

copyright license agreement

 

abstract template

 

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.

contact

5th Symposium “Formal Methods in Architecture”
formalmethods2020@gmail.com

ESAP, Lg. S. Domingos, 80, 4050-545 PORTO

ISTAR-IUL, Av. Forças Armadas, 1649-026 Lisboa, Portugal