International Conference on Formal Methods for Architectural Applications

Formal Methods for Architectural Applications Conference aims to bring together leading academic scientists, researchers and research scholars to exchange and share their experiences and research results on all aspects of Formal Methods for Architectural Applications Conference. It also provides a premier interdisciplinary platform for researchers, practitioners, and educators to present and discuss the most recent innovations, trends, and concerns as well as practical challenges encountered and solutions adopted in the fields of Formal Methods for Architectural Applications Conference.

Upcoming Conferences

DIGITAL
Vancouver
May 2022 in Vancouver
  • Conference Code: 22CA05ICFMAA004
  • Abstract/Full-Text Paper Submission: February 01, 2022
  • Notification of Acceptance/Rejection: February 15, 2022
  • Final Paper and Early Bird Registration: April 19, 2022
  • Conference Date: May 23-24, 2022
Istanbul
November 2022 in Istanbul
  • Conference Code: 22TR11ICFMAA004
  • Abstract/Full-Text Paper Submission: February 01, 2022
  • Notification of Acceptance/Rejection: February 15, 2022
  • Final Paper and Early Bird Registration: October 08, 2022
  • Conference Date: November 08-09, 2022
Vancouver
May 2023 in Vancouver
  • Conference Code: 23CA05ICFMAA004
  • Abstract/Full-Text Paper Submission: July 01, 2022
  • Notification of Acceptance/Rejection: August 01, 2022
  • Final Paper and Early Bird Registration: April 19, 2023
  • Conference Date: May 20-21, 2023
Istanbul
November 2023 in Istanbul
  • Conference Code: 23TR11ICFMAA004
  • Abstract/Full-Text Paper Submission: July 01, 2022
  • Notification of Acceptance/Rejection: August 01, 2022
  • Final Paper and Early Bird Registration: October 08, 2023
  • Conference Date: November 08-09, 2023
Vancouver
May 2024 in Vancouver
  • Conference Code: 24CA05ICFMAA004
  • Abstract/Full-Text Paper Submission: August 01, 2023
  • Notification of Acceptance/Rejection: September 04, 2023
  • Final Paper and Early Bird Registration: April 19, 2024
  • Conference Date: May 20-21, 2024
Istanbul
November 2024 in Istanbul
  • Conference Code: 24TR11ICFMAA004
  • Abstract/Full-Text Paper Submission: August 01, 2023
  • Notification of Acceptance/Rejection: September 04, 2023
  • Final Paper and Early Bird Registration: October 08, 2024
  • Conference Date: November 08-09, 2024