seminars next week

by series | this week | next week

week 2, Michaelmas Term 2008

Tuesday 21st October

Information Systems Seminars 12:00, FOX Room TBA Dan Olteanu (Oxford)

Departmental Seminars 16:30, Lecture Theatre B Towards Access-Control Policies Written By Managers Michael Huth (Imperial College, London)

Wednesday 22nd October

Concurrency, Verification & Security Seminars 11:30, TBA Hintikka Games for PCTL on Labeled Markov Chains Michael Huth (Imperial College, London)

Thursday 23rd October

Computational Mathematics and Applications Seminars 14:00, Rutherford Appleton Laboratory (RAL) Some issues in dense linear algebra algorithms for multicore and new architectures Dr Marc Baboulin (University of Coimbra)

Friday 24th October

The Oxford Advanced Seminar on Informatic Structures 14:00, Lecture Theater B Proof systems for intuitionistic logic Roy Dyckhoff (School of Computer Science, University of St Andrews.)