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

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: