++++++++++++++++++++++++++++++++++++++++++++++
            +        Computer Science Seminar            +
            ++++++++++++++++++++++++++++++++++++++++++++++

0. Calendar Manager Info:

        Date:   8 Feb 1996
        Start:  1400
        End:    1500
        What:   ANU Comp. Sci. Seminar - Prof. Bruno Buchberger
                Functor Programming in Mathematica
                
1. Speaker: Prof. Bruno Buchberger
            Research Institute for Symbolic Computation
            University of Linz

2. Time:     2:00pm - 3:00 pm, 8th February 1996 (Thursday)

3. Place:    Room N101, in the Department of Computer Science
             Ground Floor, CSIT building, ANU

4. Title: Functor Programming in Mathematica


5. Target Audience: honours students and above

6. Abstract:

A functor is a map that produces new domain from given domains.  We show
how functors can be implemented elegantly and efficiently in mathematica,
in particular in the new version 3.0 in which the user can also define
their own syntax.  In a special syntactical variant, the abstract
definitions of the fundamental functors of mathematics becomes executable
code that produces the programs for the domains generated by a call to the
functors.  For this approach to work it is essential to note that the
kernel of matematica is essentially nothing else than an implementation of
the equaational part of higher order logic.  This is a fact that is little
known in the community and, amazingly, is not documented in the manuals. 
We will discuss the practical and theoretical implications of this fact by
giving a number of examples.

7. Biography:

Professor Buchberger is one of the world's leading researchers in the
area of symbolic computation and advanced mathematics software
systems.  He is particularly active in the current international
movement that aims at designing and implementing the logical,
mathematical and software technological foundations of a new generation
of mathematical software systems. Buchberger's theory of "Groebner
Bases" is now one of the crucial building blocks of computer algebra
and is widely cited in the scientific literature. The algorithmic
method of this theory forms part of all current symbolic computation
systems such as Mathematica, Macsyma, Magma, Maple, Derive and Reduce.

In 1982, Professor Buchberger established the Research Institute for
Symbolic Computation (RISC) at the University of Linz with the aim of
creating an international centre for research, study and industrial
cooperation in the area of symbolic computation. RISC now enjoys a high
international reputation and is considered to be one of the driving
forces for symbolic computation  research and education in the world.
Professor Buchberger was also instrumental in developing the "Software
Park Hagenburg" associated with RISC, which involves 25 different
companies and academic groups, 200 staff and more than $US10m
investment working on various aspects of software research and
development. The Park also includes a college for Software Engineering
which involves 300-400 staff and students.

Professor Buchberger has been one of the pioneers of parallel computing
research in Europe. In 1978 he was responsible for designing and
building an experimental distributed memory computer. This work led to
the foundation of the Austrian Centre for Parallel Computation, the
Vienna Centre for Parallel Computation and more recently, a project on
distributed virtual realities called AMADEUS.

In 1985 Professor Buchberger founded the major scientific journal, the
Journal of Symbolic Computation, and was its editor-in-chief for ten
years. He has been a visiting researcher at numerous universities and
research centres all over the world, is frequently invited to give
keynote addresses at international conferences and is an advisor on
scientific matters to the Austrian Government. He has received an
honorary doctorate from the University of Nijmegen and is one of only
30 computer scientists who are members of the Academia Europea. he has
won a number of government awards in recognition of his work including
in 1995, the Austrian Government's prestigious Wilhem Exner Medal for
industrial applications of basic research.

He is visiting ANU's Centre for Information Science Research and the
Cooperative Research Centre for Advanced Computational Systems.


8. Contact:
        For more information contact Mark Grundy (markg[at]cisr.anu.edu.au)


-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
You have a seminar to announce? Send mail to seminars-owner[at]cs.anu.edu.au
                     Please follow the above format.
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=