OUCL
news
research
teaching
people
calendar
resources
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Workshop on Finite and Algorithmic Model Theory , Durham, England (part of the Special Year on Logic and Algorithms at the Newton Institute): Program Committee Member