New Connections between Mathematics and Computer Science: report, abstracts and bibliography of a workshop

contains a report on the workshop, the abstracts of the talks and the accompanying bibliography. 1 Report on the workshop The interplay between mathematics and computer science has traditionally centered around areas in logic, category theory and discrete mathematics. In recent years new connections between mathematics and computer science have emerged from such unexpected quarters as algebraic topology, differential geometry, dynamical systems and operator algebras. These new developments hold the promise of bringing new insights and powerful mathematical tools to bear on problems in computing. At the same time, such problems have opened new avenues of exploration for the mathematician. To investigate these developments and to introduce them to a wider audience, a workshop on "New Connections between Mathematics and Computer Science " was held at the Isaac Newton Institute for Mathematical Sciences in Cambridge, England from 20-24 November 1995. It was timed to take advantage of parallel programmes in "Semantics of Computation" and "From Finite to Infinite Dimensional Dynamical Systems " at the Issac Newton Institute in the second half of 1995. The workshop was hosted jointly by the two programmes and b