Keynote Speaker
Bruno Buchberger (RISC, Johannes Kepler University Linz, Austria)
- Symbolic Computation in Software Science: My Personal View
Invited Speakers
Tateaki Sasaki (University of Tsukuba, Japan)
- A Bridge between Euclid and Buchberger (An Attempt to Enhance Gröbner Basis Algorithm by PRSs and GCDs)
Link to abstract
Presentation slides
Martina Seidl (Johannes Kepler University Linz, Austria)
- Competitions as Scientific Method
Link to abstract
Stephen M. Watt (University of Waterloo, Canada)
- Mathematical Libraries and Knowledge Management
Link to abstract