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)