6-8 May 2015
London ON, Canada
Conference on
Algorithms and Complexity in Mathematics, Epistemology and Science (ACMES)
London, Ontario, Canada, May 6-8, 2015
http://acmes.org
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
* Stability of numerical methods
* Symbolic-numerical methods
* Uncertainty quantification
// Invited Talks //
Confirmed Invited Speakers are:
Philosophy of Science:
* Anouk Barberousse (Universit Lille 1, France)
* Robert Batterman (University of Pittsburgh, USA)
* Mark Wilson (University of Pittsburgh, USA)
Computing Science
* Max Gunzburger (Florida State University, USA)
* Ursula Martin (Oxford University, UK)
* Jess Sanz-Serna (Universidad Carlos III de Madrid, Spain)
// 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.
acmes.conference@gmail.com
// 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.
// Program Committee //
* Robert Corless, Western (Applied Math) (Co-chair)
* Nicolas Fillion, SFU (Philosophy) (Co-chair)
* Chris Smeenk, Western (Philosophy) (Co-chair)
* Robert Moir, Western (Applied Math)
// Poster //
A conference poster for distribution and display is available
here:
http://acmes.org/poster/acmes.pdf
// Funding //
ACMES is made possible by grants from the Fields Institute and the
Rotman Institute of Philosophy.