As anticipated in class, I shall speak on Wed 3 April, at 16:15, in room 2AB40.
The title of this seminar is `Sound Verification and Synthesis with Logics and Data'.
You are cordially invited to attend! Very relevant to the course, though of course not part of its syllabus.