[Prev][Next][Index][Thread]
WORKSHOP ANNOUNCEMENT
[Since it is relevant, I am distributing this workshop announcement.
-- Philip Wadler, moderator, Types Forum.]
Workshop on
New Connections between Mathematics and Computer Science
Isaac Newton Institute, Cambridge
20 - 24 November 95
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.
Invited participants include the following (in addition to those
already participating in the programmes at the Newton Institute):
John Baez, UCR
Anthony Bloch, Michigan
Roger Brockett, Harvard
Abbas Edalat, IC London
Jean-Yves Girard, Marseille
Eric Goubault, ENS Paris
Henk Heijmans, CWI Amsterdam
Yves Lafont, Marseille
Ursula Martin, St-Andrews
Gianfranco Mascari, Rome
Prakash Panangaden, McGill
Vaughan Pratt, Stanford
Sergio Rajsbaum, MIT
Guillermo Sapiro, HP Palo Alto
Mike Shub, IBM Yorktown
Steve Smale, Berkeley
It is expected that the morning sessions of the workshop will be
devoted to tutorial lectures, intended to introduce new developments
to a non-specialist audience. Among the topics expected to be
covered are: "Differential geometry of algorithms", "Dynamics of
proof", "Algebraic topology and distributed computation", "Geometry of
images and computer vision" and "Complexity theory over general
rings". The afternoon sessions will allow time for informal
discussions as well as shorter contributed talks.
Discussions are underway with Cambridge University Press for
publication of the proceedings.
To register for the workshop please complete the registration form
below and return it to Mike Sekulla at the Isaac Newton Institute in
Cambridge
m.sekulla@newton.cam.ac.uk
who will then supply further information about accommodation and
travel.
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 below). A
bibliography will be complied from this data and made available to all
participants.
For further information, please contact:
Jeremy Gunawardena | Tel: +44 (0)117 922 8216
BRIMS, Hewlett-Packard Labs | ---------- 979 9910
Filton Road, Stoke Gifford | Fax: ---------- 922 9190
Bristol BS12 6QZ, UK | Elm: jhcg@hplb.hpl.hp.com
For further information about BRIMS try
URL:http://www-uk.hpl.hp.com/brims/
and for the Newton Institute try
URL:http://www.newton.cam.ac.uk/
--------------------------------------------------------------------------
REGISTRATION FORM
(Please return to m.sekulla@newton.cam.ac.uk)
Last Name:....................................Title:.....................
Forenames:....................................................................
Present Position:.............................................................
Date of Birth:.......................... Nationality:.........................
Address of Home Institution: Permanent Home Address:
.................................... .....................................
.................................... .....................................
.................................... .....................................
.................................... .....................................
.................................... .....................................
Office Phone:........................ Home Phone:...........................
Fax Number:.......................... E-mail:..............................
Date of Arrival:.................... Date of Departure:....................
Signature:.................. Date:..............
------------------------------------------------------------------------------
For Students only (to be filled in by Supervisor, Head of Department, etc...)
Name:........................Institution:.....................................
Position:....................Relation with applicant:.........................
I certify that .................. is a full time student in this Institution
Signature:............... Date:..............
------End of registration form-------------------------------------------------