The 6TH international symposium formal architectural methods at ETSAC opens the inscription for attendees.
Formal methods focus on methodological advances based on new developments from collaborative work with Mathematics and Computer Sciences, enabling several different grades of abstraction and formalisation.
Four keynote speakers, 40 lectures, four workshops, several exhibitions and other side events will happen in a week from May 23rd to May 28th, bringing to the ETSAC the debate in the fields of Architecture and Urbanism and the application of new formal methods to emerging societal and technical issues.
Inscription at: FUAC. Formación. 6TH international symposium formal methods in architecture (FMA) (udc.es)
There are special rates both for UDC professors and students and COAG members. Early bird ends on February 28th.
