OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
duration
1st June 2007 to 31st August 2009
Samson Abramsky | Dusko Pavlovic
themes
Foundations, Logic and Structures