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:
- constraint programming
- functional programming
- logic programming
- computer algebra
- theorem proving
- AI paradigms
- parallel search