University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Cakes seminars

View all seminar series

  • for a non-expert audience
  • new developments
  • informal discussion
  • delicious cakes

The "Cakes" seminars  take place on Thursday noons from 12.30 to 13.30 of weeks 2,4,6,8 in Room 105. Since Hilary 2012, they have a new format and instead of cakes free lunches will be provided for the audience and the speaker. 

These seminars are fairly informal, and provide a forum for members or friends of the Department of Computer Science to talk about aspects of their research.

Research students are usually asked to present one of these seminars in  their second year of research.

For further information contact Mehrnoosh Sadrzadeh



Coordinator



Forthcoming seminarsPrevious seminars

Modelling Structured Domains Using Description Graphs and Logic Programming
Thursday 9th February (week 4, Hilary Term 2012). 12:30 in Room 105
Despoina Magka
Reasoning about weak memory models
Thursday 26th January (week 2, Hilary Term 2012). 12:30 in Room 105
Jade Alglave
Software Entrepreneurship @ Oxford
Thursday 29th October (week 3rd Week, Michaelmas Term 2009). 15:00 in Common Room
Tim Hannigan (Said Business School)
Bounding series-parallel slowdown
Thursday 18th June (week Eighth Week, Trinity Term 2009). 15:00 in Common Room (103)
Andras Salamon
Tales from Verification History
Thursday 11th June (week 7th Week, Trinity Term 2009). 15:00 in Common Room (103)
Vijay D'Silva
Trustable Remote Code Analysis for Web Services
12th March (week 8th, Hilary Term 2009). 12:00 in Common Room (103)
John Lyle
Integrating Requirements and Risk Management to analyse contexts of use
Thursday 5th March (week 7, Hilary Term 2009). 15:00 in Common Room
Shamal Faily
Calm, Panic and Collapse! Word languages can be safe after all.
Thursday January (week First, Hilary Term 2009). 15:00 in Common Room (103)
Christopher Broadbent
Knowing When To Give Up: Sensible Evaluation in Virtual Screening for Drug Discovery
20th November (week 6th, Michaelmas Term 2008). 15:00 in Common Room (103)
Gwyn Skone
State of the Art in Japanese Robotics
Thursday 13th November (week 5, Michaelmas Term 2008). 15:00 in Common Room (103)
Jie Ma and Julian de Hoog
The expressive power of binary submodular functions
Thursday 30th October (week , Michaelmas Term 2008). 15:00 in Common Room (103)
Standa Zivny
Hybrid tractable CSPs which generalize tree structure
Thursday 23rd October (week Week 2, Michaelmas Term 2008). 15:00 in Common Room (103)
Andras Salamon
FAMA: Automated analyses of software product lines. A CSP-based reasoning framework
Thursday 19th June (week 9, Trinity Term 2008). 15:00 in Common Room
David Benavides and Pablo Trinidad (University of Seville)
Specifying, comparing and modelling secure transport layers
Thursday 14th February (week 5, Hilary Term 2008). 15:30 in Common Room (room 103)
Chris Dilloway (OUCL)
Chinese segmentation using a word-based perceptron algorithm
Thursday 7th February (week 4, Hilary Term 2008). 15:30 in Common Room (room 103)
Yue Zhang (OUCL)
Introduction to Solaris
Thursday 31st January (week 3, Hilary Term 2008). 15:30 in Common Room (room 103)
Qiulu Zhao and Marek Foss