The primary goals of RISC are
research,
education, and
industrial cooperations
in the field of symbolic computation. These goals are based on the conviction that, in computer science, symbolic computation is one of the most exciting theoretical areas that needs profound formal mathematical training and extensive systems training and opens some of the most promising directions for future software industry. A complete up-to-date listing of publications with online versions of freely available papers for download can be found at the institute's webpage.