[MA] ================================================ AMAST Links 02 07

 Workshop on New Connections between Mathematics and Computer Science
        Isaac Newton Institute, Cambridge, 20 - 24 November 95

   The full version of this announcement is available at URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i07/full/AC0207MA.txt

  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.
  This workshop is intended to bring together mathematicians and
computer scientists for a series of tutorials and discussions on "New
Connections". It is being 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 is being jointly hosted by the two
programmes and by Hewlett-Packard's Basic Research Institute in the
Mathematical Sciences (BRIMS) in Bristol, England. Financial support
is expected from BRIMS, the London Mathematical Society and the MATHFIT
initiative of the Engineering and Physical Sciences Research Council.
  If you are interested in giving a contributed talk at the workshop,
please send a title, abstract and a list of 2-3 relevant references to
the organiser, Jeremy Gunawardena at BRIMS (address in the full version
of this announcement). A bibliography will be complied from this data
and made available to all participants.
  Discussions are underway with Cambridge University Press for
publication of the proceedings.
  A list of invited participants, pre-registration information and
other details are in the full version of this announcement.
  For further information about BRIMS try the WWW site at URL:
http://www-uk.hpl.hp.com/brims/ 
  Newton Institute WWW site : http://www.newton.cam.ac.uk/