seminars this week

by series | this week | next week

week 8, Michaelmas Term 2008

Tuesday 2nd December

Information Systems Seminars 11:30, FOX Room TBA Andrew Twigg (Oxford)

Departmental Seminars 4:30:, Lecture Theatre B Complexity: Structures and Specifications Anuj Dawar (Cambridge)

Wednesday 3rd December

Concurrency, Verification & Security Seminars 11:30, Room 441 Oxford University Computing Laboratory SAT-Solving and Software Bounded Model Checking: Trends and Applications Carsten Sinz (University of Karlsruhe)

Thursday 4th December

10:00, Room 441 in the Wolfson Building Special Seminar: Compositional Shape Analysis by means of Bi-Abduction Dino Distefano (Queen Mary, University of London)

Computational Mathematics and Applications Seminars 14:00, Lecture Theatre A Cholesky factorizations for multi-core systems Jonathan Hogg (Rutherford Appleton Laboratory)

Friday 5th December

The Oxford Advanced Seminar on Informatic Structures 14:00, Lecture Theater B The issues around proving Fermat's Last Theorem in Peano Arithmetic (Joint with Logic Seminar of Maths Department) Angus MacIntyre (School of Mathematics, Queen Mary University of London)

Software Engineering Seminars 15:30, Room 479 of the Wolfson Building Security Evaluation of Existing IT Systems under the Common Criteria at Levels above EAL4 Joe Loughry (Oxford University Computing Laboratory)