Workshop 19: Symbolic Computation
Programme Committee:
Manuel Hermenegildo,
TU Madrid (UPM), Spain, General Chair
Hoon Hong,
RISC Linz, Austria, Local Chair
Kevin Hammond,
University of St. Andrews, UK, Vice-Chair
Wolfgang
Küchlin, University of Tübingen, Germany, Vice-Chair
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
(C)opyright
by University of Passau,
Sven Anders
14.05.1997