UK Nonlinear News, Sept. 1995

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 http://www-uk.hpl.hp.com/brims/
and for the Newton Institute try 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-------------------------------------------------

<< Move to UK Nonlinear News Issue Two index page


uk-nonl@ucl.ac.uk 15 Sept. 1995