Keynotes IMS'97

• Alfred V. Aho, Columbia University, USA
• Algorithms for Finding Multimedia Information
• Bruno Buchberger, Research Institute for Symbolic Computation, Austria
• Automated Theorem Proving
• Gregory Chaitin, IBM, New York, USA
• Algorithmic Information Theory
• Perry Cook, Princeton University, USA
• Algorithmic Music
• Roman Maeder, MathConsult, Switzerland
• Programming
• Parallel Processing with Mathematica
• Arto Salomaa, University of Turku, Finland
• Computability Paradigms Based on DNA Complementarity
• Paul Wellin, Wolfram Research, USA
• Education with Mathematica
• Stephen Wolfram, Wolfram Research, USA
• Mathematica
• Science

Keynotes IMS'95

• Jerome Connor, Massachusetts Institute of Technology, USA
• Symbolic Computational Mechanics
• James Davenport, University of Bath, UK
• Mathematics and Computer Algebra
• Allan Hayes, University of De Montfort, UK
• Mathematica and People: making the future
• Roman Maeder, ETH Zurich, Switzerland
• Term Rewriting and Programming Paradigms
• Stephen Wolfram, Wolfram Research, USA
• The New Version of Mathematica
• Computation, Mathematica, and the History of Abstraction