The Technocamps Research Theme Educational, Historical and Philosophical Foundations of Computer Science is hosting the following (free) event on the evening before the Outreach Network event:

Evening Public Lecture, Monday 6 April

The History and Legacy of Formal Methods for Software Engineering Computational Foundry Building, Swansea University Bay Campus

17:00 Reception (nibbles and drinks)

18:00 Cliff Jones (Newcastle): What do we mean by “Formal Methods”?

18:40 John Tucker (Swansea): What did theoretical computer science ever do for software engineering?

19:20 Panel Discussion (moderated by Tom Maibaum)