RISC - Research Institute for Symbolic Computation, Johannes Kepler University Linz
RISC about  |  people  |  publications
research  |  education  |  industry
conferences  |  media  |  projects
Open Position as System Administrator  > more
Call: Professorship in Software Science  > more
Theorema 2.0 available  > more
Ph.D. student positions available  > more
Research - Education - Industry
Johannes Kepler University Linz Welcome! Research Education Industry