Symbolic computation is the subarea of mathematics and computer science which solves problems on symbolic objects representable on a computer. Typical examples of such objects are algebraic expressions, logical propositions, and programs themselves. The problem solutions are integrated in many advanced software systems for computer algebra, computer aided design and manufacturing, computer supported reasoning, knowledge management, and formal system specification and verification. Besides playing a fundamental role within mathematics itself, symbolic computation is a key technology in many scientific and technical areas today.
The Research Institute for Symbolic Computation (RISC), which is an institute of the Johannes Kepler University of Linz, Austria, offers a series of training schools in symbolic computation. The series is supported by the European Commission Framework 6 Programme for Integrated Infrastructures Initiatives under the project SCIEnce (Symbolic Computation Infrastructure for Europe). The main objective of the series is to provide a detailed training in selected symbolic computation software and techniques for students and researchers (mathematicians, physicists, chemists, biologists, engineers, computer scientists, linguists, etc) who would like to use symbolic computation in their work.
The series consists of five training schools to be held in the Castle of Hagenberg in 2007-2010.
For each school a limited number of grants, provided by the SCIEnce project, will be available. The grant will cover the travel, accommodation, living costs, school admission and materials.