- computer algebra
- symbolic techniques applied to numerics
- hybrid symbolic and numeric algorithms
- numerics and symbolics for geometry
- programming with constraints, narrowing
Track Chairs:
- James Davenport, University of Bath, UK
- Stephen Watt, University of Western Ontario, Canada