This three-day workshop, organized by Jonathan Borwein, is envisioned to include the following sessions:

  1. Computer-assisted discovery (Jon Borwein and Matt Tam)
  2. Formal proof and computer-assisted proof (Jeremy Avigad and Rob Lewis)
  3. Computational group theory (John Cannon, George Willis, Murray Elder)
    including celebration of the 50th anniversary of the discovery of the Janko group
  4. Computational number theory and related topics (Wadim Zudilin and Richard Brent)


There is no charge for attending the workshop, but please register at Eventbrite if you wish to attend.