Formal Methods in Architecture

The 'Formal Methods in Architecture' Symposia are a set of events for the debate and dissemination of Formal Methods applied to Architecture and Urban Studies, ipsum est those that use the explicit and rigorous languages coming from the mathematical sciences.
The Symposia series began in 2011 and has a biennial period.
They began to be performed by ESAP in its hometown (Porto - Portugal), but have had editions in other cities.
The 7th edition was back to Porto, between the 3rd and the 6th of December 2024.
The 8th edition (2026) will be announced soon.

				7th

			News for All
7th Symposium 

				7FMA - Porto 2024
				
All the information about the last Symposium available now!
			
			News for All
7th Symposium 
 Book of Proceedings 

				Springer Nature announced the publication of the Proceedings Book.
				
Find out how to get it!

			News for Participants
7th Symposium 

				7FMA - Porto 2024
				
Photo Gallery last Symposium available now!
			
			News for All
7th Symposium 

				7FMA - Porto 2024
				
The movies of the last Symposium available now!
			
			Contact and follow us

				Know how to contact the Organizing Committee.
				
Follow us and link to our institutions.
			
			Proceedings

				Search for the edited books of proceedings
				
 and other information about past editions of the Symposia.