RISC - Research Institute for Symbolic Computation, Johannes Kepler University Linz
RISC about  |  people  |  publications
research  |  education  |  industry
conferences  |  media  |  projects
Risc Colloquium May 9: Prof. Martin Kreuzer  > more
PRACE Autumn School 2016  > more
RISC Courses Summer 2016  > more
Algorithmic and Enumerative Combinatorics Summer School 2016  > more
Johannes Kepler Award for Bruno Buchberger  > more
LogicGuard 1.0 released  > more
Ph.D. student positions available  > more
Research - Education - Industry
Johannes Kepler University Linz Welcome! Research Education Industry