- computer algebra
- symbolic analysis
- symbolic combinatorics
- symbolic techniques applied to numerics
- hybrid symbolic and numeric algorithms
- numerics and symbolics for geometry
- programming with constraints, narrowing
- applications of symbolic computation to artificial intelligence
Track Chairs:
- James Davenport, University of Bath, UK
- Stephen Watt, University of Waterloo, Ontario, Canada
Program Committee:
- Wen-Shin Lee Division of Computing Science and Mathematics, University of Stirling, Scotland, UK
- Gleb Pogudin Institute Polytechnqiue de Paris, France
- Amir Hosein Sadeghimanesh Coventry University, UK