KEYNOTES

• 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 Dr. R. Maeder, Zurich, 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