To mark the retirement of Sir Tony Hoare from Oxford University, computer scientists from around the world gathered together for a three-day symposium. Organized by the University of Oxford, and sponsored by Microsoft Research, the symposium resulted in this collection of talks, papers, and essays.
