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.
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).
|
 |
