We went up the Danube on a boat to RISC (Research Institute for Symbolic Computation) at Linz, Austria.