RISC - Research Institute for Symbolic Computation, Johannes Kepler University Linz
RISC about  |  people  |  publications
research  |  education  |  industry
conferences  |  media  |  projects
Algorithmic and Enumerative Combinatorics Summer School 2016  > more
Koutschan, Kauers, and Zeilberger to Receive 2016 AMS Robbins Prize  > more
Johannes Kepler Award for Bruno Buchberger  > more
LogicGuard 1.0 released  > more
RISC Courses Winter 2015/16  > more
Ph.D. student positions available  > more
Research - Education - Industry
Johannes Kepler University Linz Welcome! Research Education Industry