Dinas Bjørner visits the department and gives a talk on Domain Engineering. For more details see the talk abstract.