An invited talk by the pioneer Software Engineering Prof. Dines Bjorner, Technical, University of Denmark.
More details here.