RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
Call Access Application Selection Risc Science contact
General Information

RISC is an institute of the Johannes Kepler University of Linz, Austria. Since its foundation in 1987 by Prof. Bruno Buchberger, it has become a world-leading centre in all aspects of Symbolic Computation. Through its research activities, its well-established international PhD programme, many conferences and workshops and numerous visits to and from other sites, it has become a central pillar of the world symbolic computation community. Via its spin-off company, RISC Software GmbH, and links to the thriving Software Park Hagenberg, RISC has also tight connections to industrial partners.

With about 45 researchers currently working at RISC, in seven research groups:

  • Algebraic Geometry,
  • Algorithmic Combinatorics,
  • Computer Algebra,
  • Formal Methods in Computer Science,
  • Parallel and Distributed Computing,
  • Theorema (Support of Mathematical Proving),
  • Theory of Computation,
RISC has an unparalleled breadth of expertise available to advise its students and visitors. There are also excellent physical facilities, including an extensive library, PCs, laptops, network facilities and a very wide range of professionally installed and maintained Symbolic Computation software. This software includes commercial systems; locally developed systems: CASA (computation with curves), Theorema (proof support system), Distributed Maple, desing (resolution of singularities), Omega (partition analysis), fastZeil (Zeilberger's algorithm for symbolic summation) just to name a few, and systems developed by researchers at other institutions.

For more information about RISC, visit the institute's web page and also on the folder.

How to Reach RISC
Hagenberg is located 20 km north east from Linz. Linz can be easily reached by plane or train:
  • By plane:
    Linz has an international airport (LNZ) with good connections to Frankfurt, Zurich, London, Amsterdam and Brussels. From the Linz airport you can take a bus to the center of Linz (see the schedule here, connection from Flughafen LNZ to Linz), or a taxi. Other international airports nearby Linz are Vienna (VIE, 2 hours by train/car) and Munich (MUC, 3 hours by train/car).
  • By train:
    Linz is a railway hub with good connections to Vienna, Salzburg, Munich, Passau, Nuremberg, Prague. Train connections can be looked up using the Travel Planner.
Travel from Linz to Hagenberg:
  • By bus:
    Schedule of buses from Linz to Hagenberg and back can be found here. Select Hagenberg im Muelkreis Ortsmitte. Busses leave from platform C of Linz bus station, that is located next to Linz main train station (Linz Hauptbahnhof).
  • By train:
    (Train connections can be looked up using the Travel Planner).
    From Linz main train station (Linz Hauptbahnhof) take a train to Pregarten. From Pregarten train station take a small white bus, number 396, to Hagenberg. One can also walk from Pregarten to Hagenberg. The distance is approximately 2 km.
  • By car:
    Take the highway (Autobahn) to Linz, and there take the highway A7 to Prague (Prag in German). About 15km outside of Linz the Autobahn ends. Go to the direction of Pregarten. About 1km before Pregarten you see the sign to Hagenberg (to the left).
FP6 Supported by the European Commission Framework 6 Programme for Integrated Infrastructures Initiatives under the project SCIEnce.