May 30, 2016


July - December 2015
Thematic Program on Computer Algebra

Organizing Committee  

Stephen Watt (Lead), University of Waterloo
Erich Kaltofen, North Carolina State University
George Labahn, University of Waterloo
Peter Paule, Johannes Kepler University Linz
Marie-Françoise Roy, University of Rennes I
Nikolay Vasilyev, Steklov Institute of Mathematics at St. Petersburg
Lihong Zhi, Chinese Academy of Sciences


The thematic program focuses on current and emerging areas of importance in computer algebra: symbolic linear algebra, algorithms for algebraic and semi-algebraic geometry, hybrid symbolic-numeric computing, algorithms for differential algebra and symbolic combinatorics, and the area of computer-enhanced mathematical collaboration and certified algorithms.


Long Term Visitors

Visitors are welcomed throughout the semester, including PhD students, postdoctoral fellows and faculty.


September 14 - 19 : Workshop on Symbolic Combinatorics and Computational Differential Algebra

October 26 - 31: Workshop on Linear Computer Algebra and Symbolic-Numeric Computation

December 7 - 16: Workshop on Algebra, Geometry and Proofs in Symbolic Computation


Special Lectures


Special Lecture Series

Previous Special Lecture Talks

Coxeter Lecture Series

Victor Shoup, Courant Institute
To take place during the Workshop on Linear Computer Algebra and Symbolic-Numeric Computation (October 26 - 31)



Graduate courses

Program-specific courses

    Introduction to Computer Algebra Graduate Course (MAT1901HF)

    Instructor : Gilles Villard, Dean's Distinguished Visitor and ENS-Lyon .
    Course website:
    Time: Wednesdays, 10:30 am to 12:00 pm and from 1:30 to 3:30 pm. (September 16 - December 16).
    Location: Fields Institute, room 210.

    Research Topics of Computer Algebra Graduate Course

    Coordinators: Eric Schost & George Labahn, University of Waterloo


Computer Algebra Days

Postdoctoral Fellows and Program Visitors

The Thematic Program on Computer Algebra is pleased to welcome to the Program:


Back to top