This talk, given by Dr Troy Kaighin Astarte on 24th March discusses the role of formal semantics of programming languages in setting an agenda for the newly forming