Algorithms and Complexity in Mathematics, Epistemology and Science (ACMES)

May 6, 2015 - May 8, 2015
Department of Applied Mathematics and the Department of Philosophy, University of Western Ontario

Rooms 114 & 117
North Campus Building, Western University
London N6A 5B7

View the Call For Papers


  • Fields Institute
  • Rotman Institute of Philosophy


Anouk Barberousse
Université de Lille 1
Robert Batterman
University of Pittsburgh
Max Gunzburger
Florida State University
Ursula Martin
Oxford University
Jesús Sanz-Serna
Universidad Carlos III de Madrid
Mark Wilson
University of Pittsburgh

Topic areas

Talks at this conference

Add a talk


ACMES is a multidisciplinary conference that focuses on a combination of the science of reliability and uncertainty quantification with conceptual and foundational issues concerning reliability, stability and complexity in the application of scientific theories to real phenomena. The conference integrates longer talks from six leading computational scientists and philosophers of science with shorter research contributions from others, including graduate students, in computational science and epistemology of science.

ACMES will be held at Western University in London, ON, Canada from May 6-8 2015 and will be held in conjunction with Southern Ontario Numerical Analysis Day (SONAD). Graduate students are particularly encouraged to submit an abstract and attend.

Areas of interest include:

  Philosophy of Computing Science:

  • Computational epistemology
  • Computational scientific inference
  • Computational scientific representation
  • Epistemology of numerical methods
  • Epistemology of scientific pictures
  • Epistemology of symbolic computation
  • Idealization/abstraction in mathematical modeling
  • Theory application in applied mathematics

  Computational Science:

  • Algorithm certification
  • Algorithmic solution verification
  • Automated theorem proving
  • Backward error analysis
  • Mathematical modeling of real-world systems
  • Sensitivity analysis
  • tability of numerical methods
  • Symbolic-numerical methods
  • Uncertainty quantification

// Important Dates //

  • Submission: February 22, 2015
  • Notification: March 8, 2015
  • Workshop: May 6-8, 2015

// Travel Support //

Limited travel support will be available to graduate student contributors in philosophy and computational sciences.

// Submission Instructions //

Please submit an abstract (150-200 words) of your proposed talk to the conference email below. 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.

[email protected]

// Publication //

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.

// Further Information //

Please see the conference website:

Supporting material

Add supporting material (slides, programs, etc.)




Who is attending?

No one has said they will attend yet.

Will you attend this event?

Let us know so we can notify you of any change of plan.