2014/15 seminar archive

8 October: Ernesto Estrada (Strathclyde) - Communicability distance and graph embedding - Hosted by Edwin Hancock
15 October: No seminar (Staff Meeting)
22 October: slot available
29 October: Avi Rosenfeld (Jerusalem College of Technology) - Bounded Rationality and Agent Systems - Hosted by Daniel Kudenko
5 November: Alan Winfield (UWE Bristol) - Towards an Ethical Robot - Hosted by Rob Alexander
12 November: Peter Hines (York) - How Complex is Category Theory?
19 November: Jade Alglave (UCL) - Herding cats: modelling, simulation, testing and verification for weak memory - Hosted by Mike Dodds
26 November: CANCELLED - Karl Tuyls (University of Liverpool) - Analysing multi-agent learning dynamics - Hosted by Daniel Kudenko
3 December: Public lecture - Santo Fortunato (Aalto University, Finland) - Hosted by Richard Wilson

14 January: No seminar - staff meeting
21 January: Cliff Jones (Newcastle) - Tackling Separation via Abstraction.
23 January: Public lecture - Sir Michael Brady - White Board to White Coats: some adventures in taking image analysis research from the Laboratory to clinical practice
28 January: Marc de Kamps (Leeds) - Compositional Representations in the Brain - Hosted by Dimitar Kazakov
4 February: Conor McBride (Strathclyde) - Dependent-Up your Data (Baby Steps)
11 February: Manfed Kerber (Birmingham) - Verifying Auctions - Hosted by Alan Frisch.
18 February: ECR seminar - Dimitris Kolovos (Enterprise Systems group) - Towards Scalable Model-Driven Engineering.
25 February: Scott Owens (Kent) - The CakeML verified compiler - Hosted by Mike Dodds.
4 March: Yvonne Rogers (UCL) - Where are the People in the Internet of Things? - Hosted by Paul Cairns.
11 March: Jane Hillston (Edinburgh) - Fluid Approximation for the Analysis of Collective Systems - Hosted by John Clark.

22 April: Abhijeet Ghosh - Acquisition and Modeling of Facial and Material Appearance - Hosted by Will Smith.
23 April: BONUS SEMINAR - Steve Easterbrook (Toronto) - Computing the Climate: The software engineering of global climate models - Hosted by Richard Paige.
29 April: Georg Struth (Sheffield) - Verification Tool DIY - Hosted by Simon Foster.
6 May: Paul Cairns - Teaching-led Research.
13 May: Karl Tuyls - Analysing multi-agent learning dynamics - Hosted by Daniel Kudenko.
20 May: Public lecture - Let us play: Artificial and human intelligence in games - Paul Cairns / Peter Cowling.
27 May: ECR seminar - Louis Rose - Incrementality: Do More with Less.
3 June: Paul Walton - Equality for Women in Science: Now, Sometime, Never?
10 June: Lynne Baillie (Glasgow Caledonian University) - Envisaging the Future of Rehabilitation Technology - Hosted by Helen Petrie.
2nd July: Burkhart Wolff (Paris Sud) - Can Testing be Liberated from the Automata-style? - Hosted by Jim Woodcock.