Workshop on Algebra, Geometry and Proofs in Symbolic Computation

December 7 - 16, 2015 (Toronto)


Program Committee:
Saugata Basu, James Davenport, Jean-Charles Faugere, Georges Gonthier, Peter Paule, Marie-Francoise Roy, Eric Schost

This workshop was celebrated in the framework of the Thematic Program on Computer Algebra, which was held in Toronto from July to December of 2015.

The following link to the Fields Institute includes the slides of the presentations held:
There are also videos of most of the presentations in the following link: