Computationally Assisted Mathematical Discovery

and Experimental Mathematics

12-15 May 2016, London, Ontario, Canada. 

Computational Discovery, also called Experimental Mathematics, is the use of symbolic and numerical computation to discover patterns, to identify particular numbers and sequences, and to gather evidence in support of specific mathematical assertions that may themselves arise by computational means. In recent decades, computer-assisted mathematical discovery has profoundly transformed the strategies used to expand mathematical knowledge. In addition to symbolic and numerical computation, a new trend that shows tremendous potential is the use of novel visualization techniques. The current situation was well summarized by a recent ICMI study: "The latest developments in computer and video technology have provided a multiplicity of computational and symbolic tools that have rejuvenated mathematics and mathematics education. Two important examples of this revitalization are experimental mathematics and visual theorems."

ACMES will be held at Western University in London, ON, Canada from May 12-14, 2016. Graduate students are particularly encouraged to contribute and attend.

Invited Speakers

   Jonathan Borwein University of Newcastle (CARMA Institute)
   Neil J. A. Sloane OEIS Foundation, and Rutgers University (Dept. of Mathematics)
   Ernest Davis New York University (Dept. of Computer Science)
   Patrick Fowler Sheffield University (Dept. of Chemistry)
   David Stoutemeyer University of Hawaii (Dept. of Information and Computer Science)
   Lila Kari University of Waterloo (Dept. of Computer Science)
   Jim Brown University of Toronto (Dept. of Philosophy)
   David H. Bailey University of California, Davis (Lawrence Berkeley National Lab.)
   Ann Johnson Cornell University (Dept. of Science and Technology Studies)

Key Participants

   Yuri V. Matiyasevich Russian Academy of Sciences, St. Petersburg Department of Steklov Institute of Mathematics
   Branden Fitelson Department of Philosophy and Religion, Northeastern University

Important Dates

   Abstract Submission: 8 April 2016
   Notification: 15 April 2016
   Conference: 12-15 May 2016

Submission Instructions

Please submit an abstract (150-200 words) of your proposed talk to the conference email: The time allotted for contributed talks will be 30 minutes including 5 minutes for questions. Supplementary material may be submitted, and will be considered at the discretion of the Program Committee.

Travel Support

Limited travel support will be available to graduate student contributors.


A full-size copy of the conference poster is available here.


Depending on interest we may pursue opportunities for publication in a high quality journal or series volume. In such an event, a request will be made to selected contributors to submit full papers, due at a date to be determined following the conference.