posted by organizer: formalmethods || 2841 views || tracked by 2 users: [display]

FMA 2018 : Call for papers: 4th International Symposium Formal Methods in Architecture

FacebookTwitterLinkedInGoogle

Link: http://archformalmethods.wixsite.com/archformalmethods
 
When Apr 2, 2018 - Apr 6, 2018
Where Porto, Portugal
Submission Deadline Oct 1, 2017
Notification Due Nov 1, 2017
Final Version Due Jan 1, 2018
Categories    formal   methods   architecture   urbanism
 

Call For Papers

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 hybridization and fusion between formal methods and new perspectives contributing to complement different approaches from formal methods and even semi-formal and/or informal ones.

For more information, please have a closer look at our page focus, or scientific fields.
http://archformalmethods.wixsite.com/archformalmethods/focus
or
http://archformalmethods.wixsite.com/archformalmethods/scientific-fields


SCHEDULE

- Registration for Abstracts opening - July 9, 2017

- Deadline for Abstracts delivery - October 1, 2017

- Selected texts list - November 1, 2017

- Deadline for full text delivery - February 1, 2018

- Final paper submission - March 1, 2018


PRESENTATION STANDARDS FOR ABSTRACTS

Proposals should consider the following elements:

- Title of the proposal
- Applicant’s identification (name, institution, country, position and email)
- Biographical notes (100 words)
Download the model in: http://archformalmethods.wixsite.com/archformalmethods/guidelines
- Summary (400 words)

Abstracts must be prepared in English only, and sent until the 1 October 2017 in DOC, DOCX or editable PDF. to the following e-mail: arch.formalmethods@gmail.com

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.


PRESENTATION STANDARDS FOR FULL PAPER SUBMISSION

Authors must follow the model, including types, indentations and reference rules. Also, the final text should not contain more than 4000 words. Additionally, a signed “copyright license agreement” form must be sent at the same time of the paper submission.

The documents must be prepared in English only, and sent until the 01 October 2017 in DOC, DOCX or editable PDF. to the following e-mail: arch.formalmethods@gmail.com


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.


ORGANIZATION
SCIENTIFIC COMMITTEE

David Leite Viana, PhD.
Department of Architecture, School of Architecture, Design and the Built Environment, Nottingham Trent University)

Gonçalo Castro Henriques
(Faculty of Architecture, Rio de Janeiro Federal University)

Isabel Martins
(Department of Urban Planning, Porto City Council)

José Nuno Beirão
(Faculty of Architecture, University of Lisbon)

José P. Duarte
(Stuckeman Center for Design Computing, ‎Penn State University)

Nuno Montenegro
(Faculty of Architecture, University of Lisbon)

Sérgio Mendes
(Research Laboratory in Architecture, Arts School of Porto)

Tasos Varoudis
(The Bartlett School of Architecture Faculty of the Built Environment)

Vítor Oliveira
(Faculty of Engineering, University of Porto / Lusophone University of Porto)


ORGANIZING COMMITTEE
SECRETARIAT

Paolo Marcolin
(Research Laboratory in Architecture, Arts School of Porto)

Isabel Cristina Carvalho
(CIAC, Arts and Communication Research Center, Algarve University)

Susana Milão
(Research Laboratory in Architecture, Arts School of Porto)

Joaquim Flores
(Research Laboratory in Architecture, Arts School of Porto)

Jorge Vieira Vaz
(Opo'arch Project, Arts School of Porto)

Franklim Morais
(Concinnitas, crl.)

Michele Cannatá
(Research Laboratory in Architecture, Arts School of Porto)

Catarina Ruivo
(Concinnitas, crl.)

Cristina Paixão
(Concinnitas, crl.)


CONTACT

4th Symposium “Formal Methods in Architecture”

ESAP – Escola Superior Artística do Porto

Largo de S. Domingos, 80

4050-545 PORTO

e-mail: arch.formalmethods@gmail.com

www.esap.pt

Related Resources

ELE 2024   8th International Conference on Electrical Engineering
ICBSTS 2024   2024 5th International Conference on Building Science, Technology and Sustainability (ICBSTS 2024)
ICFEM 2024   International Conference on Formal Engineering Methods
ICAMC 2024   2024 10th International Conference on Architecture, Materials and Construction (ICAMC 2024)
Mathematically Modeling Early Christian 2024   Call for Papers - Mathematically Modeling Early Christian Literature: Theories, Methods, and Future Directions
IEEE ICSCGE 2024   IEEE--2024 The 4th International Conference on Smart City and Green Energy (ICSCGE 2024)
SBMF 2024   27th Brazilian Symposium on Formal Methods
ICCBM 2025   2025 The 9th International Conference on Civil and Building Materials (ICCBM 2025)
CRISIS 2024   19th International Conference on Risks and Security of Internet and Systems
ICCEA--EI 2024   2024 7th International Conference on Civil Engineering and Architecture (ICCEA 2024)