The Fields Institute in Toronto, Ontario, will host a semester-long Thematic Program in Computer Algebra in Fall 2015.
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.
The December workshop on Algebra, Geometry, and Symbolic Proofs may be of particular interest to commalg.org readers.
More information will be available on the webpage for the program.