Michigan Computational Algebraic Geometry, 2012.