Tag der Informatikforschung
Bruno Buchberger, Research Institute for Symbolic Computation, und Georg Gottlob, Oxford University