A book intended for researchers in computer science, in particular, artificial intelligence, theoretical computing, and programming languages. This volume honours John Mccarthy for his fundamental contributions to the field of computer science. The papers, written by leading computer science researchers, range from historical overviews to technical reports on the key areas of computer science in which McCarthy has worked - LSP, programming languages, symbolic computation, mathematical theory of computation, and artificial intelligence.