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

Seminars this week ( week 5,  - )

Tuesday  22nd May

Reasoning and Queries over Conceptual Data Models
Information Systems Seminar
11:30 in 147
Alessandro Artale (KRDB Research Centre - Faculty of Computer Science, Free University of Bozen-Bolzano)

Wednesday  23rd May

Verification based on merged processes
Verification Seminars
11:30 in 147
Victor Khomenko

Thursday  24th May

Stochastic Hybrid Systems: computable analysis and control synthesis via formal verification
Departmental Seminars
16:00 in Lecture Theatre B
Alessandro Abate (TU Delft - Delft University of Technology, The Netherlands)

Friday  25th May

Checking Noninterference in Timed CSP
Security
11:00 in Room 147
Bill Roscoe (University of Oxford)