In September 1999, cutting edge research and personal reflections were uniquely brought together when some of the best computing minds in the world met to celebrate the career of Sir Tony Hoare at the Oxford University-Microsoft Symposium. Participants were invited to give presentations on their areas of expertise and this book brings together the remarkable collection of talks, papers and essays that resulted.

Millennial Perspectives in Computer Science gives a comprehensive overview of issues within computing written by some of today's most pre-eminent scientists. It is fascinating reading for anyone with an interest in the latest thoughts and developments within computer science, and also provides an insight into the past, present and future of the subject.

Professor Sir Tony Hoare held the James Martin Chair in Computing at the Oxford University Computing Laboratory from 1979 to 1999. As one of the foremost experts in the field of computer science, he was knighted in 2000 for his achievements in software engineering. In further recognition of this ¢pioneering and fundamental contribution to software science', Sir Tony was awarded the Kyoto Prize for Advanced Technology in November 2000.

The symposium was organised by Jim Davies, Bill Roscoe and Jim Woodcock from the Oxford Programming Research Group, who have also edited and contributed to this commemorative collection.

Contributors:
Samson Abramsky, Richard Bird, Dines Bjorner, Christie Bolton, Richard P. Brent, Stephen Brookes, Stephen Cameron, Zhou Chaochen, K. Mani Chandy, Michel Charpentier, Ole-Johan Dahl, Jim Davies, Oege de Moor, Edsger W. Dijkstra, R. Forster, Jeremy Gibbons, Mike Gordon, David Gries, Dimitar P. Guelev, Eric C. R. Hehner, Michael Jackson, He Jifeng, C. B. Jones, Geraint Jones, Donald E. Knuth, David May, Annabelle McIver, Bertrand Meyer, Robin Milner, Jayadev Misra, Carroll Morgan, A. S. Murawski, Zhan Naijun, R. M. Needham, C. -H. L. Ong, Xu Qiwen, G. M. Reed, John C. Reynolds, A. W. Roscoe, J. W. Sanders, Fred B. Schneider, Silvija Seres, Mike Spivey, Bernard Sufrin, Antti Valmari, Niklaus Wirth and Jim Woodcock


The Cornerstones of Computing series is dedicated to providing readers with rigorous and challenging texts that cover the breadth of computing science. The books published in this auspicious series are written by leading experts, reviewed by their peers, and offer a quality of text unsurpassed in today's market.

Series Editors
· Professor Richard Bird is Director of the Computing Laboratory and head of the Programming Research Group at the University of Oxford. He is also the author of several successful books, including the best-selling Introduction to Functional Programming (Prentice Hall)

· Professor Sir Tony Hoare was formerly at the University of Oxford and is now working at the Microsoft European Research HQ in Cambridge. He is the author of several textbooks, including Communicating Sequential Processes (Prentice Hall)

Published Titles in the Cornerstones of Computing Series :
· Object-Oriented Specification using Z
· Operating Systems with Linux