Workshop 7: Symbolic Computation

Programme Committee:

General Chair. Wolfgang Kuchlin (University of Tubingen, Germany), kuechlin@informatik.uni-tuebingen.de
Local Chair. Ali Abdallah (University of Reading, UK), A.Abdallah@reading.ac.uk
Vice Chair. Krzysztof Apt (CWI, Netherlands), apt@cwi.nl
Vice Chair. Kevin Hammond (University of St. Andrews, Scotland), kh@dcs.st-and.ac.uk

Description:

Papers are invited on all topics related to parallel symbolic computation. Symbolic computation is defined here in its broadest sense, comprising all programming and computation paradigms that deal with symbolic data, or that deal with exact numeric data rather than floating-point values. This includes functional programming, logic programming, constraint programming, computer algebra, theorem proving, AI paradigms, etc. Topics of interest comprise parallel execution models, parallel algorithms, parallel compilation and run-time techniques as applied to the specific domain of symbolic computation, including parallelizing recursion, speculative parallelism, manipulation of complex parallel data structures, parallel search, parallel language constructs, and static, dynamic or hybrid resource control (heap management, load management, data placement, granularity, etc.). Papers reporting on significant applications are particularly welcome.

Topics of interest include: