2 to 6 of April

Exhibition of works developed using formal methods in architecture