Address: Research Institute for Symbolic Computation Johannes Kepler University Altenberger Straße 69 A-4040 Linz, Austria
Office: Schloss Hagenberg A-4232 Hagenberg im Mühlkreis Room 1.1-3