We propose an integrated programme to address the fragmentation of Europe's symbolic computation software infrastructure. This is vital infrastructure for research in a wide range of scientific disciplines, and European groups have developed many leading systems which are widely used in research, but are not composable, duplicate development effort and are failing to track relevant developments in underpinning Computer Science. We will address these issues by jointly undertaking a program of networking, software development and research, complemented by a programme of trans-national access to the world-leading Centre of Expertise at RISC-Linz.
Call for proposal
See other projects for this call