headershort

Invited speakers

Invited speakers

Peter Paule (Johannes Kepler University Linz, Austria)
Title of the talk: Symbolic Surprises – Unexpected Computational Findings in Combinatorics, Number Theory, and Special Functions

Jacques Fleuriot (Edinburgh University, UK)
Title of the talk: Collaborative Theorem Proving: From Symbolic to Social Computation

Keynote speaker

Bruno Buchberger (Johannes Kepler University, Austria)
Title of the talk: The Global Math Digital Library Project: Symbolic Computation and Software Science