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

Seminars this week ( week 5,  Hilary Term 2012 )

Tuesday  14th February

Bounded repairability for regular tree languages
Information Systems Seminar
11:30 in 147
Cristian Riveros
Prime - Programming with Millions of Examples
Departmental Seminars
16:30 in Lecture Theatre B
Alon Mishne (Technion, Israel)

Wednesday  15th February

On the Magnitude of Completeness Thresholds in Bounded Model Checking
Verification Seminars
11:30 in 051
Daniel Bundala (University of Oxford)

Friday  17th February

TBA
OASIS: The Oxford Advanced Seminar on Informatic Structures
14:00 in
Alexander Kurz (University of Leicester)