Gröbner Bases in Theory and Practice.- Algebraic Geometry via Numerical Computation.- Software for Number Theory and Arithmetic Geometry.- Groups and Group Actions.- The Classification Problem in Geometry.- Univalent Mathematics: Theory and Implementation.- Databases in Mathematics.- Accelerating Innovation Speed in Mathematics by Trading Mathematical Research Data.- The Jupyter Environment for Computational Mathematics.- General Session.