Workshop on Algebra, Geometry and Proofs in Symbolic Computation

December 7 - 16, 2015 (Toronto)

Co-organizers:

• Georges Gonthier (Microsoft Research)
• Marie-Francoise Roy (University of Rennes I)
• Eric Schost (University of Western Ontario)

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: https://www.fields.utoronto.ca/programs/scientific/15-16/computeralgebra/geometry/index.html
There are also videos of most of the presentations in the following link: http://www.fields.utoronto.ca/video-archive/event/379/2015