This three-day workshop covered an outstanding program with four sessions exploring formal and computer assisted proof, computational theory, computational group theory, computational number theory and computer assisted discovery.

Sessions were organised as follows:

• Formal proof and computer-assisted proof. Jeremy Avigad and his student Rob Lewis gave an impressive summary of the current state of formal proof techniques. Avigad was responsible for the formal proof of the prime number theorem. After this Cris Calude lectured on quantum indeterminancy and connecting a variety of notions of uncertainty and incompleteness.
• Computational group theory. John Cannon, the founder of the MAGMA group, presented an overview of the current status of computational group theory while lecturing on the classification theory for finite simple groups. Don Taylor then gave a wonderful lecture in celebration of the 50th anniversary of the discovery at ANU of the Janko (sporadic simple) group, and its importance to the classification of finite simple groups.
• Computational number theory and related topics. This session had two local keynote speakers. Wadim Zudilin gave a fascination lecture on multi-zeta values while Richard Brent (ANU and CARMA) then spoke on the asymptotics of various number theoretic functions.
• Computer-assisted discovery. The final session began with a talk by Pablo Moscato, a Newcastle bioinformatics expert, on current algorithms for handling big data. It ended with a lecture by Jon Borwein on short random walks that highlighted the role of computation (numeric, symbolic and graphic) in mathematical discovery.

MathSciNet Classification
03B870, 11Y99, 20F16

Program structure

Web Links
https://carma.newcastle.edu.au/meetings/mathsandcomputation/

Other Sponsors
CARMA

Contact
Laureate Professor Jon Borwein, The University of Newcastle
jonathan.borwein@newcastle.edu.au