Venue

ESAC

The 6th International Symposium Formal Methods in Architecture will take place at Escola Técnica Superior de Arquitectura, Universidad de Coruña.

Campus Universitario de A Zapateira, s/n. 15071 A Coruña. Galicia, Spain.