Skip to Content
Accessibility statement
Search
Computer Science
University
Department of Computer Science
University
|
A to Z
|
Departments
Computer Science
Research
Research seminars
Archive 2014-15
Computer Science
About us
Undergraduate study
Postgraduate study
International students
Equality, Diversity and Inclusion
News and events
Research
Research centres
Our early career researchers
Research seminars
Online Theses and Reports Library
Research fellowships
Information for Academic Visitors
University research themes
Research Groups
Professional Development and Training
Services for Business
People Finder
50 years of Computer Science
CS Staff Intranet
Student Intranet
Contact us
2014/15 seminar archive
Autumn 2014
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
Spring 2015
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.
Summer 2015
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.