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

Seminars next week ( week 6,  Hilary Term 2012 )

Tuesday  21st February

Bisimulation Equivalence for First-Order Grammars
Information Systems Seminar
11:30 in 147
Petr Jancar (Techn. Univ. Ostrava, Czech Republic)
Algebra unifies calculi of programming, Part 1
Departmental Seminars
16:30 in Lecture Threatre B
Tony Hoare (Microsoft Research)

Wednesday  22nd February

Algebra unifies calculi of programming, Part 2
Verification Seminars
11:30 in 051
Tony Hoare (Microsoft Research)

Thursday  23rd February

Learning assumption for compositional verification of probabilistic systems
Cakes seminars
12:30 in Room 105
Lu Feng