Series of Training Schools in Symbolic Computation

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 or see the folder. Travel information, maps, and transport schedule can be found on the RISC portal.

Supported by the European Commission Framework 6 Programme for Integrated Infrastructures Initiatives under the project SCIEnce.