In Workshops

The University of Newcastle, 19–21 June 2015

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

Organisers

Laureate Professor Jon Borwein, The University of Newcastle
Professor Jeremy Avigad, Carnegie Melon University

Special presenters

Professor Jeremy Avigad, Carnegie Mellon University
Research interests: mathematical logic, proof theory, philosophy of mathematics, formal verification, automated reasoning, and the history of mathematics
Professor Cristian Calude, The University of Auckland
Research interests: algorithmic information theory and quantum physics
Professor John Cannon, The University of Sydney
Research interests: algebra, number theory, algebraic geometry and algebraic combinatorics
Associate Professor Don Taylor, The University of Sydney
Research interests: computations with groups, combinatorics and representation theory, particularly permutation groups and associated “geometric” structures

Participant Summary

Attendees

NUMBER OF ATTENDEES

XX

  • Academic

    64%

  • Postdocs

    0%

  • Post Graduates

    28%

  • Students

    8%

  • Industry

    0%

Gender

Gender Breakdown

State Breakdown
Victoria
50%
Australian Capital Territory
50%
New South Wales
50%
Queensland
0%
South Australia
0%
Western Australia
0%
Tasmania
0%
Northern Territory
0%
International
0%
Citizenship Status
Domestic - 60%
50%
International - 40%
50%