Skip to Content
Accessibility statement
Search
Computer Science
University
Department of Computer Science
University
|
A to Z
|
Departments
Computer Science
Research
Research seminars
Archive 2015-16
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
2015/16 seminar archive
Autumn 2015
14th October:
Detecting the Threat from Inside
-
Sadie Creese
- visiting John Clark.
21st October:
Lightweight verification in industry: AMD's remote-scope-promotion GPU design
-
Mark Batty
- visiting Mike Dodds.
28th October:
Situating Computational Thinking as a Discipline in Schools
-
Christopher Power
.
4th November:
Separating concerns in reasoning about concurrent programs
-
Ian Hayes
- visiting Mike Dodds.
11th November:
Roundhouse lecture
-
Pioneers of Computer Science
-
Sir Tony Hoare
.
18th November
25th November:
Folding Domain-Specific Languages
-
Jeremy Gibbons
- visiting Richard Paige.
2nd December
Spring 2016
13th January:
Black Box Algebra
-
Alexandre Borovik
- visiting Jerry Swan
20th January
27th January:
SibylFS: formal specification and testing for real-world file systems
-
Tom Ridge
- visiting Mike Dodds.
3rd February:
Argumentation, Trust and Interaction
-
Simon Parsons
- visiting Tommy Yuan
10th February:
From Digital Forensics to Regular Expressions
- Howard Chivers.
17th February:
Data Stream Processing Management in the Cloud
-
Eva Kalyvianaki
- visiting Leandro Indrusiak.
24th February:
ECR Seminar
-
General Game Playing AI
-
Sam Devlin
(York DC hub)
2nd March
9th March:
UCAS day.
Summer 2016
13th April: S
taff meeting.
20th April:
Roundhouse lecture
- Quantum Communications Technologies -
Tim Spiller
(Quantum Communications Hub lead)
27th April:
Whole Systems Energy Transparency
-
Kerstin Eder
(Bristol) - visiting John Clark
4th May:
Multiagent Learning, Planning & Influences
-
Frans Oliehoek
- visiting Sam Devlin
11th May:
Generating Situations to Break Autonomous Robots
-
Rob Alexander
-
ECR seminar
18th May:
From Deep Blue To Watson - A Brief History Of IBM's Grand Challenges
-
James Luke (IBM) - visiting Jerry Swan
25th May:
Employing the tool USE for Model-Based Engineering
-
Martin Gogolla
(Bremen) - visiting Richard Paige
1st June:
My 40-year Quest for Intelligence. And More
-
Alan Frisch
-
retirement seminar
8th June:
Human-centered video analysis for media production
-
Ioannis Pitas (Bristol)
- visiting Edwin Hancock
15th June:
The Software Engineering Team Project
- Richard Paige / Fiona Polack