The Inaugural Lecture showcase takes place at Buchanan Lecture Theatre on Wednesday 15th October at 4:00pm.
Professor Richard Connor
‘Finding New Dogs with Old Tricks’
Professor Juliana Bowles
‘The Temporality of Formal Reasoning: As it was, as it is and as it could be’
Professor Susmit Sarkar
‘Peering Inside the Box: Making Modern Computing Safer with Mathematical Specifications’
Please come along if you can and support the school and our colleagues.