To celebrate the 60th birthday and the many achievements of Tony Hoare, a rich assembly of contributors has come together to provide a volume of papers dedicated to him. The book has significant contributions from distinguished authors across a wide spectrum of computer science: from software engineering practice and computer architecture to a range of theoretical topics.